[[bench]]
harness = false
name = "barycentric_eval"
path = "benches/barycentric_eval.rs"
[[bench]]
harness = false
name = "bezout_coeffs"
path = "benches/bezout_coeffs.rs"
[[bench]]
harness = false
name = "cached_vs_jit_trace"
path = "benches/cached_vs_jit_trace.rs"
[[bench]]
harness = false
name = "initialize_array"
path = "benches/initialize_array.rs"
[[bench]]
harness = false
name = "mem_io"
path = "benches/mem_io.rs"
[[bench]]
harness = false
name = "proof_size"
path = "benches/proof_size.rs"
[[bench]]
harness = false
name = "prove_fib"
path = "benches/prove_fib.rs"
[[bench]]
harness = false
name = "prove_halt"
path = "benches/prove_halt.rs"
[[bench]]
harness = false
name = "trace_mmr_new_peak_calculation"
path = "benches/trace_mmr_new_peak_calculation.rs"
[[bench]]
harness = false
name = "verify_halt"
path = "benches/verify_halt.rs"
[build-dependencies.air]
package = "triton-air"
version = "0.43.0"
[build-dependencies.constraint-builder]
package = "triton-constraint-builder"
version = "0.43.0"
[build-dependencies.constraint-circuit]
package = "triton-constraint-circuit"
version = "0.43.0"
[build-dependencies.prettyplease]
version = "0.2"
[build-dependencies.proc-macro2]
version = "1.0"
[build-dependencies.quote]
version = "1.0"
[build-dependencies.syn]
version = "2.0"
[dependencies.air]
package = "triton-air"
version = "0.43.0"
[dependencies.arbitrary]
features = ["derive"]
version = "1"
[dependencies.colored]
version = "2.1"
[dependencies.constraint-builder]
package = "triton-constraint-builder"
version = "0.43.0"
[dependencies.criterion]
features = ["html_reports"]
version = "0.5"
[dependencies.get-size]
version = "0.1.4"
[dependencies.indexmap]
features = ["rayon"]
version = "2.5.0"
[dependencies.isa]
package = "triton-isa"
version = "0.43.0"
[dependencies.itertools]
version = "0.13"
[dependencies.lazy_static]
version = "1.5"
[dependencies.ndarray]
features = ["rayon"]
version = "0.16"
[dependencies.num-traits]
version = "0.2"
[dependencies.rand]
version = "0.8.5"
[dependencies.rand_core]
version = "0.6.4"
[dependencies.rayon]
version = "1.10"
[dependencies.serde]
features = ["derive"]
version = "1"
[dependencies.strum]
features = ["derive"]
version = "0.26"
[dependencies.thiserror]
version = "2.0"
[dependencies.twenty-first]
version = "0.43.0"
[dependencies.unicode-width]
version = "0.2"
[dev-dependencies.assert2]
version = "0.3"
[dev-dependencies.cargo-husky]
default-features = false
features = ["precommit-hook", "run-cargo-clippy", "run-cargo-fmt"]
version = "1.5"
[dev-dependencies.constraint-circuit]
package = "triton-constraint-circuit"
version = "0.43.0"
[dev-dependencies.fs-err]
version = "3.0"
[dev-dependencies.insta]
version = "1.41.0"
[dev-dependencies.prettyplease]
version = "0.2"
[dev-dependencies.proptest]
version = "1.5"
[dev-dependencies.proptest-arbitrary-interop]
version = "0.1"
[dev-dependencies.serde_json]
version = "1.0"
[dev-dependencies.test-strategy]
version = "0.4.0"
[[example]]
name = "factorial"
path = "examples/factorial.rs"
[features]
default = ["no_profile"]
no_profile = []
[lib]
name = "triton_vm"
path = "src/lib.rs"
[lints.clippy]
cast_lossless = "warn"
cloned_instead_of_copied = "warn"
copy_iterator = "warn"
default_trait_access = "warn"
doc_link_with_quotes = "warn"
enum_glob_use = "warn"
expl_impl_clone_on_copy = "warn"
explicit_deref_methods = "warn"
explicit_into_iter_loop = "warn"
explicit_iter_loop = "warn"
filter_map_next = "warn"
flat_map_option = "warn"
fn_params_excessive_bools = "warn"
from_iter_instead_of_collect = "warn"
if_not_else = "warn"
implicit_clone = "warn"
inconsistent_struct_constructor = "warn"
inefficient_to_string = "warn"
invalid_upcast_comparisons = "warn"
items_after_statements = "warn"
large_digit_groups = "warn"
macro_use_imports = "warn"
manual_assert = "warn"
manual_instant_elapsed = "warn"
manual_let_else = "warn"
manual_ok_or = "warn"
manual_string_new = "warn"
many_single_char_names = "warn"
map_unwrap_or = "warn"
match_wild_err_arm = "warn"
match_wildcard_for_single_variants = "warn"
mismatching_type_param_order = "warn"
mut_mut = "warn"
needless_continue = "warn"
needless_for_each = "warn"
no_effect_underscore_binding = "warn"
option_option = "warn"
range_minus_one = "warn"
range_plus_one = "warn"
redundant_else = "warn"
ref_binding_to_reference = "warn"
ref_option_ref = "warn"
return_self_not_must_use = "warn"
same_functions_in_if_condition = "warn"
should_panic_without_expect = "warn"
stable_sort_primitive = "warn"
struct_field_names = "warn"
trivially_copy_pass_by_ref = "warn"
unchecked_duration_subtraction = "warn"
uninlined_format_args = "warn"
unnecessary_box_returns = "warn"
unnecessary_join = "warn"
unnecessary_wraps = "warn"
unnested_or_patterns = "warn"
unused_async = "warn"
used_underscore_binding = "warn"
verbose_bit_mask = "warn"
wildcard_imports = "warn"
[lints.rust]
let_underscore_drop = "warn"
missing_copy_implementations = "warn"
missing_debug_implementations = "warn"
[package]
authors = ["Triton Software AG"]
autobenches = false
autobins = false
autoexamples = false
autotests = false
build = "build.rs"
categories = ["cryptography", "mathematics"]
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.
"""
documentation = "https://triton-vm.org/spec/"
edition = "2021"
homepage = "https://triton-vm.org/"
keywords = ["zero-knowledge", "STARK", "virtual-machine", "recursive"]
license = "Apache-2.0"
name = "triton-vm"
readme = "README.md"
repository = "https://github.com/TritonVM/triton-vm"
version = "0.43.0"