List of all items

Structs

• 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::mem::MemoryAccessColsChips
• chips::mem::constant::MemoryConstChip
• chips::mem::constant::MemoryConstCols
• chips::mem::constant::MemoryConstPreprocessedCols
• chips::mem::variable::MemoryVarChip
• chips::mem::variable::MemoryVarCols
• chips::mem::variable::MemoryVarPreprocessedCols
• chips::poseidon2_helper::convert::ConvertAccessCols
• chips::poseidon2_helper::convert::ConvertChip
• chips::poseidon2_helper::convert::ConvertCols
• chips::poseidon2_helper::convert::ConvertPreprocessedCols
• chips::poseidon2_helper::convert::ConvertValueCols
• chips::poseidon2_helper::linear::Poseidon2LinearLayerAccessCols
• chips::poseidon2_helper::linear::Poseidon2LinearLayerChip
• chips::poseidon2_helper::linear::Poseidon2LinearLayerCols
• chips::poseidon2_helper::linear::Poseidon2LinearLayerPreprocessedCols
• chips::poseidon2_helper::linear::Poseidon2LinearLayerValueCols
• chips::poseidon2_helper::sbox::Poseidon2SBoxAccessCols
• chips::poseidon2_helper::sbox::Poseidon2SBoxChip
• chips::poseidon2_helper::sbox::Poseidon2SBoxCols
• chips::poseidon2_helper::sbox::Poseidon2SBoxPreprocessedCols
• chips::poseidon2_helper::sbox::Poseidon2SBoxValueCols
• chips::poseidon2_wide::Poseidon2WideChip
• chips::poseidon2_wide::columns::preprocessed::Poseidon2PreprocessedColsWide
• chips::prefix_sum_checks::PrefixSumChecksChip
• chips::prefix_sum_checks::PrefixSumChecksCols
• chips::prefix_sum_checks::PrefixSumChecksPreprocessedCols
• chips::public_values::PublicValuesChip
• chips::public_values::PublicValuesCols
• chips::public_values::PublicValuesPreprocessedCols
• chips::select::SelectChip
• chips::select::SelectCols
• chips::select::SelectPreprocessedCols

Enums

• RecursionAir

Traits

• builder::RecursionAirBuilder
• builder::SP1RecursionAirBuilder

Functions

• test::run_recursion_test_machines
• test::run_test_recursion
• test::test_recursion_linear_program

Type Aliases

• chips::mem::MemoryAccessCols

Constants

• 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::mem::NUM_MEM_ACCESS_COLS
• chips::mem::constant::NUM_CONST_MEM_ENTRIES_PER_ROW
• chips::mem::constant::NUM_MEM_INIT_COLS
• chips::mem::constant::NUM_MEM_PREPROCESSED_INIT_COLS
• chips::mem::variable::NUM_MEM_INIT_COLS
• chips::mem::variable::NUM_MEM_PREPROCESSED_INIT_COLS
• chips::poseidon2_helper::convert::NUM_CONVERT_ACCESS_COLS
• chips::poseidon2_helper::convert::NUM_CONVERT_COLS
• chips::poseidon2_helper::convert::NUM_CONVERT_ENTRIES_PER_ROW
• chips::poseidon2_helper::convert::NUM_CONVERT_PREPROCESSED_COLS
• chips::poseidon2_helper::linear::NUM_LINEAR_ACCESS_COLS
• chips::poseidon2_helper::linear::NUM_LINEAR_COLS
• chips::poseidon2_helper::linear::NUM_LINEAR_ENTRIES_PER_ROW
• chips::poseidon2_helper::linear::NUM_LINEAR_PREPROCESSED_COLS
• chips::poseidon2_helper::sbox::NUM_SBOX_ACCESS_COLS
• chips::poseidon2_helper::sbox::NUM_SBOX_COLS
• chips::poseidon2_helper::sbox::NUM_SBOX_ENTRIES_PER_ROW
• chips::poseidon2_helper::sbox::NUM_SBOX_PREPROCESSED_COLS
• chips::prefix_sum_checks::NUM_PREFIX_SUM_CHECKS_COLS
• chips::prefix_sum_checks::NUM_PREFIX_SUM_CHECKS_PREPROCESSED_COLS
• chips::public_values::NUM_PUBLIC_VALUES_COLS
• chips::public_values::NUM_PUBLIC_VALUES_PREPROCESSED_COLS
• chips::public_values::PUB_VALUES_LOG_HEIGHT
• chips::select::SELECT_COLS
• chips::select::SELECT_PREPROCESSED_COLS