List of all items

Structs

• 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
• cpu::CpuChip
• cpu::columns::AuipcCols
• cpu::columns::BranchCols
• cpu::columns::CpuCols
• cpu::columns::EcallCols
• cpu::columns::InstructionCols
• cpu::columns::JumpCols
• cpu::columns::MemoryColumns
• cpu::columns::OpcodeSelectorCols
• io::SP1Stdin
• memory::MemoryAccessCols
• memory::MemoryGlobalChip
• memory::MemoryInitCols
• memory::MemoryLocalChip
• memory::MemoryLocalCols
• 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::range::FieldLtCols
• program::ProgramChip
• program::ProgramMultiplicityCols
• program::ProgramPreprocessedCols
• reduce::SP1ReduceProof
• riscv::Bls12381Parameters
• riscv::Bn254Parameters
• riscv::CoreShapeConfig
• riscv::Ed25519Parameters
• riscv::EdwardsCurve
• riscv::RiscvAirDiscriminantsIter
• riscv::Secp256k1Parameters
• riscv::SwCurve
• syscall::chip::SyscallChip
• syscall::chip::SyscallCols
• 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::sha256::ShaCompressChip
• syscall::precompiles::sha256::ShaExtendChip
• syscall::precompiles::sha256::ShaExtendCols
• syscall::precompiles::uint256::Uint256MulChip
• syscall::precompiles::uint256::Uint256MulCols
• 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::Span
• utils::SpanBuilder
• utils::concurrency::TurnBasedSync

Enums

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

Unions

• cpu::columns::OpcodeSpecificCols

Traits

• air::MemoryAirBuilder
• air::ProgramAirBuilder
• air::SP1CoreAirBuilder
• air::WordAirBuilder
• memory::MemoryCols
• riscv::cost::CostEstimator

Functions

• bytes::utils::shr_carry
• io::proof_serde::deserialize
• io::proof_serde::serialize
• memory::value_as_limbs
• operations::field::util::compute_root_quotient_and_shift
• operations::field::util::split_u16_limbs_to_u8_limbs
• operations::field::util_air::eval_field_operation
• syscall::precompiles::fptower::num_fp2_addsub_cols
• syscall::precompiles::fptower::num_fp2_mul_cols
• syscall::precompiles::fptower::num_fp_cols
• 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
• utils::bytes_to_words_le
• utils::bytes_to_words_le_vec
• utils::chunk_vec
• utils::indices_arr
• 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_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::run_test_machine_with_prover
• utils::setup_logger
• utils::setup_tracer
• utils::sp1_debug_mode
• utils::uni_stark_prove
• utils::uni_stark_verify
• utils::words_to_bytes_le
• utils::words_to_bytes_le_vec
• utils::zeroed_f_vec

Constants

• SP1_CIRCUIT_VERSION
• 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_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
• memory::NUM_LOCAL_MEMORY_ENTRIES_PER_ROW
• memory::NUM_MEMORY_PROGRAM_MULT_COLS
• memory::NUM_MEMORY_PROGRAM_PREPROCESSED_COLS
• program::NUM_PROGRAM_MULT_COLS
• program::NUM_PROGRAM_PREPROCESSED_COLS
• riscv::MAX_LOG_NUMBER_OF_SHARDS
• riscv::MAX_NUMBER_OF_SHARDS
• syscall::chip::NUM_SYSCALL_COLS
• syscall::precompiles::edwards::NUM_ED_ADD_COLS
• syscall::precompiles::edwards::NUM_ED_DECOMPRESS_COLS
• syscall::precompiles::keccak256::STATE_NUM_WORDS
• syscall::precompiles::keccak256::columns::NUM_KECCAK_MEM_COLS
• syscall::precompiles::sha256::NUM_SHA_EXTEND_COLS
• syscall::precompiles::sha256::SHA_COMPRESS_K