List of all items
Structs
- ExecutionOptions
- ExecutionProof
- Felt
- ProcessorAir
- ProvingOptions
- PublicInputs
- stack::op_flags::OpFlags
- stack::u32_ops::LimbCompositions
- trace::chiplets::hasher::Digest
- trace::chiplets::hasher::Hasher
- trace::main_trace::MainTrace
Enums
Traits
Macros
Functions
- stack::enforce_constraints
- stack::enforce_general_constraints
- stack::enforce_unique_constraints
- stack::field_ops::enforce_add_constraints
- stack::field_ops::enforce_and_constraints
- stack::field_ops::enforce_constraints
- stack::field_ops::enforce_eq_constraints
- stack::field_ops::enforce_eqz_constraints
- stack::field_ops::enforce_expacc_constraints
- stack::field_ops::enforce_ext2mul_constraints
- stack::field_ops::enforce_incr_constraints
- stack::field_ops::enforce_inv_constraints
- stack::field_ops::enforce_mul_constraints
- stack::field_ops::enforce_neg_constraints
- stack::field_ops::enforce_not_constraints
- stack::field_ops::enforce_or_constraints
- stack::field_ops::get_transition_constraint_count
- stack::field_ops::get_transition_constraint_degrees
- stack::get_assertions_first_step
- stack::get_assertions_last_step
- stack::get_aux_assertions_first_step
- stack::get_aux_assertions_last_step
- stack::get_transition_constraint_count
- stack::get_transition_constraint_degrees
- stack::io_ops::enforce_constraints
- stack::io_ops::enforce_sdepth_constraint
- stack::io_ops::get_transition_constraint_count
- stack::io_ops::get_transition_constraint_degrees
- stack::op_flags::generate_evaluation_frame
- stack::op_flags::get_op_bits
- stack::op_flags::get_op_index
- stack::op_flags::get_right_shift
- stack::overflow::enforce_constraints
- stack::overflow::enforce_overflow_flag_constraints
- stack::overflow::enforce_overflow_index_constraints
- stack::overflow::enforce_stack_depth_constraints
- stack::overflow::get_transition_constraint_count
- stack::overflow::get_transition_constraint_degrees
- stack::stack_manipulation::enforce_constraints
- stack::stack_manipulation::enforce_cswapx_constraints
- stack::stack_manipulation::enforce_dup_movup_n_constraints
- stack::stack_manipulation::enforce_movdnn_constraints
- stack::stack_manipulation::enforce_pad_constraints
- stack::stack_manipulation::enforce_swap_constraints
- stack::stack_manipulation::enforce_swapwx_constraints
- stack::stack_manipulation::get_transition_constraint_count
- stack::stack_manipulation::get_transition_constraint_degrees
- stack::system_ops::enforce_assert_constraints
- stack::system_ops::enforce_clk_constraints
- stack::system_ops::enforce_constraints
- stack::system_ops::enforce_fmpadd_constraints
- stack::system_ops::enforce_fmpupdate_constraints
- stack::system_ops::get_transition_constraint_count
- stack::system_ops::get_transition_constraint_degrees
- stack::u32_ops::enforce_check_element_validity
- stack::u32_ops::enforce_constraints
- stack::u32_ops::enforce_limbs_agg
- stack::u32_ops::enforce_u32add3_constraints
- stack::u32_ops::enforce_u32add_constraints
- stack::u32_ops::enforce_u32div_constraints
- stack::u32_ops::enforce_u32madd_constraints
- stack::u32_ops::enforce_u32mul_constraints
- stack::u32_ops::enforce_u32split_constraints
- stack::u32_ops::enforce_u32sub_constraints
- stack::u32_ops::get_transition_constraint_count
- stack::u32_ops::get_transition_constraint_degrees
Type Aliases
- trace::chiplets::bitwise::Selectors
- trace::chiplets::hasher::HasherState
- trace::chiplets::hasher::Selectors
- trace::chiplets::memory::Selectors
Constants
- stack::CONSTRAINT_DEGREES
- stack::NUM_ASSERTIONS
- stack::NUM_AUX_ASSERTIONS
- stack::NUM_GENERAL_CONSTRAINTS
- stack::field_ops::CONSTRAINT_DEGREES
- stack::field_ops::NUM_CONSTRAINTS
- stack::io_ops::CONSTRAINT_DEGREES
- stack::io_ops::NUM_CONSTRAINTS
- stack::overflow::CONSTRAINT_DEGREES
- stack::overflow::NUM_CONSTRAINTS
- stack::stack_manipulation::CONSTRAINT_DEGREES
- stack::stack_manipulation::NUM_CONSTRAINTS
- stack::system_ops::CONSTRAINT_DEGREES
- stack::system_ops::NUM_CONSTRAINTS
- stack::u32_ops::CONSTRAINT_DEGREES
- stack::u32_ops::NUM_CONSTRAINTS
- stack::u32_ops::TWO_0
- stack::u32_ops::TWO_16
- stack::u32_ops::TWO_32
- stack::u32_ops::TWO_48
- trace::AUX_TRACE_RAND_ELEMENTS
- trace::AUX_TRACE_WIDTH
- trace::CHIPLETS_AUX_TRACE_OFFSET
- trace::CHIPLETS_AUX_TRACE_RANGE
- trace::CHIPLETS_AUX_TRACE_WIDTH
- trace::CHIPLETS_OFFSET
- trace::CHIPLETS_RANGE
- trace::CHIPLETS_WIDTH
- 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::FMP_COL_IDX
- trace::FN_HASH_OFFSET
- trace::FN_HASH_RANGE
- trace::HASHER_AUX_TRACE_OFFSET
- trace::HASHER_AUX_TRACE_RANGE
- trace::HASHER_AUX_TRACE_WIDTH
- trace::IN_SYSCALL_COL_IDX
- trace::MIN_TRACE_LEN
- 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::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_ADDR_COL_IDX
- 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_SELECTORS_COL_IDX
- trace::chiplets::MEMORY_TRACE_OFFSET
- trace::chiplets::MEMORY_V_COL_RANGE
- trace::chiplets::NUM_BITWISE_SELECTORS
- trace::chiplets::NUM_HASHER_SELECTORS
- trace::chiplets::NUM_KERNEL_ROM_SELECTORS
- trace::chiplets::NUM_MEMORY_SELECTORS
- 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::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_LABEL
- trace::chiplets::kernel_rom::TRACE_WIDTH
- trace::chiplets::memory::ADDR_COL_IDX
- 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::MEMORY_COPY_READ
- trace::chiplets::memory::MEMORY_INIT_READ
- trace::chiplets::memory::MEMORY_READ_LABEL
- trace::chiplets::memory::MEMORY_WRITE
- trace::chiplets::memory::MEMORY_WRITE_LABEL
- trace::chiplets::memory::NUM_ELEMENTS
- trace::chiplets::memory::NUM_SELECTORS
- trace::chiplets::memory::TRACE_WIDTH
- trace::chiplets::memory::V_COL_RANGE
- 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::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
- trace::stack::STACK_TOP_SIZE