Crate circuit_definitions

Source

Re-exports§

pub use snark_wrapper;
pub use circuit_encodings as encodings;
pub use zk_evm::ethereum_types;
pub use crate::zkevm_circuits::boojum;
pub use circuit_encodings::zk_evm;
pub use circuit_encodings::zkevm_circuits;

Modules§

aux_definitions
circuit_definitions

Constants§

BASE_LAYER_CAP_SIZE
BASE_LAYER_FRI_LDE_FACTOR
EIP4844_CYCLE_LIMIT
L1_SECURITY_BITS
RECURSION_LAYER_CAP_SIZE
RECURSION_LAYER_FRI_LDE_FACTOR
SECURITY_BITS_TARGET

Functions§

base_layer_proof_config
recursion_layer_proof_config

Type Aliases§

Field
RoundFunction
ZkSyncDefaultRoundFunction