trident/Cargo.toml at master · cyberia-to/trident · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
# ---
# tags: trident, config
# crystal-type: source
# crystal-domain: comp
# ---
[package]
name = "trident-lang"
version = "0.1.0"
edition = "2021"
description = "A minimal, security-first universal language for provable computation"
license-file = "LICENSE.md"
repository = "https://github.com/cyberia-to/trident"
homepage = "https://github.com/cyberia-to/trident"
readme = "README.md"
keywords = ["zk", "provable", "compiler", "blockchain", "zero-knowledge"]
categories = ["compilers", "cryptography"]
exclude = ["docs/", "examples/", "tests/snapshots/"]

[lib]
name = "trident"
path = "src/lib.rs"

[dependencies]
clap = { version = "4", features = ["derive"] }
ariadne = "0.4"
blake3 = "1"
tower-lsp = "0.20"
tokio = { version = "1", features = ["io-std", "rt-multi-thread", "macros"] }
wgpu = "24"
pollster = "0.4"
bytemuck = { version = "1", features = ["derive"] }
burn = { version = "0.20", features = ["wgpu", "autodiff", "ndarray"] }
rayon = "1.10"
petgraph = "0.7"
serde = { version = "1", features = ["derive"] }
rkyv = { version = "0.8", features = ["bytecheck"] }
statrs = "0.18"
mir-format = { path = "../rs/mir-format" }
serde_json = "1"
nox = { path = "../nox/rs" }
nebu = { path = "../nebu/rs" }

[dev-dependencies]
insta = "1"
tempfile = "3"
criterion = { version = "0.5", features = ["html_reports"] }

[[bin]]
name = "trident"
path = "src/main.rs"

[[bin]]
name = "trident-lsp"
path = "src/bin/trident-lsp.rs"

[[bench]]
name = "end_to_end"
harness = false

[[example]]
name = "ref_std_crypto_poseidon2"
path = "benches/references/std/crypto/poseidon2.rs"

[[example]]
name = "ref_std_crypto_poseidon"
path = "benches/references/std/crypto/poseidon.rs"

[[example]]
name = "ref_std_crypto_bigint"
path = "benches/references/std/crypto/bigint.rs"

[[example]]
name = "ref_std_crypto_merkle"
path = "benches/references/std/crypto/merkle.rs"

[[example]]
name = "ref_std_quantum_gates"
path = "benches/references/std/quantum/gates.rs"

[[example]]
name = "ref_std_nn_tensor"
path = "benches/references/std/nn/tensor.rs"

[[example]]
name = "ref_std_private_poly"
path = "benches/references/std/private/poly.rs"

[[example]]
name = "ref_std_trinity_inference"
path = "benches/references/std/trinity/inference.rs"

[[example]]
name = "ref_std_compiler_lexer"
path = "benches/references/std/compiler/lexer.rs"

[[example]]
name = "ref_std_compiler_parser"
path = "benches/references/std/compiler/parser.rs"

[[example]]
name = "ref_std_compiler_pipeline"
path = "benches/references/std/compiler/pipeline.rs"

[[example]]
name = "ref_std_compiler_typecheck"
path = "benches/references/std/compiler/typecheck.rs"

[[example]]
name = "ref_std_compiler_codegen"
path = "benches/references/std/compiler/codegen.rs"

[[example]]
name = "ref_std_compiler_optimize"
path = "benches/references/std/compiler/optimize.rs"