List of all items

Structs

• AirWitness
• Felt
• ProcessorAir
• PublicInputs
• ace::BusFraction
• ace::LogUpBoundaryConfig
• logup::AceInitMsg
• logup::AceWireMsg
• logup::BitwiseMsg
• logup::HasherMsg
• logup::KernelRomMsg
• logup::LogCapacityMsg
• logup::MemoryResponseMsg
• logup::OpGroupMsg
• logup::RangeMsg
• logup::SiblingMsg
• logup::StackOverflowMsg
• lookup::aux_builder::LookupFractions
• lookup::builder::Deg
• lookup::challenges::Challenges
• lookup::constraint::ConstraintBatch
• lookup::constraint::ConstraintColumn
• lookup::constraint::ConstraintGroup
• lookup::constraint::ConstraintLookupBuilder
• lookup::debug::trace::BalanceReport
• lookup::debug::trace::DebugTraceState
• lookup::debug::trace::MutualExclusionViolation
• lookup::debug::trace::PushRecord
• lookup::debug::trace::Unmatched
• lookup::debug::trace::builder::DebugBoundaryEmitter
• lookup::debug::trace::builder::DebugTraceBatch
• lookup::debug::trace::builder::DebugTraceBuilder
• lookup::debug::trace::builder::DebugTraceColumn
• lookup::debug::trace::builder::DebugTraceGroup
• lookup::debug::validation::ValidateLayout
• lookup::debug::validation::ValidationBatch
• lookup::debug::validation::ValidationBuilder
• lookup::debug::validation::ValidationColumn
• lookup::debug::validation::ValidationGroup
• lookup::prover::ProverBatch
• lookup::prover::ProverColumn
• lookup::prover::ProverGroup
• lookup::prover::ProverLookupBuilder
• trace::MainTrace
• trace::MainTraceRow
• trace::RowIndex
• trace::chiplets::hasher::Hasher
• trace::chiplets::hasher::Word

Enums

• DeserializationError
• ace::MessageElement
• ace::Sign
• logup::BlockHashMsg
• logup::BlockStackMsg
• logup::BusId
• logup::HasherPayload
• logup::HasherPermLinkMsg
• logup::MemoryMsg
• logup::SiblingBit
• lookup::debug::validation::ValidationError
• trace::RowIndexError

Traits

• AirBuilder
• AuxBuilder
• BaseAir
• ByteReader
• ByteWriter
• Deserializable
• ExtensionBuilder
• LiftedAir
• LiftedAirBuilder
• MidenAirBuilder
• PermutationAirBuilder
• Serializable
• ToElements
• lookup::LookupAir
• lookup::builder::BoundaryBuilder
• lookup::builder::LookupBatch
• lookup::builder::LookupBuilder
• lookup::builder::LookupColumn
• lookup::builder::LookupGroup
• lookup::debug::validation::ValidateLookupAir
• lookup::message::LookupMessage
• trace::AuxBuilder

Functions

• ace::batch_logup_boundary
• ace::build_batched_ace_circuit
• ace::logup_boundary_config
• config::blake3_256_config
• config::keccak_config
• config::observe_protocol_params
• config::observe_var_len_public_inputs
• config::pcs_params
• config::poseidon2_config
• config::rpo_config
• config::rpx_config
• debug::check_constraints
• debug::check_constraints_multi
• lookup::aux_builder::accumulate
• lookup::aux_builder::accumulate_slow
• lookup::aux_builder::build_logup_aux_trace
• lookup::debug::trace::check_trace_balance
• lookup::debug::trace::collect_column_oracle_folds
• lookup::debug::validation::validate
• lookup::prover::build_lookup_fractions

Type Aliases

• config::MidenStarkConfig
• config::Poseidon2Config
• trace::chiplets::bitwise::Selectors
• trace::chiplets::hasher::HasherState
• trace::chiplets::hasher::Selectors

Constants

• LOGUP_AUX_TRACE_WIDTH
• NUM_PUBLIC_VALUES
• config::DEEP_POW_BITS
• config::FOLDING_POW_BITS
• config::LOG_FOLDING_ARITY
• config::RELATION_DIGEST
• logup::MIDEN_MAX_MESSAGE_WIDTH
• logup::NUM_LOGUP_COMMITTED_FINALS
• trace::AUX_TRACE_RAND_CHALLENGES
• trace::AUX_TRACE_WIDTH
• trace::CHIPLETS_OFFSET
• trace::CHIPLETS_RANGE
• trace::CHIPLETS_WIDTH
• trace::CHIPLET_S0_COL_IDX
• trace::CHIPLET_S1_COL_IDX
• trace::CHIPLET_S2_COL_IDX
• trace::CHIPLET_S3_COL_IDX
• trace::CHIPLET_S4_COL_IDX
• trace::CHIPLET_SELECTORS_RANGE
• trace::CLK_COL_IDX
• trace::CTX_COL_IDX
• trace::DECODER_TRACE_OFFSET
• trace::DECODER_TRACE_RANGE
• trace::DECODER_TRACE_WIDTH
• trace::FN_HASH_OFFSET
• trace::FN_HASH_RANGE
• trace::MIN_TRACE_LEN
• trace::RANGE_CHECK_TRACE_OFFSET
• trace::RANGE_CHECK_TRACE_RANGE
• trace::RANGE_CHECK_TRACE_WIDTH
• trace::STACK_TRACE_OFFSET
• trace::STACK_TRACE_RANGE
• trace::STACK_TRACE_WIDTH
• trace::SYS_TRACE_OFFSET
• trace::SYS_TRACE_RANGE
• trace::SYS_TRACE_WIDTH
• trace::TRACE_WIDTH
• trace::bus_message::ADDR_IDX
• trace::bus_message::CAPACITY_DOMAIN_IDX
• trace::bus_message::CAPACITY_START_IDX
• trace::bus_message::LABEL_IDX
• trace::bus_message::NODE_INDEX_IDX
• trace::bus_message::STATE_START_IDX
• trace::chiplets::BITWISE_A_COL_IDX
• trace::chiplets::BITWISE_A_COL_RANGE
• trace::chiplets::BITWISE_B_COL_IDX
• trace::chiplets::BITWISE_B_COL_RANGE
• trace::chiplets::BITWISE_OUTPUT_COL_IDX
• trace::chiplets::BITWISE_PREV_OUTPUT_COL_IDX
• trace::chiplets::BITWISE_SELECTOR_COL_IDX
• trace::chiplets::BITWISE_TRACE_OFFSET
• trace::chiplets::BITWISE_TRACE_RANGE
• trace::chiplets::HASHER_CAPACITY_COL_RANGE
• trace::chiplets::HASHER_DIRECTION_BIT_COL_IDX
• trace::chiplets::HASHER_IS_BOUNDARY_COL_IDX
• trace::chiplets::HASHER_MRUPDATE_ID_COL_IDX
• trace::chiplets::HASHER_NODE_INDEX_COL_IDX
• trace::chiplets::HASHER_RATE_COL_RANGE
• trace::chiplets::HASHER_SELECTOR_COL_RANGE
• trace::chiplets::HASHER_STATE_COL_RANGE
• trace::chiplets::HASHER_S_PERM_COL_IDX
• trace::chiplets::HASHER_TRACE_OFFSET
• trace::chiplets::KERNEL_ROM_TRACE_WIDTH
• trace::chiplets::MEMORY_CLK_COL_IDX
• trace::chiplets::MEMORY_CTX_COL_IDX
• trace::chiplets::MEMORY_D0_COL_IDX
• trace::chiplets::MEMORY_D1_COL_IDX
• trace::chiplets::MEMORY_D_INV_COL_IDX
• trace::chiplets::MEMORY_FLAG_SAME_CONTEXT_AND_WORD
• trace::chiplets::MEMORY_IDX0_COL_IDX
• trace::chiplets::MEMORY_IDX1_COL_IDX
• trace::chiplets::MEMORY_IS_READ_COL_IDX
• trace::chiplets::MEMORY_IS_WORD_ACCESS_COL_IDX
• trace::chiplets::MEMORY_TRACE_OFFSET
• trace::chiplets::MEMORY_V_COL_RANGE
• trace::chiplets::MEMORY_WORD_ADDR_HI_COL_IDX
• trace::chiplets::MEMORY_WORD_ADDR_LO_COL_IDX
• trace::chiplets::MEMORY_WORD_COL_IDX
• trace::chiplets::NUM_ACE_SELECTORS
• trace::chiplets::NUM_BITWISE_SELECTORS
• trace::chiplets::NUM_HASHER_SELECTORS
• trace::chiplets::NUM_KERNEL_ROM_SELECTORS
• trace::chiplets::NUM_MEMORY_SELECTORS
• trace::chiplets::ace::ACE_CHIPLET_NUM_COLS
• trace::chiplets::ace::ACE_INSTRUCTION_ID1_OFFSET
• trace::chiplets::ace::ACE_INSTRUCTION_ID2_OFFSET
• trace::chiplets::ace::CLK_IDX
• trace::chiplets::ace::CTX_IDX
• trace::chiplets::ace::EVAL_OP_IDX
• trace::chiplets::ace::ID_0_IDX
• trace::chiplets::ace::ID_1_IDX
• trace::chiplets::ace::ID_2_IDX
• trace::chiplets::ace::M_0_IDX
• trace::chiplets::ace::M_1_IDX
• trace::chiplets::ace::PTR_IDX
• trace::chiplets::ace::READ_NUM_EVAL_IDX
• trace::chiplets::ace::SELECTOR_BLOCK_IDX
• trace::chiplets::ace::SELECTOR_START_IDX
• trace::chiplets::ace::V_0_0_IDX
• trace::chiplets::ace::V_0_1_IDX
• trace::chiplets::ace::V_1_0_IDX
• trace::chiplets::ace::V_1_1_IDX
• trace::chiplets::ace::V_2_0_IDX
• trace::chiplets::ace::V_2_1_IDX
• trace::chiplets::bitwise::A_COL_IDX
• trace::chiplets::bitwise::A_COL_RANGE
• trace::chiplets::bitwise::BITWISE_AND
• trace::chiplets::bitwise::BITWISE_XOR
• trace::chiplets::bitwise::B_COL_IDX
• trace::chiplets::bitwise::B_COL_RANGE
• trace::chiplets::bitwise::NUM_DECOMP_BITS
• trace::chiplets::bitwise::NUM_SELECTORS
• trace::chiplets::bitwise::OP_CYCLE_LEN
• trace::chiplets::bitwise::OUTPUT_COL_IDX
• trace::chiplets::bitwise::PREV_OUTPUT_COL_IDX
• trace::chiplets::bitwise::TRACE_WIDTH
• trace::chiplets::hasher::CAPACITY_COL_RANGE
• trace::chiplets::hasher::CAPACITY_DOMAIN_IDX
• trace::chiplets::hasher::CAPACITY_LEN
• trace::chiplets::hasher::CONTROLLER_ROWS_PER_PERMUTATION
• trace::chiplets::hasher::CONTROLLER_ROWS_PER_PERM_FELT
• trace::chiplets::hasher::DIGEST_LEN
• trace::chiplets::hasher::DIGEST_RANGE
• trace::chiplets::hasher::DIRECTION_BIT_COL_IDX
• trace::chiplets::hasher::HASH_CYCLE_LEN
• trace::chiplets::hasher::HASH_CYCLE_LEN_FELT
• trace::chiplets::hasher::IS_BOUNDARY_COL_IDX
• trace::chiplets::hasher::LAST_CYCLE_ROW
• trace::chiplets::hasher::LAST_CYCLE_ROW_FELT
• trace::chiplets::hasher::LINEAR_HASH
• trace::chiplets::hasher::MP_VERIFY
• trace::chiplets::hasher::MRUPDATE_ID_COL_IDX
• trace::chiplets::hasher::MR_UPDATE_NEW
• trace::chiplets::hasher::MR_UPDATE_OLD
• trace::chiplets::hasher::NODE_INDEX_COL_IDX
• trace::chiplets::hasher::NUM_ROUNDS
• trace::chiplets::hasher::NUM_SELECTORS
• trace::chiplets::hasher::RATE_COL_RANGE
• trace::chiplets::hasher::RATE_LEN
• trace::chiplets::hasher::RETURN_HASH
• trace::chiplets::hasher::RETURN_STATE
• trace::chiplets::hasher::STATE_COL_RANGE
• trace::chiplets::hasher::STATE_WIDTH
• trace::chiplets::hasher::S_PERM_COL_IDX
• trace::chiplets::hasher::TRACE_WIDTH
• trace::chiplets::memory::CLK_COL_IDX
• trace::chiplets::memory::CTX_COL_IDX
• trace::chiplets::memory::D0_COL_IDX
• trace::chiplets::memory::D1_COL_IDX
• trace::chiplets::memory::D_INV_COL_IDX
• trace::chiplets::memory::FLAG_SAME_CONTEXT_AND_WORD
• trace::chiplets::memory::IDX0_COL_IDX
• trace::chiplets::memory::IDX1_COL_IDX
• trace::chiplets::memory::IS_READ_COL_IDX
• trace::chiplets::memory::IS_WORD_ACCESS_COL_IDX
• trace::chiplets::memory::MEMORY_ACCESS_ELEMENT
• trace::chiplets::memory::MEMORY_ACCESS_WORD
• trace::chiplets::memory::MEMORY_READ
• trace::chiplets::memory::MEMORY_WRITE
• trace::chiplets::memory::TRACE_WIDTH
• trace::chiplets::memory::V_COL_RANGE
• trace::chiplets::memory::WORD_ADDR_HI_COL_IDX
• trace::chiplets::memory::WORD_ADDR_LO_COL_IDX
• trace::chiplets::memory::WORD_COL_IDX
• trace::decoder::ADDR_COL_IDX
• trace::decoder::DECODER_OP_BITS_OFFSET
• trace::decoder::DECODER_USER_OP_HELPERS_OFFSET
• trace::decoder::GROUP_COUNT_COL_IDX
• trace::decoder::HASHER_STATE_OFFSET
• trace::decoder::HASHER_STATE_RANGE
• trace::decoder::IN_SPAN_COL_IDX
• trace::decoder::IS_CALL_FLAG_COL_IDX
• trace::decoder::IS_LOOP_BODY_FLAG_COL_IDX
• trace::decoder::IS_LOOP_FLAG_COL_IDX
• trace::decoder::IS_SYSCALL_FLAG_COL_IDX
• trace::decoder::NUM_HASHER_COLUMNS
• trace::decoder::NUM_OP_BATCH_FLAGS
• trace::decoder::NUM_OP_BITS
• trace::decoder::NUM_OP_BITS_EXTRA_COLS
• trace::decoder::NUM_USER_OP_HELPERS
• trace::decoder::OP_BATCH_1_GROUPS
• trace::decoder::OP_BATCH_2_GROUPS
• trace::decoder::OP_BATCH_4_GROUPS
• trace::decoder::OP_BATCH_8_GROUPS
• trace::decoder::OP_BATCH_FLAGS_OFFSET
• trace::decoder::OP_BATCH_FLAGS_RANGE
• trace::decoder::OP_BITS_EXTRA_COLS_OFFSET
• trace::decoder::OP_BITS_EXTRA_COLS_RANGE
• trace::decoder::OP_BITS_OFFSET
• trace::decoder::OP_BITS_RANGE
• trace::decoder::OP_INDEX_COL_IDX
• trace::decoder::USER_OP_HELPERS_OFFSET
• trace::log_precompile::HELPER_ADDR_IDX
• trace::log_precompile::HELPER_CAP_PREV_OFFSET
• trace::log_precompile::HELPER_CAP_PREV_RANGE
• trace::log_precompile::STACK_CAP_NEXT_BASE
• trace::log_precompile::STACK_CAP_NEXT_RANGE
• trace::log_precompile::STACK_COMM_RANGE
• trace::log_precompile::STACK_R0_BASE
• trace::log_precompile::STACK_R0_RANGE
• trace::log_precompile::STACK_R1_BASE
• trace::log_precompile::STACK_R1_RANGE
• trace::log_precompile::STACK_TAG_RANGE
• trace::log_precompile::STATE_CAP_RANGE
• trace::log_precompile::STATE_RATE_0_RANGE
• trace::log_precompile::STATE_RATE_1_RANGE
• trace::range::M_COL_IDX
• trace::range::V_COL_IDX
• trace::stack::B0_COL_IDX
• trace::stack::B1_COL_IDX
• trace::stack::H0_COL_IDX
• trace::stack::NUM_STACK_HELPER_COLS
• trace::stack::STACK_TOP_OFFSET
• trace::stack::STACK_TOP_RANGE