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
- control_flow::AuipcChip
- control_flow::AuipcColumns
- control_flow::BranchChip
- control_flow::BranchColumns
- control_flow::JumpChip
- control_flow::JumpColumns
- cpu::CpuChip
- cpu::columns::CpuCols
- cpu::columns::InstructionCols
- global::Ghost
- global::GlobalChip
- global::GlobalCols
- io::SP1Stdin
- memory::MemoryAccessCols
- memory::MemoryGlobalChip
- memory::MemoryInitCols
- memory::MemoryInstructionsChip
- memory::MemoryLocalChip
- memory::MemoryLocalCols
- memory::MemoryProgramChip
- memory::MemoryProgramMultCols
- memory::MemoryProgramPreprocessedCols
- memory::MemoryReadCols
- memory::MemoryReadWriteCols
- memory::MemoryWriteCols
- memory::SingleMemoryLocal
- memory::columns::MemoryInstructionsColumns
- operations::Add4Operation
- operations::Add5Operation
- operations::AddOperation
- operations::AndOperation
- operations::AssertLtColsBits
- operations::AssertLtColsBytes
- operations::BabyBearBitDecomposition
- operations::BabyBearWordRangeChecker
- operations::FixedRotateRightOperation
- operations::FixedShiftRightOperation
- operations::GlobalAccumulationOperation
- operations::GlobalInteractionOperation
- 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
- operations::poseidon2::Poseidon2Operation
- operations::poseidon2::permutation::Poseidon2Degree3Cols
- operations::poseidon2::permutation::Poseidon2Degree9Cols
- operations::poseidon2::permutation::Poseidon2SBoxCols
- operations::poseidon2::permutation::Poseidon2StateCols
- program::ProgramChip
- program::ProgramMultiplicityCols
- program::ProgramPreprocessedCols
- reduce::SP1ReduceProof
- riscv::Bls12381Parameters
- riscv::Bn254Parameters
- riscv::Ed25519Parameters
- riscv::EdwardsCurve
- riscv::RiscvAirDiscriminantsIter
- riscv::Secp256k1Parameters
- riscv::Secp256r1Parameters
- riscv::SwCurve
- shape::CoreShapeConfig
- 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::sha256::ShaCompressChip
- syscall::precompiles::sha256::ShaExtendChip
- syscall::precompiles::sha256::ShaExtendCols
- syscall::precompiles::u256x2048_mul::U256x2048MulChip
- syscall::precompiles::u256x2048_mul::U256x2048MulCols
- 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::RiscvAir
- riscv::RiscvAirDiscriminants
- shape::CoreShapeError
- shape::ShardKind
- sys::OptionMemoryRecordEnum
- syscall::chip::SyscallShardKind
- syscall::precompiles::weierstrass::SignChoiceRule
- utils::SP1CoreProverError
- utils::SpanBuilderError
- utils::SpanBuilderExitError
- utils::SpanBuilderFinishError
Traits
- air::MemoryAirBuilder
- air::ProgramAirBuilder
- air::SP1CoreAirBuilder
- air::WordAirBuilder
- memory::MemoryCols
- operations::poseidon2::permutation::Poseidon2Cols
- shape::Shapeable
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
- operations::poseidon2::air::apply_m_4_mut
- operations::poseidon2::air::eval_external_round
- operations::poseidon2::air::eval_internal_rounds
- operations::poseidon2::air::external_linear_layer
- operations::poseidon2::air::external_linear_layer_mut
- operations::poseidon2::air::internal_linear_layer_mut
- operations::poseidon2::permutation::permutation
- operations::poseidon2::permutation::permutation_mut
- operations::poseidon2::trace::populate_external_round
- operations::poseidon2::trace::populate_internal_rounds
- operations::poseidon2::trace::populate_perm
- operations::poseidon2::trace::populate_perm_deg3
- shape::create_dummy_program
- shape::create_dummy_record
- sys::add_sub_event_to_row_babybear
- sys::bitwise_event_to_row_babybear
- sys::lt_event_to_row_babybear
- sys::memory_global_event_to_row_babybear
- sys::memory_local_event_to_row_babybear
- sys::mul_event_to_row_babybear
- sys::sll_event_to_row_babybear
- sys::sr_event_to_row_babybear
- sys::syscall_event_to_row_babybear
- 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_core
- utils::prove_core_stream
- utils::run_malicious_test
- utils::run_test
- utils::run_test_core
- utils::run_test_machine
- utils::run_test_machine_with_prover
- utils::setup_logger
- utils::sp1_debug_mode
- utils::trace_checkpoint
- utils::uni_stark::uni_stark_prove
- utils::uni_stark::uni_stark_verify
- utils::words_to_bytes_le
- utils::words_to_bytes_le_vec
- utils::zeroed_f_vec
Constants
- 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
- control_flow::NUM_AUIPC_COLS
- control_flow::NUM_BRANCH_COLS
- control_flow::NUM_JUMP_COLS
- cpu::MAX_CPU_LOG_DEGREE
- cpu::columns::CPU_COL_MAP
- cpu::columns::NUM_CPU_COLS
- cpu::columns::NUM_INSTRUCTION_COLS
- global::GLOBAL_INITIAL_DIGEST_POS
- global::GLOBAL_INITIAL_DIGEST_POS_COPY
- memory::NUM_LOCAL_MEMORY_ENTRIES_PER_ROW
- memory::NUM_MEMORY_PROGRAM_MULT_COLS
- memory::NUM_MEMORY_PROGRAM_PREPROCESSED_COLS
- memory::columns::NUM_MEMORY_INSTRUCTIONS_COLUMNS
- operations::poseidon2::NUM_EXTERNAL_ROUNDS
- operations::poseidon2::NUM_INTERNAL_ROUNDS
- operations::poseidon2::NUM_POSEIDON2_OPERATION_COLUMNS
- operations::poseidon2::NUM_ROUNDS
- operations::poseidon2::RATE
- operations::poseidon2::WIDTH
- operations::poseidon2::permutation::GHOST
- operations::poseidon2::permutation::NUM_POSEIDON2_DEGREE3_COLS
- operations::poseidon2::permutation::NUM_POSEIDON2_DEGREE9_COLS
- operations::poseidon2::permutation::POSEIDON2_DEGREE3_COL_MAP
- operations::poseidon2::permutation::POSEIDON2_DEGREE9_COL_MAP
- 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::instructions::columns::NUM_SYSCALL_INSTR_COLS
- syscall::precompiles::edwards::NUM_ED_ADD_COLS
- syscall::precompiles::edwards::NUM_ED_DECOMPRESS_COLS
- syscall::precompiles::keccak256::STATE_NUM_WORDS
- syscall::precompiles::keccak256::STATE_SIZE
- syscall::precompiles::keccak256::columns::NUM_KECCAK_MEM_COLS
- syscall::precompiles::sha256::NUM_SHA_EXTEND_COLS
- syscall::precompiles::sha256::SHA_COMPRESS_K