[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
rust-version.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
get-size2.workspace = true
indexmap.workspace = true
isa.workspace = true
itertools.workspace = true
lazy_static.workspace = true
memory-stats.workspace = true
ndarray.workspace = true
num-traits.workspace = true
rand.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
constraint-circuit.workspace = true
criterion.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
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"