Cargo Features

[dependencies]
ashlang = { version = "0.1.3", default-features = false, features = ["tritonvm-prover", "spartan-prover"] }
default = spartan-prover, tritonvm-prover

These default features are set whenever ashlang is added without default-features = false somewhere in the dependency tree.

Required by the acc binary

tritonvm-prover default = triton-vm
spartan-prover default = curve25519-dalek, merlin, spartan

Features from optional dependencies

In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.

triton-vm tritonvm-prover

Enables triton-vm =0.41.0

provers

curve25519-dalek spartan-prover

Enables curve25519-dalek

spartan

merlin spartan-prover
spartan spartan-prover