triton-vm 0.43.0

A virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system to allow proving correct execution of arbitrary programs in zero-knowledge.
Documentation 
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

[package]
name = "triton-vm"
description = """
A virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate
Representations (AIR) for use in combination with a STARK proof system to allow proving correct
execution of arbitrary programs in zero-knowledge.
"""
keywords = ["zero-knowledge", "STARK", "virtual-machine", "recursive"]
categories = ["cryptography", "mathematics"]

version.workspace = true
edition.workspace = true
authors.workspace = true
license.workspace = true
homepage.workspace = true
documentation.workspace = true
repository.workspace = true
readme.workspace = true

[dependencies]
air.workspace = true
arbitrary.workspace = true
colored.workspace = true
constraint-builder.workspace = true
criterion.workspace = true
get-size.workspace = true
indexmap.workspace = true
isa.workspace = true
itertools.workspace = true
lazy_static.workspace = true
ndarray.workspace = true
num-traits.workspace = true
rand.workspace = true
rand_core.workspace = true
rayon.workspace = true
serde.workspace = true
strum.workspace = true
thiserror.workspace = true
twenty-first.workspace = true
unicode-width.workspace = true

[dev-dependencies]
assert2.workspace = true
cargo-husky.workspace = true
constraint-circuit.workspace = true
fs-err.workspace = true
insta.workspace = true
prettyplease.workspace = true
proptest.workspace = true
proptest-arbitrary-interop.workspace = true
serde_json.workspace = true
test-strategy.workspace = true

[build-dependencies]
air.workspace = true
constraint-builder.workspace = true
constraint-circuit.workspace = true
prettyplease.workspace = true
proc-macro2.workspace = true
quote.workspace = true
syn.workspace = true

[features]
default = ["no_profile"]
no_profile = [] # see `profiler.rs` for an explanation of this seemingly backwards feature

[lints]
workspace = true

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

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

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

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

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

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

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

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

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

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

[[example]]
name = "factorial"