List of all items

Structs

• bytecode_circuit::BytecodeCircuit
• bytecode_circuit::BytecodeCircuitConfig
• bytecode_circuit::BytecodeCircuitConfigArgs
• circuit_tools::cached_region::CachedRegion
• circuit_tools::cached_region::StoredExpression
• circuit_tools::cell_manager::CellConfig
• circuit_tools::cell_manager::CellManager
• circuit_tools::cell_manager::DynamicLookupTable
• circuit_tools::constraint_builder::ConstraintBuilder
• circuit_tools::constraint_builder::ExpressionVec
• circuit_tools::constraint_builder::LookupData
• circuit_tools::constraint_builder::TableData
• circuit_tools::gadgets::IsEqualGadget
• circuit_tools::gadgets::IsEqualWordGadget
• circuit_tools::gadgets::IsZeroGadget
• circuit_tools::gadgets::LtGadget
• copy_circuit::CopyCircuit
• copy_circuit::CopyCircuitConfig
• copy_circuit::CopyCircuitConfigArgs
• copy_circuit::ExternalData
• evm_circuit::EvmCircuit
• evm_circuit::EvmCircuitConfig
• evm_circuit::EvmCircuitConfigArgs
• evm_circuit::step::ExecutionStateIter
• evm_circuit::table::FixedTableTagIter
• evm_circuit::table::TableIter
• exp_circuit::ExpCircuit
• exp_circuit::ExpCircuitConfig
• instance::BlockValues
• instance::ExtraValues
• instance::PublicData
• instance::TxValues
• keccak_circuit::KeccakCircuit
• keccak_circuit::KeccakCircuitConfig
• keccak_circuit::KeccakCircuitConfigArgs
• mpt_circuit::MPTCircuit
• mpt_circuit::MPTCircuitParams
• mpt_circuit::MPTConfig
• mpt_circuit::MPTContext
• mpt_circuit::StateMachineConfig
• mpt_circuit::witness_row::AccountNode
• mpt_circuit::witness_row::BranchNode
• mpt_circuit::witness_row::ExtensionBranchNode
• mpt_circuit::witness_row::ExtensionNode
• mpt_circuit::witness_row::Hex
• mpt_circuit::witness_row::Node
• mpt_circuit::witness_row::StartNode
• mpt_circuit::witness_row::StorageNode
• pi_circuit::PiCircuit
• pi_circuit::PiCircuitConfig
• pi_circuit::PiCircuitConfigArgs
• root_circuit::AggregationConfig
• root_circuit::Config
• root_circuit::EvmTranscript
• root_circuit::NativeLoader
• root_circuit::RootCircuit
• root_circuit::Snark
• root_circuit::SnarkWitness
• root_circuit::TestAggregationCircuit
• root_circuit::UserChallenge
• sig_circuit::SigCircuit
• sig_circuit::SigCircuitConfig
• sig_circuit::SigCircuitConfigArgs
• state_circuit::SortKeysConfig
• state_circuit::StateCircuit
• state_circuit::StateCircuitConfig
• state_circuit::StateCircuitConfigArgs
• super_circuit::SuperCircuit
• super_circuit::SuperCircuitConfig
• super_circuit::SuperCircuitConfigArgs
• super_circuit::SuperCircuitParams
• table::AccountFieldTagIter
• table::BlockTable
• table::BytecodeTable
• table::CallContextFieldTagIter
• table::ChunkCtxTable
• table::CopyTable
• table::ExpTable
• table::KeccakTable
• table::RwTable
• table::SigTable
• table::StepStateFieldTagIter
• table::TxTable
• table::UXTable
• table::WdTable
• table::mpt_table::MptTable
• test_util::CircuitTestBuilder
• tx_circuit::TxCircuit
• tx_circuit::TxCircuitConfig
• tx_circuit::TxCircuitConfigArgs
• tx_circuit::sign_verify::SignVerifyChip
• util::Challenges
• util::U256
• util::cell_manager::Cell
• util::chunk_ctx::ChunkContextConfig
• util::int_decomposition::IntDecomposition
• util::word::WordLimbs
• util::word::WordLoHi
• witness::Block
• witness::BlockContext
• witness::Call
• witness::ExecStep
• witness::MptUpdate
• witness::MptUpdateRow
• witness::MptUpdates
• witness::Transaction
• witness::Withdrawal
• witness::chunk::Chunk
• witness::rw::RwFingerprints
• witness::rw::RwMap
• witness::rw::RwRow

Enums

• circuit_tools::cell_manager::DefaultCellType
• circuit_tools::cell_manager::DefaultLookupType
• evm_circuit::step::ExecutionState
• evm_circuit::step::ResponsibleOp
• evm_circuit::table::FixedTableTag
• evm_circuit::table::Table
• mpt_circuit::FixedTableTag
• mpt_circuit::RlpItemType
• table::AccountFieldTag
• table::BlockContextFieldTag
• table::BytecodeFieldTag
• table::CallContextFieldTag
• table::StepStateFieldTag
• table::TxFieldTag
• table::TxLogFieldTag
• table::TxReceiptFieldTag
• table::mpt_table::MPTProofType
• test_util::Circuit
• test_util::CircuitTestError
• witness::rw::Rw

Traits

• circuit_tools::cached_region::ChallengeSet
• circuit_tools::cell_manager::CellType
• circuit_tools::constraint_builder::ExprResult
• circuit_tools::constraint_builder::ExprVec
• circuit_tools::constraint_builder::RLCChainable
• circuit_tools::constraint_builder::RLCChainableRev
• circuit_tools::constraint_builder::RLCChainableValue
• circuit_tools::constraint_builder::RLCable
• circuit_tools::constraint_builder::RLCableValue
• circuit_tools::constraint_builder::ToVec
• table::LookupTable
• util::Expr
• util::SubCircuit
• util::SubCircuitConfig
• util::word::WordExpr
• witness::rw::ToVec

Macros

• _cb
• _ifx
• _matchx
• _require
• _require2
• _to_and
• _to_options_vec
• _to_values_vec
• _unreachablex
• assign
• assignf
• circuit
• concat_with_preamble
• impl_expr
• impl_expr_result
• impl_expr_vec
• matchw
• require_parser

Functions

• copy_circuit::constrain_must_terminate
• instance::public_data_convert
• mpt_circuit::load_proof
• mpt_circuit::load_proof_from_file
• root_circuit::aggregate
• root_circuit::compile
• util::log2_ceil
• util::query_expression
• util::word::empty_code_hash_word_value
• witness::block_convert
• witness::chunk::chunk_convert
• witness::chunk::get_permutation_fingerprint_of_rwmap
• witness::chunk::get_permutation_fingerprint_of_rwrowvec
• witness::chunk::get_permutation_fingerprint_of_rwvec
• witness::chunk::get_permutation_randomness
• witness::chunk::get_rwtable_fingerprints

Type Aliases

• root_circuit::EccChip
• root_circuit::Gwc
• root_circuit::Halo2Loader
• root_circuit::KzgDk
• root_circuit::KzgSvk
• root_circuit::PlonkSuccinctVerifier
• root_circuit::PlonkVerifier
• root_circuit::PoseidonTranscript
• root_circuit::Shplonk
• table::TxContextFieldTag
• util::Address

Constants

• evm_circuit::param::BLOCK_TABLE_LOOKUPS
• evm_circuit::param::BYTECODE_TABLE_LOOKUPS
• evm_circuit::param::CHUNK_CTX_TABLE_LOOKUPS
• evm_circuit::param::COPY_TABLE_LOOKUPS
• evm_circuit::param::EXP_TABLE_LOOKUPS
• evm_circuit::param::FIXED_TABLE_LOOKUPS
• evm_circuit::param::KECCAK_TABLE_LOOKUPS
• evm_circuit::param::LOOKUP_CONFIG
• evm_circuit::param::MAX_STEP_HEIGHT
• evm_circuit::param::N_COPY_COLUMNS
• evm_circuit::param::N_PHASE1_COLUMNS
• evm_circuit::param::N_PHASE2_COLUMNS
• evm_circuit::param::N_U16_LOOKUPS
• evm_circuit::param::N_U8_LOOKUPS
• evm_circuit::param::RW_TABLE_LOOKUPS
• evm_circuit::param::SIG_TABLE_LOOKUPS
• evm_circuit::param::TX_TABLE_LOOKUPS
• mpt_circuit::witness_row::NODE_RLP_TYPES_ACCOUNT
• mpt_circuit::witness_row::NODE_RLP_TYPES_BRANCH
• mpt_circuit::witness_row::NODE_RLP_TYPES_START
• mpt_circuit::witness_row::NODE_RLP_TYPES_STORAGE
• root_circuit::BITS
• root_circuit::LIMBS