Re-exports§
pub use circuit_definitions::boojum;pub use circuit_definitions::snark_wrapper;pub use circuit_definitions::zk_evm;pub use circuit_definitions::zkevm_circuits;pub use rescue_poseidon::franklin_crypto;pub use snark_wrapper::rescue_poseidon;pub use crate::zk_evm::blake2;pub use crate::zk_evm::sha2;pub use crate::zk_evm::sha3;pub use kzg;pub use crate::zk_evm::ethereum_types;
Modules§
- capacity_
estimator - compute_
setups - data_
source - debug
- The methods in this file allows you to debug failing circuits from production. Just pass the necessary contents of .bin file into the debug_basic or debug_recursive.
- entry_
point - external_
calls - geometry_
config - helper
- proof_
wrapper_ utils - prover_
utils - snark_
wrapper_ test - toolset
- tracers
- utils
- witness