List of all items

Structs

• AirWitness
• Felt
• ProcessorAir
• PublicInputs
• ace::ReducedAuxBatchConfig
• trace::Challenges
• trace::MainTrace
• trace::MainTraceRow
• trace::RowIndex
• trace::chiplets::hasher::Hasher
• trace::chiplets::hasher::Word

Enums

• DeserializationError
• ace::MessageElement
• ace::ProductFactor
• trace::RowIndexError

Traits

• AirBuilder
• AuxBuilder
• BaseAir
• ByteReader
• ByteWriter
• Deserializable
• ExtensionBuilder
• LiftedAir
• LiftedAirBuilder
• PermutationAirBuilder
• Serializable
• ToElements
• trace::AuxBuilder

Functions

• ace::batch_reduced_aux_values
• ace::build_batched_ace_circuit
• ace::reduced_aux_batch_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

Type Aliases

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

Constants

• NUM_PUBLIC_VALUES
• config::DEEP_POW_BITS
• config::FOLDING_POW_BITS
• config::LOG_FOLDING_ARITY
• config::RELATION_DIGEST
• trace::ACE_CHIPLET_WIRING_BUS_OFFSET
• trace::ACE_CHIPLET_WIRING_BUS_RANGE
• trace::ACE_CHIPLET_WIRING_BUS_WIDTH
• trace::AUX_TRACE_RAND_CHALLENGES
• trace::AUX_TRACE_WIDTH
• trace::CHIPLETS_BUS_AUX_TRACE_OFFSET
• trace::CHIPLETS_BUS_AUX_TRACE_RANGE
• trace::CHIPLETS_BUS_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_AUX_TRACE_OFFSET
• trace::DECODER_AUX_TRACE_RANGE
• trace::DECODER_AUX_TRACE_WIDTH
• trace::DECODER_TRACE_OFFSET
• trace::DECODER_TRACE_RANGE
• trace::DECODER_TRACE_WIDTH
• trace::FN_HASH_OFFSET
• trace::FN_HASH_RANGE
• trace::HASHER_AUX_TRACE_RANGE
• trace::HASHER_AUX_TRACE_WIDTH
• trace::HASH_KERNEL_VTABLE_AUX_TRACE_OFFSET
• trace::LOG_PRECOMPILE_LABEL
• trace::MAX_MESSAGE_WIDTH
• trace::MIN_TRACE_LEN
• trace::PADDED_TRACE_WIDTH
• trace::RANGE_CHECK_AUX_TRACE_OFFSET
• trace::RANGE_CHECK_AUX_TRACE_RANGE
• trace::RANGE_CHECK_AUX_TRACE_WIDTH
• trace::RANGE_CHECK_TRACE_OFFSET
• trace::RANGE_CHECK_TRACE_RANGE
• trace::RANGE_CHECK_TRACE_WIDTH
• trace::STACK_AUX_TRACE_OFFSET
• trace::STACK_AUX_TRACE_RANGE
• trace::STACK_AUX_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_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_TRACE_OFFSET
• 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_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_INIT_LABEL
• 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_AND_LABEL
• trace::chiplets::bitwise::BITWISE_XOR
• trace::chiplets::bitwise::BITWISE_XOR_LABEL
• 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::DIGEST_LEN
• trace::chiplets::hasher::DIGEST_RANGE
• trace::chiplets::hasher::HASH_CYCLE_LEN
• trace::chiplets::hasher::HASH_CYCLE_LEN_FELT
• trace::chiplets::hasher::LAST_CYCLE_ROW
• trace::chiplets::hasher::LAST_CYCLE_ROW_FELT
• trace::chiplets::hasher::LINEAR_HASH
• trace::chiplets::hasher::LINEAR_HASH_LABEL
• trace::chiplets::hasher::MP_VERIFY
• trace::chiplets::hasher::MP_VERIFY_LABEL
• trace::chiplets::hasher::MR_UPDATE_NEW
• trace::chiplets::hasher::MR_UPDATE_NEW_LABEL
• trace::chiplets::hasher::MR_UPDATE_OLD
• trace::chiplets::hasher::MR_UPDATE_OLD_LABEL
• trace::chiplets::hasher::NUM_ROUNDS
• trace::chiplets::hasher::NUM_SELECTORS
• trace::chiplets::hasher::P1_COL_IDX
• trace::chiplets::hasher::RATE_COL_RANGE
• trace::chiplets::hasher::RATE_LEN
• trace::chiplets::hasher::RETURN_HASH
• trace::chiplets::hasher::RETURN_HASH_LABEL
• trace::chiplets::hasher::RETURN_STATE
• trace::chiplets::hasher::RETURN_STATE_LABEL
• trace::chiplets::hasher::STATE_COL_RANGE
• trace::chiplets::hasher::STATE_WIDTH
• trace::chiplets::hasher::TRACE_WIDTH
• trace::chiplets::kernel_rom::KERNEL_PROC_CALL_LABEL
• trace::chiplets::kernel_rom::KERNEL_PROC_INIT_LABEL
• 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::MEMORY_ACCESS_ELEMENT
• trace::chiplets::memory::MEMORY_ACCESS_WORD
• trace::chiplets::memory::MEMORY_READ
• trace::chiplets::memory::MEMORY_READ_ELEMENT_LABEL
• trace::chiplets::memory::MEMORY_READ_WORD_LABEL
• trace::chiplets::memory::MEMORY_WRITE
• trace::chiplets::memory::MEMORY_WRITE_ELEMENT_LABEL
• trace::chiplets::memory::MEMORY_WRITE_WORD_LABEL
• trace::chiplets::memory::TRACE_WIDTH
• trace::chiplets::memory::V_COL_RANGE
• 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::P1_COL_IDX
• trace::decoder::P2_COL_IDX
• trace::decoder::P3_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::B_RANGE_COL_IDX
• 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