List of all items

Structs

• air::AirInteraction
• air::BinomialExtension
• air::Polynomial
• air::PublicValues
• air::SubAirBuilder
• air::SubMatrixRowSlices
• air::Word
• alu::AluEvent
• alu::add_sub::AddSubChip
• alu::add_sub::AddSubCols
• 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::ShiftLeft
• alu::sll::ShiftLeftCols
• alu::sr::ShiftRightChip
• alu::sr::ShiftRightCols
• bytes::ByteChip
• bytes::columns::ByteMultCols
• bytes::columns::BytePreprocessedCols
• bytes::columns::MultiplicitiesCols
• bytes::event::ByteLookupEvent
• cpu::CpuChip
• cpu::columns::AuipcCols
• cpu::columns::BranchCols
• cpu::columns::ChannelSelectorCols
• cpu::columns::CpuCols
• cpu::columns::EcallCols
• cpu::columns::InstructionCols
• cpu::columns::JumpCols
• cpu::columns::MemoryColumns
• cpu::columns::OpcodeSelectorCols
• cpu::event::CpuEvent
• disassembler::Elf
• disassembler::InstructionTranspiler
• io::SP1PublicValues
• io::SP1Stdin
• lookup::Interaction
• lookup::InteractionBuilder
• lookup::InteractionData
• memory::MemoryAccessCols
• memory::MemoryChip
• memory::MemoryInitCols
• memory::MemoryInitializeFinalizeEvent
• memory::MemoryProgramChip
• memory::MemoryProgramMultCols
• memory::MemoryProgramPreprocessedCols
• memory::MemoryReadCols
• memory::MemoryReadWriteCols
• memory::MemoryWriteCols
• operations::Add4Operation
• operations::Add5Operation
• operations::AddOperation
• operations::AndOperation
• operations::AssertLtColsBits
• operations::AssertLtColsBytes
• operations::BabyBearBitDecomposition
• operations::BabyBearWordRangeChecker
• operations::FixedRotateRightOperation
• operations::FixedShiftRightOperation
• operations::IsEqualWordOperation
• operations::IsZeroOperation
• operations::IsZeroWordOperation
• operations::NotOperation
• operations::OrOperation
• operations::XorOperation
• operations::field::field_den::FieldDenCols
• operations::field::field_inner_product::FieldInnerProductCols
• operations::field::field_op::FieldOpCols
• operations::field::field_sqrt::FieldSqrtCols
• operations::field::params::Limbs
• operations::field::range::FieldLtCols
• program::ProgramChip
• program::ProgramMultiplicityCols
• program::ProgramPreprocessedCols
• runtime::DefaultSubproofVerifier
• runtime::ExecutionRecord
• runtime::ExecutionReport
• runtime::ExecutionState
• runtime::HookEnv
• runtime::HookRegistry
• runtime::Instruction
• runtime::MemoryAccessRecord
• runtime::MemoryReadRecord
• runtime::MemoryRecord
• runtime::MemoryWriteRecord
• runtime::NoOpSubproofVerifier
• runtime::Program
• runtime::Runtime
• runtime::SP1Context
• runtime::SP1ContextBuilder
• runtime::SplitOpts
• runtime::SyscallCodeIter
• runtime::SyscallContext
• stark::AirOpenedValues
• stark::Chip
• stark::ChipOpenedValues
• stark::CpuProver
• stark::CpuProverError
• stark::DebugConstraintBuilder
• stark::DeferredDigest
• stark::GenericVerifierConstraintFolder
• stark::MachineProof
• stark::OodEvaluationMismatch
• stark::ProverConstraintFolder
• stark::PublicValuesDigest
• stark::ShardCommitment
• stark::ShardMainData
• stark::ShardOpenedValues
• stark::ShardProof
• stark::StarkMachine
• stark::StarkProvingKey
• stark::StarkVerifyingKey
• stark::UniConfig
• stark::Verifier
• syscall::SyscallCommit
• syscall::SyscallCommitDeferred
• syscall::SyscallEnterUnconstrained
• syscall::SyscallExitUnconstrained
• syscall::SyscallHalt
• syscall::SyscallHintLen
• syscall::SyscallHintRead
• syscall::SyscallVerifySP1Proof
• syscall::SyscallWrite
• syscall::precompiles::ECAddEvent
• syscall::precompiles::ECDecompressEvent
• syscall::precompiles::ECDoubleEvent
• syscall::precompiles::edwards::EdAddAssignChip
• syscall::precompiles::edwards::EdAddAssignCols
• syscall::precompiles::edwards::EdDecompressChip
• syscall::precompiles::edwards::EdDecompressCols
• syscall::precompiles::edwards::EdDecompressEvent
• syscall::precompiles::keccak256::KeccakPermuteChip
• syscall::precompiles::keccak256::KeccakPermuteEvent
• syscall::precompiles::sha256::ShaCompressChip
• syscall::precompiles::sha256::ShaCompressEvent
• syscall::precompiles::sha256::ShaExtendChip
• syscall::precompiles::sha256::ShaExtendCols
• syscall::precompiles::sha256::ShaExtendEvent
• syscall::precompiles::uint256::Uint256MulChip
• syscall::precompiles::uint256::Uint256MulCols
• syscall::precompiles::uint256::Uint256MulEvent
• 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::BabyBearBlake3
• utils::BabyBearKeccak
• utils::BabyBearPoseidon2
• utils::BabyBearPoseidon2Inner
• utils::Buffer
• utils::SP1CoreOpts
• utils::SP1ProverOpts
• utils::baby_bear_poseidon2::BabyBearPoseidon2
• utils::concurrency::TurnBasedSync
• utils::ec::AffinePoint
• utils::ec::edwards::EdwardsCurve
• utils::ec::edwards::ed25519::Ed25519BaseField
• utils::ec::edwards::ed25519::Ed25519Parameters
• utils::ec::uint256::U256Field
• utils::ec::weierstrass::SwCurve
• utils::ec::weierstrass::bls12_381::Bls12381BaseField
• utils::ec::weierstrass::bls12_381::Bls12381Parameters
• utils::ec::weierstrass::bn254::Bn254BaseField
• utils::ec::weierstrass::bn254::Bn254Parameters
• utils::ec::weierstrass::secp256k1::Secp256k1BaseField
• utils::ec::weierstrass::secp256k1::Secp256k1Parameters

Enums

• bytes::opcode::ByteOpcode
• lookup::InteractionKind
• memory::MemoryChipType
• operations::field::field_op::FieldOperation
• runtime::ExecutionError
• runtime::MemoryAccessPosition
• runtime::MemoryRecordEnum
• runtime::Opcode
• runtime::Register
• runtime::SyscallCode
• stark::MachineVerificationError
• stark::OpeningShapeError
• stark::RiscvAir
• stark::VerificationError
• syscall::precompiles::weierstrass::SignChoiceRule
• utils::SP1CoreProverError
• utils::ec::CurveType

Unions

• cpu::columns::OpcodeSpecificCols

Traits

• air::AluAirBuilder
• air::BaseAirBuilder
• air::ByteAirBuilder
• air::EmptyMessageBuilder
• air::ExtensionAirBuilder
• air::MachineAir
• air::MachineAirBuilder
• air::MachineProgram
• air::MemoryAirBuilder
• air::MessageBuilder
• air::MultiTableAirBuilder
• air::ProgramAirBuilder
• air::SP1AirBuilder
• air::WordAirBuilder
• bytes::event::ByteRecord
• memory::MemoryCols
• operations::field::params::FieldParameters
• operations::field::params::NumLimbs
• operations::field::params::NumWords
• runtime::Hook
• runtime::SubproofVerifier
• runtime::Syscall
• stark::MachineProver
• stark::MachineRecord
• stark::StarkGenericConfig
• utils::ec::EllipticCurve
• utils::ec::EllipticCurveParameters
• utils::ec::edwards::EdwardsParameters
• utils::ec::weierstrass::WeierstrassParameters

Derive Macros

• air::MachineAir

Functions

• alu::create_alu_lookup_id
• alu::create_alu_lookups
• bytes::utils::shr_carry
• cpu::columns::eval_channel_selectors
• disassembler::transpile
• io::proof_serde::deserialize
• io::proof_serde::serialize
• lookup::debug_interactions
• lookup::debug_interactions_with_all_chips
• lookup::vec_to_string
• memory::value_as_limbs
• operations::field::params::limbs_from_vec
• operations::field::util::compute_root_quotient_and_shift
• operations::field::util::split_u16_limbs_to_u8_limbs
• operations::field::util_air::eval_field_operation
• runtime::align
• runtime::default_syscall_map
• runtime::hook_ecrecover
• runtime::hookify
• stark::debug_constraints
• stark::debug_cumulative_sums
• stark::eval_permutation_constraints
• stark::generate_permutation_trace
• stark::permutation_trace_width
• stark::populate_permutation_row
• stark::quotient_values
• syscall::precompiles::create_ec_add_event
• syscall::precompiles::create_ec_decompress_event
• syscall::precompiles::create_ec_double_event
• syscall::precompiles::sha256::sha_extend
• syscall::precompiles::weierstrass::num_weierstrass_add_cols
• syscall::precompiles::weierstrass::num_weierstrass_decompress_cols
• syscall::precompiles::weierstrass::num_weierstrass_double_cols
• syscall::update_io_buf
• utils::baby_bear_poseidon2::compressed_fri_config
• utils::baby_bear_poseidon2::default_fri_config
• utils::baby_bear_poseidon2::my_perm
• utils::bytes_to_words_le
• utils::bytes_to_words_le_vec
• utils::chunk_vec
• utils::deserialize_hashmap_as_vec
• utils::ec::edwards::ed25519::decompress
• utils::ec::edwards::ed25519::ed25519_sqrt
• utils::ec::utils::biguint_from_limbs
• utils::ec::utils::biguint_to_bits_le
• utils::ec::utils::biguint_to_limbs
• utils::ec::weierstrass::bls12_381::bls12381_decompress
• utils::ec::weierstrass::bls12_381::bls12381_sqrt
• utils::ec::weierstrass::secp256k1::secp256k1_decompress
• utils::ec::weierstrass::secp256k1::secp256k1_sqrt
• utils::indices_arr
• utils::inner_fri_config
• utils::inner_perm
• utils::limbs_from_access
• utils::limbs_from_prev_access
• utils::log2_strict_usize
• utils::next_power_of_two
• utils::num_to_comma_separated
• utils::pad_rows
• utils::pad_rows_fixed
• utils::pad_to_power_of_two
• utils::par_for_each_row
• utils::prove
• utils::prove_simple
• utils::prove_with_context
• utils::run_test
• utils::run_test_core
• utils::run_test_io
• utils::run_test_machine
• utils::serialize_hashmap_as_vec
• utils::setup_logger
• utils::setup_tracer
• utils::sp1_fri_config
• utils::uni_stark_prove
• utils::uni_stark_verify
• utils::words_to_bytes_le
• utils::words_to_bytes_le_vec

Type Aliases

• runtime::BoxedHook
• stark::Challenge
• stark::Challenger
• stark::Com
• stark::Dom
• stark::Domain
• stark::MachineChip
• stark::OpeningError
• stark::OpeningProof
• stark::PackedChallenge
• stark::PackedVal
• stark::PcsProverData
• stark::QuotientOpenedValues
• stark::Val
• stark::VerifierConstraintFolder
• utils::InnerBatchOpening
• utils::InnerChallenge
• utils::InnerChallengeMmcs
• utils::InnerChallenger
• utils::InnerCommitPhaseStep
• utils::InnerCompress
• utils::InnerDft
• utils::InnerDigest
• utils::InnerDigestHash
• utils::InnerFriProof
• utils::InnerHash
• utils::InnerPcs
• utils::InnerPcsProof
• utils::InnerPerm
• utils::InnerQueryProof
• utils::InnerVal
• utils::InnerValMmcs
• utils::baby_bear_poseidon2::Challenge
• utils::baby_bear_poseidon2::ChallengeMmcs
• utils::baby_bear_poseidon2::Challenger
• utils::baby_bear_poseidon2::Dft
• utils::baby_bear_poseidon2::MyCompress
• utils::baby_bear_poseidon2::MyHash
• utils::baby_bear_poseidon2::Perm
• utils::baby_bear_poseidon2::Val
• utils::baby_bear_poseidon2::ValMmcs
• utils::ec::edwards::ed25519::Ed25519
• utils::ec::weierstrass::bls12_381::Bls12381
• utils::ec::weierstrass::bn254::Bn254
• utils::ec::weierstrass::secp256k1::Secp256k1

Constants

• SP1_CIRCUIT_VERSION
• air::POSEIDON_NUM_WORDS
• air::PV_DIGEST_NUM_WORDS
• air::SP1_PROOF_NUM_PV_ELTS
• air::WORD_SIZE
• alu::add_sub::NUM_ADD_SUB_COLS
• alu::bitwise::NUM_BITWISE_COLS
• alu::divrem::NUM_DIVREM_COLS
• alu::lt::NUM_LT_COLS
• alu::mul::NUM_MUL_COLS
• alu::sll::BYTE_SIZE
• alu::sll::NUM_SHIFT_LEFT_COLS
• alu::sr::NUM_SHIFT_RIGHT_COLS
• bytes::NUM_BYTE_LOOKUP_CHANNELS
• bytes::NUM_BYTE_OPS
• bytes::columns::NUM_BYTE_MULT_COLS
• bytes::columns::NUM_BYTE_PREPROCESSED_COLS
• bytes::trace::NUM_ROWS
• cpu::MAX_CPU_LOG_DEGREE
• cpu::columns::CPU_COL_MAP
• cpu::columns::NUM_AUIPC_COLS
• cpu::columns::NUM_BRANCH_COLS
• cpu::columns::NUM_CPU_COLS
• cpu::columns::NUM_ECALL_COLS
• cpu::columns::NUM_INSTRUCTION_COLS
• cpu::columns::NUM_JUMP_COLS
• cpu::columns::NUM_MEMORY_COLUMNS
• cpu::columns::NUM_OPCODE_SELECTOR_COLS
• cpu::columns::NUM_OPCODE_SPECIFIC_COLS
• cpu::columns::OPCODE_SELECTORS_COL_MAP
• disassembler::MAXIMUM_MEMORY_SIZE
• disassembler::WORD_SIZE
• memory::NUM_MEMORY_PROGRAM_MULT_COLS
• memory::NUM_MEMORY_PROGRAM_PREPROCESSED_COLS
• operations::field::params::NB_BITS_PER_LIMB
• program::NUM_PROGRAM_MULT_COLS
• program::NUM_PROGRAM_PREPROCESSED_COLS
• runtime::DEFERRED_SPLIT_THRESHOLD
• runtime::FD_ECRECOVER_HOOK
• stark::PROOF_MAX_NUM_PVS
• syscall::precompiles::edwards::NUM_ED_ADD_COLS
• syscall::precompiles::edwards::NUM_ED_DECOMPRESS_COLS
• syscall::precompiles::keccak256::columns::NUM_KECCAK_MEM_COLS
• syscall::precompiles::sha256::NUM_SHA_EXTEND_COLS
• syscall::precompiles::sha256::SHA_COMPRESS_K
• utils::DIGEST_SIZE
• utils::ec::COMPRESSED_POINT_BYTES
• utils::ec::NUM_BYTES_FIELD_ELEMENT
• utils::ec::NUM_WORDS_EC_POINT
• utils::ec::NUM_WORDS_FIELD_ELEMENT