List of all items

Structs

• AluX0OpcodeSelectors
• EmptyCols
• SupervisorMode
• UserMode
• UserModeReaderCols
• UserModeSyscallInstrCols
• UserModeTrapCodeCols
• adapter::bump::StateBumpChip
• adapter::bump::StateBumpCols
• adapter::register::alu_type::ALUTypeReader
• adapter::register::alu_type::ALUTypeReaderInput
• adapter::register::i_type::ITypeReader
• adapter::register::i_type::ITypeReaderImmutable
• adapter::register::i_type::ITypeReaderImmutableInput
• adapter::register::i_type::ITypeReaderInput
• adapter::register::j_type::JTypeReader
• adapter::register::j_type::JTypeReaderInput
• adapter::register::r_type::RTypeReader
• adapter::register::r_type::RTypeReaderImmutable
• adapter::register::r_type::RTypeReaderImmutableInput
• adapter::register::r_type::RTypeReaderInput
• adapter::state::CPUState
• adapter::state::CPUStateInput
• alu::add_sub::add::AddChip
• alu::add_sub::add::AddCols
• alu::add_sub::addi::AddiChip
• alu::add_sub::addi::AddiCols
• alu::add_sub::addw::AddwChip
• alu::add_sub::addw::AddwCols
• alu::add_sub::sub::SubChip
• alu::add_sub::sub::SubCols
• alu::add_sub::subw::SubwChip
• alu::add_sub::subw::SubwCols
• alu::alu_x0::AluX0Chip
• alu::alu_x0::AluX0Cols
• alu::bitwise::BitwiseChip
• alu::bitwise::BitwiseCols
• alu::divrem::DivRemChip
• alu::divrem::DivRemCols
• alu::lt::LtChip
• alu::lt::LtCols
• alu::mul::MulChip
• alu::mul::MulCols
• alu::sll::ShiftLeftChip
• alu::sll::ShiftLeftCols
• alu::sr::ShiftRightChip
• alu::sr::ShiftRightCols
• bytes::ByteChip
• bytes::columns::ByteMultCols
• bytes::columns::BytePreprocessedCols
• control_flow::BranchChip
• control_flow::BranchColumns
• control_flow::JalChip
• control_flow::JalColumns
• control_flow::JalrChip
• control_flow::JalrColumns
• control_flow::TrapExecChip
• control_flow::TrapExecColumns
• control_flow::TrapMemChip
• control_flow::TrapMemColumns
• executor::ExecutionOutput
• global::Ghost
• global::GlobalChip
• global::GlobalCols
• io::SP1Stdin
• memory::MemoryAccessCols
• memory::MemoryAccessColsU8
• memory::MemoryAccessTimestamp
• memory::MemoryBumpChip
• memory::MemoryBumpCols
• memory::MemoryGlobalChip
• memory::MemoryInitCols
• memory::MemoryLocalChip
• memory::MemoryLocalCols
• memory::PageProtAccessCols
• memory::PageProtChip
• memory::PageProtCols
• memory::PageProtGlobalChip
• memory::PageProtInitCols
• memory::PageProtLocalChip
• memory::PageProtLocalCols
• memory::RegisterAccessCols
• memory::RegisterAccessTimestamp
• memory::SingleMemoryLocal
• memory::SinglePageProtCols
• memory::SinglePageProtLocal
• memory::load::load_byte::LoadByteChip
• memory::load::load_byte::LoadByteColumns
• memory::load::load_double::LoadDoubleChip
• memory::load::load_double::LoadDoubleColumns
• memory::load::load_half::LoadHalfChip
• memory::load::load_half::LoadHalfColumns
• memory::load::load_word::LoadWordChip
• memory::load::load_word::LoadWordColumns
• memory::load::load_x0::LoadX0Chip
• memory::load::load_x0::LoadX0Columns
• memory::store::store_byte::StoreByteChip
• memory::store::store_byte::StoreByteColumns
• memory::store::store_double::StoreDoubleChip
• memory::store::store_double::StoreDoubleColumns
• memory::store::store_half::StoreHalfChip
• memory::store::store_half::StoreHalfColumns
• memory::store::store_word::StoreWordChip
• memory::store::store_word::StoreWordColumns
• operations::Add4Operation
• operations::Add5Operation
• operations::AddOperation
• operations::AddOperationInput
• operations::AddU32Operation
• operations::AddrAddOperation
• operations::AddrAddOperationInput
• operations::AddressOperation
• operations::AddressOperationInput
• operations::AddressSlicePageProtOperation
• operations::AddwOperation
• operations::AddwOperationInput
• operations::AndU32Operation
• operations::BitwiseOperation
• operations::BitwiseOperationInput
• operations::BitwiseU16Operation
• operations::BitwiseU16OperationInput
• operations::ClkOperation
• operations::FixedRotateRightOperation
• operations::FixedShiftRightOperation
• operations::GlobalAccumulationOperation
• operations::GlobalInteractionOperation
• operations::IsEqualWordOperation
• operations::IsEqualWordOperationInput
• operations::IsZeroOperation
• operations::IsZeroOperationInput
• operations::IsZeroWordOperation
• operations::IsZeroWordOperationInput
• operations::LtOperationSigned
• operations::LtOperationSignedInput
• operations::LtOperationUnsigned
• operations::LtOperationUnsignedInput
• operations::MulOperation
• operations::MulOperationInput
• operations::NotU32Operation
• operations::PageIsEqualOrAdjacentOperation
• operations::PageOperation
• operations::PageProtOperation
• operations::SP1FieldWordRangeChecker
• operations::SubOperation
• operations::SubOperationInput
• operations::SubwOperation
• operations::SubwOperationInput
• operations::SyscallAddrOperation
• operations::TrapOperation
• operations::TrapPageProtOperation
• operations::U16CompareOperation
• operations::U16CompareOperationInput
• operations::U16MSBOperation
• operations::U16MSBOperationInput
• operations::U16toU8Operation
• operations::U16toU8OperationSafe
• operations::U16toU8OperationSafeInput
• operations::U16toU8OperationUnsafe
• operations::U16toU8OperationUnsafeInput
• operations::U32toU8Operation
• operations::XorU32Operation
• operations::field::field_den::FieldDenCols
• operations::field::field_inner_product::FieldInnerProductCols
• operations::field::field_op::FieldOpCols
• operations::field::field_sqrt::FieldSqrtCols
• operations::field::range::FieldLtCols
• program::InstructionDecodeChip
• program::InstructionDecodeCols
• program::InstructionFetchChip
• program::InstructionFetchCols
• program::ProgramChip
• program::ProgramMultiplicityCols
• program::ProgramPreprocessedCols
• program::instruction::InstructionCols
• range::RangeChip
• range::columns::RangeMultCols
• range::columns::RangePreprocessedCols
• recursion::SP1RecursionProof
• riscv::Bls12381Parameters
• riscv::Bn254Parameters
• riscv::Ed25519Parameters
• riscv::EdwardsCurve
• riscv::RiscvAirDiscriminantsIter
• riscv::Secp256k1Parameters
• riscv::Secp256r1Parameters
• riscv::SwCurve
• syscall::chip::SyscallChip
• syscall::chip::SyscallCols
• syscall::instructions::SyscallInstrsChip
• syscall::instructions::columns::SyscallInstrColumns
• syscall::precompiles::edwards::EdAddAssignChip
• syscall::precompiles::edwards::EdAddAssignCols
• syscall::precompiles::edwards::EdDecompressChip
• syscall::precompiles::edwards::EdDecompressCols
• syscall::precompiles::fptower::Fp2AddSubAssignChip
• syscall::precompiles::fptower::Fp2AddSubAssignCols
• syscall::precompiles::fptower::Fp2MulAssignChip
• syscall::precompiles::fptower::Fp2MulAssignCols
• syscall::precompiles::fptower::FpOpChip
• syscall::precompiles::fptower::FpOpCols
• syscall::precompiles::keccak256::KeccakPermuteChip
• syscall::precompiles::keccak256::KeccakPermuteControlChip
• syscall::precompiles::keccak256::columns::KeccakMemCols
• syscall::precompiles::mprotect::MProtectChip
• syscall::precompiles::mprotect::MProtectCols
• syscall::precompiles::poseidon2::air::Poseidon2Chip
• syscall::precompiles::poseidon2::air::Poseidon2Cols2
• syscall::precompiles::sha256::ShaCompressChip
• syscall::precompiles::sha256::ShaCompressControlChip
• syscall::precompiles::sha256::ShaExtendChip
• syscall::precompiles::sha256::ShaExtendCols
• syscall::precompiles::sha256::ShaExtendControlChip
• syscall::precompiles::sigreturn::SigReturnChip
• syscall::precompiles::sigreturn::SigReturnCols
• syscall::precompiles::u256x2048_mul::U256x2048MulChip
• syscall::precompiles::u256x2048_mul::U256x2048MulCols
• syscall::precompiles::uint256::Uint256MulChip
• syscall::precompiles::uint256::Uint256MulCols
• syscall::precompiles::uint256_ops::Uint256OpsChip
• syscall::precompiles::uint256_ops::Uint256OpsCols
• syscall::precompiles::weierstrass::LexicographicChoiceCols
• syscall::precompiles::weierstrass::WeierstrassAddAssignChip
• syscall::precompiles::weierstrass::WeierstrassAddAssignCols
• syscall::precompiles::weierstrass::WeierstrassDecompressChip
• syscall::precompiles::weierstrass::WeierstrassDecompressCols
• syscall::precompiles::weierstrass::WeierstrassDoubleAssignChip
• syscall::precompiles::weierstrass::WeierstrassDoubleAssignCols
• utils::MinimalAddChip
• utils::MinimalAddCols
• utils::Span
• utils::SpanBuilder
• utils::concurrency::AsyncTurn
• utils::concurrency::AsyncTurnFuture
• utils::concurrency::AsyncTurnGuard
• utils::concurrency::AsyncTurnInner
• utils::concurrency::TurnBasedSync
• utype::UTypeChip
• utype::UTypeColumns

Enums

• memory::MemoryChipType
• riscv::RiscvAir
• riscv::RiscvAirDiscriminants
• syscall::chip::SyscallShardKind
• syscall::precompiles::weierstrass::SignChoiceRule
• utils::SP1CoreProverError
• utils::SpanBuilderError
• utils::SpanBuilderExitError
• utils::SpanBuilderFinishError

Traits

• TrustMode
• air::MemoryAirBuilder
• air::ProgramAirBuilder
• air::SP1CoreAirBuilder
• air::SP1CoreOperationBuilder
• air::SP1Operation
• air::SP1OperationBuilder
• air::TrivialOperationBuilder
• air::WordAirBuilder

Functions

• executor::trace_chunk
• operations::field::util_air::eval_field_operation
• operations::get_msb
• syscall::precompiles::edwards::num_ed_decompress_cols_supervisor
• syscall::precompiles::edwards::num_ed_decompress_cols_user
• syscall::precompiles::fptower::num_fp2_addsub_cols_supervisor
• syscall::precompiles::fptower::num_fp2_addsub_cols_user
• syscall::precompiles::fptower::num_fp2_mul_cols_supervisor
• syscall::precompiles::fptower::num_fp2_mul_cols_user
• syscall::precompiles::fptower::num_fp_cols_supervisor
• syscall::precompiles::fptower::num_fp_cols_user
• syscall::precompiles::keccak256::constants::rc_value_bit
• syscall::precompiles::poseidon2::air::num_poseidon2_cols_supervisor
• syscall::precompiles::poseidon2::air::num_poseidon2_cols_user
• syscall::precompiles::sha256::sha_extend
• syscall::precompiles::u256x2048_mul::num_u256x2048_mul_cols_supervisor
• syscall::precompiles::u256x2048_mul::num_u256x2048_mul_cols_user
• syscall::precompiles::uint256::num_uint256_mul_cols_supervisor
• syscall::precompiles::uint256::num_uint256_mul_cols_user
• syscall::precompiles::uint256_ops::num_uint256_ops_cols_supervisor
• syscall::precompiles::uint256_ops::num_uint256_ops_cols_user
• syscall::precompiles::weierstrass::num_weierstrass_add_cols_supervisor
• syscall::precompiles::weierstrass::num_weierstrass_add_cols_user
• syscall::precompiles::weierstrass::num_weierstrass_decompress_cols_supervisor
• syscall::precompiles::weierstrass::num_weierstrass_decompress_cols_user
• syscall::precompiles::weierstrass::num_weierstrass_double_cols_supervisor
• syscall::precompiles::weierstrass::num_weierstrass_double_cols_user
• utils::bytes_to_words_le
• utils::bytes_to_words_le_vec
• utils::emit_globals
• utils::generate_records
• utils::get_hint_event_addrs
• utils::indices_arr
• utils::limbs_to_words
• utils::log2_strict_usize
• utils::next_multiple_of_32
• utils::num_to_comma_separated
• utils::pad_rows_fixed
• utils::prove_core
• utils::reverse_slice_index_bits
• utils::setup_logger
• utils::u32_to_half_word
• utils::words_to_bytes_le
• utils::words_to_bytes_le_vec
• utils::zeroed_f_vec

Constants

• alu::add_sub::add::NUM_ADD_COLS_SUPERVISOR
• alu::add_sub::add::NUM_ADD_COLS_USER
• alu::add_sub::addi::NUM_ADDI_COLS_SUPERVISOR
• alu::add_sub::addi::NUM_ADDI_COLS_USER
• alu::add_sub::addw::NUM_ADDW_COLS_SUPERVISOR
• alu::add_sub::addw::NUM_ADDW_COLS_USER
• alu::add_sub::sub::NUM_SUB_COLS_SUPERVISOR
• alu::add_sub::sub::NUM_SUB_COLS_USER
• alu::add_sub::subw::NUM_SUBW_COLS_SUPERVISOR
• alu::add_sub::subw::NUM_SUBW_COLS_USER
• alu::alu_x0::NUM_ALU_X0_COLS_SUPERVISOR
• alu::alu_x0::NUM_ALU_X0_COLS_USER
• alu::bitwise::NUM_BITWISE_COLS_SUPERVISOR
• alu::bitwise::NUM_BITWISE_COLS_USER
• alu::divrem::NUM_DIVREM_COLS_SUPERVISOR
• alu::divrem::NUM_DIVREM_COLS_USER
• alu::lt::NUM_LT_COLS_SUPERVISOR
• alu::lt::NUM_LT_COLS_USER
• alu::mul::NUM_MUL_COLS_SUPERVISOR
• alu::mul::NUM_MUL_COLS_USER
• alu::sll::BYTE_SIZE
• alu::sll::NUM_SHIFT_LEFT_COLS_SUPERVISOR
• alu::sll::NUM_SHIFT_LEFT_COLS_USER
• alu::sr::NUM_SHIFT_RIGHT_COLS_SUPERVISOR
• alu::sr::NUM_SHIFT_RIGHT_COLS_USER
• bytes::NUM_BYTE_OPS
• bytes::columns::NUM_BYTE_MULT_COLS
• bytes::columns::NUM_BYTE_PREPROCESSED_COLS
• bytes::trace::NUM_ROWS
• control_flow::NUM_BRANCH_COLS_SUPERVISOR
• control_flow::NUM_BRANCH_COLS_USER
• control_flow::NUM_JALR_COLS_SUPERVISOR
• control_flow::NUM_JALR_COLS_USER
• control_flow::NUM_JAL_COLS_SUPERVISOR
• control_flow::NUM_JAL_COLS_USER
• control_flow::NUM_TRAP_EXEC_COLS
• control_flow::NUM_TRAP_MEM_COLS
• global::GLOBAL_INITIAL_DIGEST_POS
• global::GLOBAL_INITIAL_DIGEST_POS_COPY
• global::GLOBAL_OFFSET_POS_COPY
• memory::NUM_LOCAL_MEMORY_ENTRIES_PER_ROW
• memory::NUM_LOCAL_PAGE_PROT_ENTRIES_PER_ROW
• memory::NUM_PAGE_PROT_ENTRIES_PER_ROW
• memory::load::load_byte::NUM_LOAD_BYTE_COLS_SUPERVISOR
• memory::load::load_byte::NUM_LOAD_BYTE_COLS_USER
• memory::load::load_double::NUM_LOAD_DOUBLE_COLS_SUPERVISOR
• memory::load::load_double::NUM_LOAD_DOUBLE_COLS_USER
• memory::load::load_half::NUM_LOAD_HALF_COLS_SUPERVISOR
• memory::load::load_half::NUM_LOAD_HALF_COLS_USER
• memory::load::load_word::NUM_LOAD_WORD_COLS_SUPERVISOR
• memory::load::load_word::NUM_LOAD_WORD_COLS_USER
• memory::load::load_x0::NUM_LOAD_X0_COLS_SUPERVISOR
• memory::load::load_x0::NUM_LOAD_X0_COLS_USER
• memory::store::store_byte::NUM_STORE_BYTE_COLS_SUPERVISOR
• memory::store::store_byte::NUM_STORE_BYTE_COLS_USER
• memory::store::store_double::NUM_STORE_DOUBLE_COLS_SUPERVISOR
• memory::store::store_double::NUM_STORE_DOUBLE_COLS_USER
• memory::store::store_half::NUM_STORE_HALF_COLS_SUPERVISOR
• memory::store::store_half::NUM_STORE_HALF_COLS_USER
• memory::store::store_word::NUM_STORE_WORD_COLS_SUPERVISOR
• memory::store::store_word::NUM_STORE_WORD_COLS_USER
• program::NUM_INSTRUCTION_DECODE_COLS
• program::NUM_INSTRUCTION_FETCH_COLS
• program::NUM_PROGRAM_MULT_COLS
• program::NUM_PROGRAM_PREPROCESSED_COLS
• program::instruction::NUM_INSTRUCTION_COLS
• range::columns::NUM_RANGE_MULT_COLS
• range::columns::NUM_RANGE_PREPROCESSED_COLS
• range::trace::NUM_ROWS
• riscv::MAX_LOG_NUMBER_OF_SHARDS
• riscv::MAX_NUMBER_OF_SHARDS
• syscall::chip::NUM_SYSCALL_COLS_SUPERVISOR
• syscall::chip::NUM_SYSCALL_COLS_USER
• syscall::instructions::columns::NUM_SYSCALL_INSTR_COLS_SUPERVISOR
• syscall::instructions::columns::NUM_SYSCALL_INSTR_COLS_USER
• syscall::precompiles::edwards::NUM_ED_ADD_COLS_SUPERVISOR
• syscall::precompiles::edwards::NUM_ED_ADD_COLS_USER
• syscall::precompiles::edwards::NUM_ED_DECOMPRESS_COLS_SUPERVISOR
• syscall::precompiles::edwards::NUM_ED_DECOMPRESS_COLS_USER
• syscall::precompiles::keccak256::BITS_PER_LIMB
• syscall::precompiles::keccak256::STATE_NUM_WORDS
• syscall::precompiles::keccak256::STATE_SIZE
• syscall::precompiles::keccak256::columns::NUM_KECCAK_MEM_COLS
• syscall::precompiles::keccak256::constants::RC
• syscall::precompiles::sha256::NUM_SHA_EXTEND_COLS
• syscall::precompiles::sha256::SHA_COMPRESS_K
• syscall::precompiles::uint256_ops::U256_NUM_WORDS
• utils::NUM_MINIMAL_ADD_COLS
• utype::NUM_UTYPE_COLS_SUPERVISOR
• utype::NUM_UTYPE_COLS_USER