List of all items

Structs

• GenerationSegmentData
• SegmentDataIterator
• StarkConfig
• all_stark::AllStark
• cpu::kernel::assembler::Kernel
• cpu::kernel::parser::AsmParser
• fixed_recursive_verifier::AllRecursiveCircuits
• fixed_recursive_verifier::BatchAggregationCircuitData
• fixed_recursive_verifier::BlockCircuitData
• fixed_recursive_verifier::BlockWrapperCircuitData
• fixed_recursive_verifier::ProofWithPublicValues
• fixed_recursive_verifier::ProverOutputData
• fixed_recursive_verifier::RecursionConfig
• fixed_recursive_verifier::RecursiveCircuitsForTable
• fixed_recursive_verifier::RecursiveCircuitsForTableSize
• fixed_recursive_verifier::RootCircuitData
• fixed_recursive_verifier::SegmentAggregationCircuitData
• fixed_recursive_verifier::ShrunkProofData
• fixed_recursive_verifier::TwoToOneBlockCircuitData
• generation::DebugOutputTries
• generation::ErrorWithTries
• generation::GenerationInputs
• generation::TablesWithPVs
• generation::TrieInputs
• generation::TrimmedGenerationInputs
• generation::TrimmedTrieInputs
• generation::mpt::AccountRlp
• generation::mpt::LegacyReceiptRlp
• generation::mpt::LogRlp
• generation::mpt::TrieRootPtrs
• generation::mpt::transaction_testing::AccessListItemRlp
• generation::mpt::transaction_testing::AccessListTransactionRlp
• generation::mpt::transaction_testing::AddressOption
• generation::mpt::transaction_testing::BlobTransactionRlp
• generation::mpt::transaction_testing::FeeMarketTransactionRlp
• generation::mpt::transaction_testing::LegacyTransactionRlp
• proof::AllProof
• proof::BlockHashes
• proof::BlockHashesTarget
• proof::BlockMetadata
• proof::BlockMetadataTarget
• proof::ExtraBlockData
• proof::ExtraBlockDataTarget
• proof::FinalPublicValues
• proof::FinalPublicValuesTarget
• proof::MemCap
• proof::MemCapTarget
• proof::MultiProof
• proof::PublicValues
• proof::PublicValuesTarget
• proof::RegistersData
• proof::RegistersDataTarget
• proof::TrieRoots
• proof::TrieRootsTarget
• tries::MptKey
• tries::ReceiptTrie
• tries::SmtKey
• tries::StateMpt
• tries::StorageTrie
• tries::TransactionTrie
• world::KeccakHash
• world::PoseidonHash
• world::Type1World
• world::Type2Entry
• world::Type2World

Enums

• all_stark::Table
• cpu::kernel::parser::Rule
• proof::BurnAddrTarget

Traits

• curve_pairings::CyclicGroup
• extension_tower::Adj
• extension_tower::FieldExt
• extension_tower::Stack
• world::Hasher
• world::World

Functions

• cpu::kernel::assemble_to_bytes
• cpu::kernel::opcodes::get_opcode
• cpu::kernel::opcodes::get_push_opcode
• fixed_recursive_verifier::extract_block_final_public_values
• fixed_recursive_verifier::extract_two_to_one_block_hash
• fixed_recursive_verifier::verification_key_len
• generation::generate_traces
• generation::mpt::decode_receipt
• proof::consolidate_hashes
• prover::check_abort_signal
• prover::prove
• prover::testing::prove_all_segments
• prover::testing::simulate_execution
• prover::testing::simulate_execution_all_segments
• recursive_verifier::set_final_public_value_targets
• recursive_verifier::set_public_value_targets
• testing_utils::beacon_roots_account_nibbles
• testing_utils::beacon_roots_contract_from_storage
• testing_utils::create_account_storage
• testing_utils::ger_account_nibbles
• testing_utils::ger_contract_from_storage
• testing_utils::init_logger
• testing_utils::preinitialized_state_and_storage_tries
• testing_utils::scalable_account_nibbles
• testing_utils::scalable_contract_from_storage
• testing_utils::sd2u
• testing_utils::segment_with_empty_tables
• testing_utils::sh2u
• testing_utils::update_beacon_roots_account_storage
• testing_utils::update_ger_account_storage
• testing_utils::update_scalable_account_storage
• verifier::testing::verify_all_proofs
• verifier::testing::verify_proof

Type Aliases

• AllData
• AllProof
• AllRecursiveCircuits
• BlockHeight
• ConsolidatedHash
• Field
• GenerationInputs
• Hash
• Hasher
• Node
• ProofWithPublicInputs
• ProofWithPublicValues
• PublicValues
• RecursionConfig
• RecursiveCircuitsForTableSize
• TrimmedGenerationInputs
• VerifierData
• all_stark::EvmStarkFrame
• generation::MemBeforeValues

Statics

• cpu::kernel::aggregator::KERNEL
• cpu::kernel::aggregator::KERNEL_FILES

Constants

• EXTENSION_DEGREE
• all_stark::NUM_TABLES
• all_stark::OPTIONAL_TABLE_INDICES
• cpu::kernel::aggregator::NUMBER_KERNEL_FILES
• cpu::kernel::cancun_constants::BEACON_ROOTS_ACCOUNT
• cpu::kernel::cancun_constants::BEACON_ROOTS_CONTRACT_ADDRESS
• cpu::kernel::cancun_constants::BEACON_ROOTS_CONTRACT_ADDRESS_HASHED
• cpu::kernel::cancun_constants::BEACON_ROOTS_CONTRACT_CODE
• cpu::kernel::cancun_constants::BEACON_ROOTS_CONTRACT_CODE_HASH
• cpu::kernel::cancun_constants::BEACON_ROOTS_CONTRACT_STATE_KEY
• cpu::kernel::cancun_constants::BLOB_BASE_FEE_UPDATE_FRACTION
• cpu::kernel::cancun_constants::G2_TRUSTED_SETUP_POINT
• cpu::kernel::cancun_constants::HISTORY_BUFFER_LENGTH
• cpu::kernel::cancun_constants::KZG_VERSIONED_HASH
• cpu::kernel::cancun_constants::MIN_BASE_FEE_PER_BLOB_GAS
• cpu::kernel::cancun_constants::POINT_EVALUATION_PRECOMPILE_RETURN_VALUE
• cpu::kernel::global_exit_root::ADDRESS_SCALABLE_L2
• cpu::kernel::global_exit_root::ADDRESS_SCALABLE_L2_ADDRESS_HASHED
• cpu::kernel::global_exit_root::ADDRESS_SCALABLE_L2_STATE_KEY
• cpu::kernel::global_exit_root::BLOCK_INFO_ROOT_STORAGE_POS
• cpu::kernel::global_exit_root::GLOBAL_EXIT_ROOT_ACCOUNT
• cpu::kernel::global_exit_root::GLOBAL_EXIT_ROOT_ADDRESS
• cpu::kernel::global_exit_root::GLOBAL_EXIT_ROOT_ADDRESS_HASHED
• cpu::kernel::global_exit_root::GLOBAL_EXIT_ROOT_CONTRACT_CODE
• cpu::kernel::global_exit_root::GLOBAL_EXIT_ROOT_CONTRACT_CODE_HASH
• cpu::kernel::global_exit_root::GLOBAL_EXIT_ROOT_MANAGER_L2
• cpu::kernel::global_exit_root::GLOBAL_EXIT_ROOT_MANAGER_L2_STATE_KEY
• cpu::kernel::global_exit_root::GLOBAL_EXIT_ROOT_STORAGE_POS
• cpu::kernel::global_exit_root::LAST_BLOCK_STORAGE_POS
• cpu::kernel::global_exit_root::STATE_ROOT_STORAGE_POS
• cpu::kernel::global_exit_root::TIMESTAMP_STORAGE_POS
• generation::NUM_EXTRA_CYCLES_AFTER
• generation::NUM_EXTRA_CYCLES_BEFORE
• proof::EMPTY_CONSOLIDATED_BLOCKHASH
• testing_utils::ADDRESS_SCALABLE_L2
• testing_utils::ADDRESS_SCALABLE_L2_ADDRESS_HASHED
• testing_utils::ADDRESS_SCALABLE_L2_STATE_KEY
• testing_utils::BEACON_ROOTS_ACCOUNT
• testing_utils::BEACON_ROOTS_CONTRACT_ADDRESS
• testing_utils::BEACON_ROOTS_CONTRACT_ADDRESS_HASHED
• testing_utils::BEACON_ROOTS_CONTRACT_CODE
• testing_utils::BEACON_ROOTS_CONTRACT_CODE_HASH
• testing_utils::BEACON_ROOTS_CONTRACT_STATE_KEY
• testing_utils::BLOB_BASE_FEE_UPDATE_FRACTION
• testing_utils::BLOCK_INFO_ROOT_STORAGE_POS
• testing_utils::EMPTY_NODE_HASH
• testing_utils::G2_TRUSTED_SETUP_POINT
• testing_utils::GLOBAL_EXIT_ROOT_ACCOUNT
• testing_utils::GLOBAL_EXIT_ROOT_ADDRESS
• testing_utils::GLOBAL_EXIT_ROOT_ADDRESS_HASHED
• testing_utils::GLOBAL_EXIT_ROOT_CONTRACT_CODE
• testing_utils::GLOBAL_EXIT_ROOT_CONTRACT_CODE_HASH
• testing_utils::GLOBAL_EXIT_ROOT_MANAGER_L2
• testing_utils::GLOBAL_EXIT_ROOT_MANAGER_L2_STATE_KEY
• testing_utils::GLOBAL_EXIT_ROOT_STORAGE_POS
• testing_utils::HISTORY_BUFFER_LENGTH
• testing_utils::KZG_VERSIONED_HASH
• testing_utils::LAST_BLOCK_STORAGE_POS
• testing_utils::MIN_BASE_FEE_PER_BLOB_GAS
• testing_utils::POINT_EVALUATION_PRECOMPILE_RETURN_VALUE
• testing_utils::STATE_ROOT_STORAGE_POS
• testing_utils::TEST_RECURSION_CONFIG
• testing_utils::TEST_STARK_CONFIG
• testing_utils::TEST_THRESHOLD_DEGREE_BITS
• testing_utils::TIMESTAMP_STORAGE_POS
• testing_utils::TWO_TO_ONE_BLOCK_CIRCUIT_TEST_THRESHOLD_DEGREE_BITS