List of all items

Structs

• Address
• BaseAluInstr
• BaseAluIo
• CommitPublicValuesEvent
• CommitPublicValuesInstr
• ExpReverseBitsEvent
• ExpReverseBitsInstr
• ExpReverseBitsIo
• ExtAluInstr
• ExtAluIo
• FriFoldBaseIo
• FriFoldEvent
• FriFoldExtSingleIo
• FriFoldExtVecIo
• FriFoldInstr
• FriFoldIo
• MemInstr
• MemIo
• Poseidon2Io
• Poseidon2SkinnyInstr
• air::Block
• air::ChallengerPublicValues
• air::IsExtZeroOperation
• air::IsZeroOperation
• air::MultiBuilder
• air::RecursionPublicValues
• chips::alu_base::BaseAluAccessCols
• chips::alu_base::BaseAluChip
• chips::alu_base::BaseAluCols
• chips::alu_base::BaseAluPreprocessedCols
• chips::alu_base::BaseAluValueCols
• chips::alu_ext::ExtAluAccessCols
• chips::alu_ext::ExtAluChip
• chips::alu_ext::ExtAluCols
• chips::alu_ext::ExtAluPreprocessedCols
• chips::alu_ext::ExtAluValueCols
• chips::dummy::DummyChip
• chips::dummy::DummyCols
• chips::exp_reverse_bits::ExpReverseBitsLenChip
• chips::exp_reverse_bits::ExpReverseBitsLenCols
• chips::exp_reverse_bits::ExpReverseBitsLenPreprocessedCols
• chips::fri_fold::FriFoldChip
• chips::fri_fold::FriFoldCols
• chips::fri_fold::FriFoldPreprocessedCols
• chips::mem::MemoryAccessCols
• chips::mem::constant::MemoryChip
• chips::mem::constant::MemoryCols
• chips::mem::constant::MemoryPreprocessedCols
• chips::mem::variable::MemoryChip
• chips::mem::variable::MemoryCols
• chips::mem::variable::MemoryPreprocessedCols
• chips::poseidon2_skinny::Poseidon2SkinnyChip
• chips::poseidon2_skinny::columns::Poseidon2
• chips::poseidon2_skinny::columns::preprocessed::Poseidon2PreprocessedCols
• chips::poseidon2_skinny::columns::preprocessed::RoundCountersPreprocessedCols
• chips::poseidon2_wide::Poseidon2WideChip
• chips::poseidon2_wide::columns::permutation::PermutationNoSbox
• chips::poseidon2_wide::columns::permutation::PermutationSBox
• chips::poseidon2_wide::columns::permutation::PermutationSBoxState
• chips::poseidon2_wide::columns::permutation::PermutationState
• chips::poseidon2_wide::columns::preprocessed::Poseidon2PreprocessedCols
• chips::public_values::PublicValuesChip
• chips::public_values::PublicValuesCols
• chips::public_values::PublicValuesPreprocessedCols
• runtime::CycleTrackerEntry
• runtime::ExecutionRecord
• runtime::RecursionProgram
• runtime::Runtime
• runtime::instruction::HintBitsInstr
• runtime::instruction::HintExt2FeltsInstr
• runtime::instruction::HintInstr
• runtime::instruction::PrintInstr
• stark::config::BabyBearPoseidon2Outer

Enums

• MemAccessKind
• machine::RecursionAir
• runtime::BaseAluOpcode
• runtime::ExtAluOpcode
• runtime::RuntimeError
• runtime::instruction::FieldEltType
• runtime::instruction::Instruction
• stark::RecursionAir
• stark::utils::TestConfig

Traits

• air::BinomialExtensionUtils
• air::BlockBuilder
• air::RecursionInteractionAirBuilder
• air::RecursionMemoryAirBuilder
• air::SP1RecursionAirBuilder
• builder::RecursionAirBuilder
• builder::SP1RecursionAirBuilder
• chips::poseidon2_wide::columns::permutation::Poseidon2
• chips::poseidon2_wide::columns::permutation::Poseidon2Mut

Functions

• chips::poseidon2_skinny::apply_m_4
• chips::poseidon2_wide::apply_m_4
• chips::poseidon2_wide::columns::permutation::max
• chips::poseidon2_wide::columns::permutation::permutation
• chips::poseidon2_wide::columns::permutation::permutation_mut
• runtime::instruction::base_alu
• runtime::instruction::commit_public_values
• runtime::instruction::exp_reverse_bits_len
• runtime::instruction::ext_alu
• runtime::instruction::fri_fold
• runtime::instruction::mem
• runtime::instruction::mem_block
• runtime::instruction::mem_ext
• runtime::instruction::mem_single
• runtime::instruction::poseidon2
• stark::config::outer_fri_config
• stark::config::outer_fri_config_with_blowup
• stark::config::outer_perm
• stark::config::test_fri_config
• stark::poseidon2::bn254_poseidon2_rc3
• stark::poseidon2::bn254_poseidon2_rc4
• stark::utils::run_test_recursion
• stark::utils::sp1_dev_mode

Type Aliases

• BaseAluEvent
• ExtAluEvent
• MemEvent
• Poseidon2Event
• Poseidon2Instr
• Poseidon2WideEvent
• chips::poseidon2_wide::columns::Poseidon2Degree3
• chips::poseidon2_wide::columns::Poseidon2Degree9
• chips::poseidon2_wide::columns::permutation::PermutationNoSboxHalfExternal
• stark::RecursionAirWideDeg17
• stark::RecursionAirWideDeg3
• stark::RecursionAirWideDeg9
• stark::config::OuterBatchOpening
• stark::config::OuterChallenge
• stark::config::OuterChallengeMmcs
• stark::config::OuterChallenger
• stark::config::OuterCommitPhaseStep
• stark::config::OuterCompress
• stark::config::OuterDft
• stark::config::OuterDigest
• stark::config::OuterDigestHash
• stark::config::OuterFriProof
• stark::config::OuterHash
• stark::config::OuterPcs
• stark::config::OuterPcsProof
• stark::config::OuterPerm
• stark::config::OuterQueryProof
• stark::config::OuterVal
• stark::config::OuterValMmcs

Constants

• air::CHALLENGER_STATE_NUM_ELTS
• air::NUM_PV_ELMS_TO_HASH
• air::PV_DIGEST_NUM_WORDS
• air::RECURSION_PUBLIC_VALUES_COL_MAP
• air::RECURSIVE_PROOF_NUM_PV_ELTS
• chips::alu_base::NUM_BASE_ALU_ACCESS_COLS
• chips::alu_base::NUM_BASE_ALU_COLS
• chips::alu_base::NUM_BASE_ALU_ENTRIES_PER_ROW
• chips::alu_base::NUM_BASE_ALU_PREPROCESSED_COLS
• chips::alu_base::NUM_BASE_ALU_VALUE_COLS
• chips::alu_ext::NUM_EXT_ALU_ACCESS_COLS
• chips::alu_ext::NUM_EXT_ALU_COLS
• chips::alu_ext::NUM_EXT_ALU_ENTRIES_PER_ROW
• chips::alu_ext::NUM_EXT_ALU_PREPROCESSED_COLS
• chips::exp_reverse_bits::NUM_EXP_REVERSE_BITS_LEN_COLS
• chips::exp_reverse_bits::NUM_EXP_REVERSE_BITS_LEN_PREPROCESSED_COLS
• chips::fri_fold::NUM_FRI_FOLD_COLS
• chips::fri_fold::NUM_FRI_FOLD_PREPROCESSED_COLS
• chips::mem::NUM_MEM_ACCESS_COLS
• chips::mem::constant::NUM_MEM_ENTRIES_PER_ROW
• chips::mem::constant::NUM_MEM_INIT_COLS
• chips::mem::constant::NUM_MEM_PREPROCESSED_INIT_COLS
• chips::mem::variable::NUM_MEM_ENTRIES_PER_ROW
• chips::mem::variable::NUM_MEM_INIT_COLS
• chips::mem::variable::NUM_MEM_PREPROCESSED_INIT_COLS
• chips::poseidon2_skinny::NUM_EXTERNAL_ROUNDS
• chips::poseidon2_skinny::NUM_INTERNAL_ROUNDS
• chips::poseidon2_skinny::NUM_ROUNDS
• chips::poseidon2_skinny::RATE
• chips::poseidon2_skinny::WIDTH
• chips::poseidon2_skinny::columns::NUM_POSEIDON2_COLS
• chips::poseidon2_skinny::columns::POSEIDON2_DEGREE9_COL_MAP
• chips::poseidon2_wide::NUM_EXTERNAL_ROUNDS
• chips::poseidon2_wide::NUM_INTERNAL_ROUNDS
• chips::poseidon2_wide::NUM_ROUNDS
• chips::poseidon2_wide::RATE
• chips::poseidon2_wide::WIDTH
• chips::poseidon2_wide::columns::NUM_POSEIDON2_DEGREE3_COLS
• chips::poseidon2_wide::columns::NUM_POSEIDON2_DEGREE9_COLS
• chips::poseidon2_wide::columns::POSEIDON2_DEGREE3_COL_MAP
• chips::poseidon2_wide::columns::POSEIDON2_DEGREE9_COL_MAP
• chips::public_values::NUM_PUBLIC_VALUES_COLS
• chips::public_values::NUM_PUBLIC_VALUES_PREPROCESSED_COLS
• runtime::D
• runtime::DIGEST_SIZE
• runtime::HASH_RATE
• runtime::HEAP_PTR
• runtime::HEAP_START_ADDRESS
• runtime::MEMORY_SIZE
• runtime::NUM_BITS
• runtime::PERMUTATION_WIDTH
• runtime::POSEIDON2_SBOX_DEGREE
• runtime::STACK_SIZE