List of all items

Structs

• block_header::EthBlockHeaderChip
• block_header::EthBlockHeaderTrace
• block_header::EthBlockHeaderWitness
• keccak::KeccakChip
• keccak::promise::KeccakComponentCommiter
• keccak::promise::KeccakFixLenCall
• keccak::promise::KeccakVarLenCall
• keccak::types::ComponentTypeKeccak
• keccak::types::KeccakFixedLenQuery
• keccak::types::KeccakLogicalInput
• keccak::types::KeccakVarLenQuery
• keccak::types::KeccakVirtualInput
• keccak::types::KeccakVirtualOutput
• keccak::types::OutputKeccakShard
• mpt::BranchTrace
• mpt::BranchWitness
• mpt::ExtensionTrace
• mpt::ExtensionWitness
• mpt::KECCAK_RLP_EMPTY_STRING
• mpt::LeafTrace
• mpt::LeafWitness
• mpt::MPTChip
• mpt::MPTFragment
• mpt::MPTHashTrace
• mpt::MPTInput
• mpt::MPTNode
• mpt::MPTNodeTrace
• mpt::MPTNodeWitness
• mpt::MPTProof
• mpt::MPTProofWitness
• mpt::PathBytes
• mpt::TerminalTrace
• mpt::TerminalWitness
• providers::receipt::BlockReceiptsDb
• providers::receipt::BlockWithReceipts
• providers::receipt::OptimismTransactionReceiptFields
• providers::receipt::TransactionReceipt
• providers::storage::EMPTY_ACCOUNT_RLP
• providers::transaction::BlobTransactionFields
• providers::transaction::BlockTransactionsDb
• providers::transaction::BlockWithTransactions
• receipt::EthBlockReceiptInput
• receipt::EthReceiptChip
• receipt::EthReceiptChipParams
• receipt::EthReceiptFieldWitness
• receipt::EthReceiptInput
• receipt::EthReceiptInputAssigned
• receipt::EthReceiptLogFieldWitness
• receipt::EthReceiptLogWitness
• receipt::EthReceiptTrace
• receipt::EthReceiptWitness
• rlc::chip::RlcChip
• rlc::circuit::PureRlcConfig
• rlc::circuit::RlcCircuitParams
• rlc::circuit::RlcConfig
• rlc::circuit::builder::RlcCircuitBuilder
• rlc::circuit::builder::RlcStatistics
• rlc::types::AssignedVarLenVec
• rlc::types::ConcatVarFixedArrayTrace
• rlc::types::ConcatVarFixedArrayWitness
• rlc::types::RlcFixedTrace
• rlc::types::RlcTrace
• rlc::types::RlcVar
• rlc::types::RlcVarPtr
• rlc::virtual_region::RlcThreadBreakPoints
• rlc::virtual_region::manager::RlcManager
• rlp::RlpChip
• rlp::types::RlpArrayPrefixParsed
• rlp::types::RlpArrayTrace
• rlp::types::RlpArrayWitness
• rlp::types::RlpFieldPrefixParsed
• rlp::types::RlpFieldTrace
• rlp::types::RlpFieldWitness
• rlp::types::RlpPrefixParsed
• solidity::SolidityChip
• solidity::types::NestedMappingWitness
• solidity::types::VarMappingWitness
• storage::EIP1186ResponseDigest
• storage::EthAccountTrace
• storage::EthAccountWitness
• storage::EthBlockAccountStorageTrace
• storage::EthBlockAccountStorageWitness
• storage::EthBlockStorageInputAssigned
• storage::EthStorageChip
• storage::EthStorageInputAssigned
• storage::EthStorageTrace
• storage::EthStorageWitness
• storage::circuit::EthBlockStorageCircuit
• storage::circuit::EthBlockStorageInput
• storage::circuit::EthStorageInput
• transaction::EthBlockTransactionsInput
• transaction::EthBlockTransactionsInputAssigned
• transaction::EthBlockTransactionsTrace
• transaction::EthBlockTransactionsWitness
• transaction::EthTransactionChip
• transaction::EthTransactionChipParams
• transaction::EthTransactionFieldInput
• transaction::EthTransactionFieldWitness
• transaction::EthTransactionInputAssigned
• transaction::EthTransactionLenProof
• transaction::EthTransactionProof
• transaction::EthTransactionTrace
• transaction::EthTransactionWitness
• utils::build_utils::pinning::BaseCircuitPinning
• utils::build_utils::pinning::RlcCircuitPinning
• utils::build_utils::pinning::aggregation::AggTreeId
• utils::build_utils::pinning::aggregation::AggregationCircuitPinning
• utils::build_utils::pinning::aggregation::GenericAggParams
• utils::build_utils::pinning::aggregation::GenericAggPinning
• utils::component::LogicalResult
• utils::component::PromiseShardMetadata
• utils::component::SelectedDataShardsInMerkle
• utils::component::TypelessPromiseCall
• utils::component::circuit::ComponentCircuitImpl
• utils::component::circuit::CoreBuilderOutput
• utils::component::circuit::CoreBuilderOutputParams
• utils::component::circuit::LoaderParamsPerComponentType
• utils::component::promise_collector::PromiseCaller
• utils::component::promise_collector::PromiseCollector
• utils::component::promise_loader::combo::PromiseBuilderCombo
• utils::component::promise_loader::comp_loader::BasicComponentCommiter
• utils::component::promise_loader::comp_loader::SingleComponentLoaderImpl
• utils::component::promise_loader::comp_loader::SingleComponentLoaderParams
• utils::component::promise_loader::empty::EmptyPromiseLoader
• utils::component::promise_loader::multi::ComponentTypeListEnd
• utils::component::promise_loader::multi::ComponentTypeListImpl
• utils::component::promise_loader::multi::MultiPromiseLoader
• utils::component::promise_loader::multi::MultiPromiseLoaderConfig
• utils::component::promise_loader::multi::MultiPromiseLoaderParams
• utils::component::promise_loader::single::PromiseLoader
• utils::component::promise_loader::single::PromiseLoaderConfig
• utils::component::promise_loader::single::PromiseLoaderParams
• utils::component::types::ComponentPublicInstances
• utils::component::types::EmptyComponentType
• utils::component::types::Flatten
• utils::component::types::LogicalEmpty
• utils::eth_circuit::EthCircuitImpl
• utils::eth_circuit::EthCircuitParams
• utils::eth_circuit::EthConfig
• utils::hilo::HiLo
• utils::keccak::decorator::KeccakCallCollector
• utils::keccak::decorator::RlcKeccakCircuitImpl
• utils::keccak::decorator::RlcKeccakCircuitParams
• utils::keccak::decorator::RlcKeccakConfig
• utils::merkle_aggregation::InputMerkleAggregation
• utils::merkle_aggregation::keygen::AggIntentMerkle
• utils::snark_verifier::Base64Bytes
• utils::snark_verifier::EnhancedSnark
• utils::snark_verifier::EnhancedSnarkAggregationOutput

Enums

• solidity::types::MappingWitness
• solidity::types::SolidityType

Traits

• rlc::circuit::instructions::RlcCircuitInstructions
• utils::build_utils::aggregation::CircuitMetadata
• utils::build_utils::dummy::DummyFrom
• utils::build_utils::pinning::CircuitPinningInstructions
• utils::build_utils::pinning::Halo2CircuitPinning
• utils::build_utils::pinning::PinnableCircuit
• utils::component::ComponentCircuit
• utils::component::ComponentType
• utils::component::LogicalInputValue
• utils::component::PromiseCallWitness
• utils::component::circuit::ComponentBuilder
• utils::component::circuit::CoreBuilder
• utils::component::circuit::CoreBuilderParams
• utils::component::circuit::PromiseBuilder
• utils::component::promise_collector::PromiseCallsGetter
• utils::component::promise_collector::PromiseCommitSetter
• utils::component::promise_collector::PromiseResultsGetter
• utils::component::promise_loader::comp_loader::ComponentCommiter
• utils::component::promise_loader::comp_loader::SingleComponentLoader
• utils::component::promise_loader::multi::ComponentTypeList
• utils::component::promise_loader::multi::RlcAdapter
• utils::component::promise_loader::utils::DummyPromiseBuilder
• utils::component::types::FixLenLogical
• utils::eth_circuit::EthCircuitInstructions

Macros

• component_type_list
• impl_fix_len_call_witness
• impl_flatten_conversion
• impl_logical_input

Functions

• block_header::get_block_header_extra_bytes
• block_header::get_block_header_extra_bytes_from_chain_id
• block_header::get_block_header_rlp_max_lens
• block_header::get_block_header_rlp_max_lens_from_chain_id
• block_header::get_block_header_rlp_max_lens_from_extra
• block_header::get_boundary_block_data
• keccak::get_bytes
• keccak::promise::generate_keccak_shards_from_calls
• mpt::hex_prefix_encode
• mpt::hex_prefix_encode_first
• mpt::hex_prefix_len
• mpt::max_branch_lens
• mpt::max_ext_lens
• mpt::max_leaf_lens
• providers::account::get_account_queries
• providers::account::get_acct_list
• providers::account::get_acct_rlp
• providers::block::get_block_rlp
• providers::block::get_block_rlp_from_num
• providers::block::get_blocks
• providers::block::get_blocks_input
• providers::from_hex
• providers::get_provider_uri
• providers::receipt::construct_rc_tries_from_full_blocks
• providers::receipt::get_block_with_receipts
• providers::receipt::get_receipt_rlp
• providers::setup_provider
• providers::storage::empty_account_rlp
• providers::storage::get_block_storage_input
• providers::storage::get_storage_queries
• providers::storage::is_assigned_slot
• providers::storage::json_to_mpt_input
• providers::storage::last_nibble
• providers::transaction::construct_tx_tries_from_full_blocks
• providers::transaction::get_block_access_list_num
• providers::transaction::get_block_transaction_len
• providers::transaction::get_block_transactions
• providers::transaction::get_transaction_rlp
• providers::transaction::get_tx_key_from_index
• providers::transaction::normalize_v
• providers::transaction::rlp_opt
• providers::transaction::rlp_opt_list
• receipt::calc_max_val_len
• rlc::chip::rlc_constrain_equal
• rlc::chip::rlc_is_equal
• rlc::chip::rlc_select
• rlc::chip::rlc_select_by_indicator
• rlc::chip::rlc_select_from_idx
• rlc::concat_array::concat_var_fixed_array_phase0
• rlc::concat_array::concat_var_fixed_array_phase1
• rlp::evaluate_byte_array
• rlp::max_rlp_encoding_len
• rlp::max_rlp_len_len
• rlp::witness_subarray
• transaction::calc_max_val_len
• utils::assign_vec
• utils::build_utils::aggregation::get_dummy_aggregation_params
• utils::build_utils::keygen::compile_agg_dep_to_protocol
• utils::build_utils::keygen::get_circuit_id
• utils::build_utils::keygen::get_dummy_rlc_circuit_params
• utils::build_utils::keygen::get_dummy_rlc_keccak_params
• utils::build_utils::keygen::read_srs_from_dir
• utils::build_utils::keygen::write_pk_and_pinning
• utils::bytes_be_to_u128
• utils::bytes_be_to_uint
• utils::bytes_to_fe
• utils::circuit_utils::bytes::encode_const_u16_to_safe_bytes
• utils::circuit_utils::bytes::encode_const_u32_to_safe_bytes
• utils::circuit_utils::bytes::encode_const_u64_to_safe_bytes
• utils::circuit_utils::bytes::encode_const_u8_to_safe_bytes
• utils::circuit_utils::bytes::pack_bytes_to_hilo
• utils::circuit_utils::bytes::safe_bytes32_to_hi_lo
• utils::circuit_utils::bytes::safe_bytes_vec_into
• utils::circuit_utils::bytes::select_hi_lo
• utils::circuit_utils::bytes::select_hi_lo_by_indicator
• utils::circuit_utils::bytes::unsafe_mpt_root_to_hi_lo
• utils::circuit_utils::constrain_no_leading_zeros
• utils::circuit_utils::extract_array_chunk
• utils::circuit_utils::extract_array_chunk_and_constrain_trailing_zeros
• utils::circuit_utils::is_equal_usize
• utils::circuit_utils::is_gte_usize
• utils::circuit_utils::is_in_range
• utils::circuit_utils::is_lt_usize
• utils::circuit_utils::log2_ceil
• utils::circuit_utils::min_with_usize
• utils::circuit_utils::unsafe_constrain_trailing_zeros
• utils::circuit_utils::unsafe_lt_mask
• utils::component::promise_loader::comp_loader::generate_lookup_rlcs_impl
• utils::component::promise_loader::flatten_witness_to_rlc
• utils::component::utils::compress_flatten_pair
• utils::component::utils::compute_commitment
• utils::component::utils::compute_commitment_with_flatten
• utils::component::utils::compute_poseidon
• utils::component::utils::compute_poseidon_merkle_tree
• utils::component::utils::create_hasher
• utils::component::utils::get_logical_value
• utils::component::utils::into_key
• utils::component::utils::load_logical_value
• utils::component::utils::native_poseidon_hasher
• utils::component::utils::optimized_poseidon_spec
• utils::component::utils::try_from_key
• utils::constrain_vec_equal
• utils::encode_addr_to_field
• utils::encode_h256_to_hilo
• utils::enforce_conditional_equality
• utils::eth_circuit::create_circuit
• utils::get_merkle_mountain_range
• utils::h256_tree_root
• utils::is_zero_vec
• utils::keccak256_tree_root
• utils::keccak::get_keccak_unusable_rows
• utils::keccak::get_keccak_unusable_rows_from_capacity
• utils::load_bytes32
• utils::load_h256_to_safe_bytes32
• utils::snark_verifier::aggregate_enhanced_snarks
• utils::snark_verifier::create_universal_aggregation_circuit
• utils::snark_verifier::get_accumulator_indices
• utils::snark_verifier::process_prev_instances_and_calc_agg_vk_hash
• utils::u128s_to_bytes_be
• utils::uint_to_bytes_be
• utils::uint_to_bytes_le
• utils::unsafe_bytes_to_assigned

Type Aliases

• keccak::types::CoreInputKeccak
• mpt::AssignedBytes
• mpt::AssignedNibbles
• mpt::MPTHashWitness
• rlc::circuit::builder::RlcContextPair
• solidity::types::MappingTrace
• solidity::types::VarMappingTrace
• utils::AssignedH256
• utils::component::ComponentId
• utils::component::ComponentPromiseResult
• utils::component::ComponentPromiseResultsInMerkle
• utils::component::ComponentTypeId
• utils::component::FlattenVirtualRow
• utils::component::FlattenVirtualTable
• utils::component::GroupedPromiseCalls
• utils::component::GroupedPromiseResults
• utils::component::SelectedDataShard
• utils::component::SelectedPromiseResultShard
• utils::component::TypelessLogicalInput
• utils::component::promise_collector::PromiseResultWitness
• utils::component::promise_collector::SharedPromiseCollector
• utils::component::types::PoseidonHasher
• utils::snark_verifier::AggregationCircuitParams

Trait Aliases

• Field
• RawField
• utils::component::circuit::CoreBuilderInput

Constants

• block_header::BLOCK_HEADER_FIELD_IS_VAR_LEN
• block_header::BLOCK_HEADER_RLP_MIN_BYTES
• block_header::BLOCK_NUMBER_INDEX
• block_header::BLOCK_NUMBER_MAX_BYTES
• block_header::EXTRA_DATA_INDEX
• block_header::GENESIS_BLOCK_RLP
• block_header::GOERLI_EXTRA_DATA_MAX_BYTES
• block_header::LOGS_BLOOM_INDEX
• block_header::MAINNET_EXTRA_DATA_MAX_BYTES
• block_header::MAINNET_HEADER_FIELDS_MAX_BYTES
• block_header::MIN_NUM_BLOCK_HEADER_FIELDS
• block_header::NUM_BLOCK_HEADER_FIELDS
• block_header::RECEIPT_ROOT_INDEX
• block_header::STATE_ROOT_INDEX
• block_header::TX_ROOT_INDEX
• block_header::WITHDRAWALS_ROOT_INDEX
• mpt::BRANCH_NUM_ITEMS
• mpt::MAX_BRANCH_ENCODING_BYTES
• mpt::MAX_BRANCH_ITEM_LENS
• receipt::RECEIPT_FIELDS_LOG_INDEX
• receipt::RECEIPT_NUM_FIELDS
• rlc::FIRST_PHASE
• rlc::RLC_PHASE
• storage::ACCOUNT_STATE_FIELDS_MAX_BYTES
• storage::ACCOUNT_STATE_FIELD_IS_VAR_LEN
• storage::NUM_ACCOUNT_STATE_FIELDS
• transaction::TRANSACTION_MAX_FIELDS
• transaction::TX_IDX_MAX_BYTES
• utils::DEFAULT_RLC_CACHE_BITS
• utils::component::NUM_COMPONENT_OWNED_INSTANCES
• utils::component::USER_COMPONENT_ID
• utils::component::param::POSEIDON_RATE
• utils::component::param::POSEIDON_R_F
• utils::component::param::POSEIDON_R_P
• utils::component::param::POSEIDON_SECURE_MDS
• utils::component::param::POSEIDON_T
• utils::hilo::BITS_PER_FE_HILO
• utils::snark_verifier::NUM_FE_ACCUMULATOR