List of all items

Structs

• AirOpenedValues
• Chip
• ChipDimensions
• ChipEvaluation
• ChipOpenedValues
• ChipStatistics
• ConstraintSumcheckFolder
• DebugConstraintBuilder
• GenericDebugPublicValuesConstraintFolder
• GenericVerifierConstraintFolder
• GenericVerifierPublicValuesConstraintFolder
• GkrProverImpl
• Interaction
• InteractionBuilder
• InteractionData
• InteractionLayer
• LogUpEvaluations
• LogUpGkrCpuLayer
• LogUpGkrOutput
• LogUpGkrVerifier
• LogupGkrCpuCircuit
• LogupGkrCpuTraceGenerator
• LogupGkrProof
• LogupGkrRoundProof
• LogupRoundPolynomial
• Machine
• MachineProof
• MachineShape
• MachineVerifier
• MachineVerifyingKey
• MerkleProof
• Poseidon2KoalaBearConfig
• SP1RecursionProof
• SP1VerifyingKey
• SP1WrapProof
• ShardContextImpl
• ShardOpenedValues
• ShardProof
• ShardVerifier
• TestingData
• VcsError
• Word
• air::AirInteraction
• air::BinomialExtension
• air::InteractionScopeIter
• air::PublicValues
• air::ShardBoundary
• air::ShardRange
• air::SubAirBuilder
• air::SubMatrixRowSlices
• ir::Ast
• ir::Attribute
• ir::ConstraintCompiler
• ir::Func
• ir::FuncCtx
• ir::FuncDecl
• operations::poseidon2::Poseidon2Operation
• operations::poseidon2::permutation::Poseidon2Degree3Cols
• operations::poseidon2::permutation::Poseidon2StateCols
• prover::CoreProofShape
• prover::DefaultTraceGenerator
• prover::MainTraceData
• prover::MemoryPermit
• prover::MemoryPermitting
• prover::PreprocessedData
• prover::PreprocessedTraceData
• prover::ProverAcquireError
• prover::ProverPermit
• prover::ProverSemaphore
• prover::ProvingKey
• prover::ShardData
• prover::ShardProver
• prover::ShardProverData
• prover::ShardProverInner
• prover::SimpleProver
• prover::TraceData
• prover::Traces
• prover::ZeroCheckPoly
• prover::ZerocheckCpuProver
• prover::ZerocheckCpuProverData
• septic_curve::SepticCurve
• septic_digest::SepticDigest
• septic_extension::SepticBlock
• septic_extension::SepticExtension
• shape::OrderedShape
• shape::Shape
• shape::ShapeCluster

Enums

• GkrCircuitLayer
• InteractionKind
• LogupGkrVerificationError
• MachineVerifierError
• OpeningShapeError
• PolynomialLayer
• ShardVerifierError
• air::InteractionScope
• ir::BinOp
• ir::ExprExtRef
• ir::ExprRef
• ir::IrVar
• ir::OpExpr
• ir::PicusArg
• ir::Shape
• prover::MemoryPermitError
• septic_curve::SepticCurveComplete

Traits

• HashableKey
• MachineRecord
• ShardContext
• air::BaseAirBuilder
• air::ByteAirBuilder
• air::EmptyMessageBuilder
• air::ExtensionAirBuilder
• air::InstructionAirBuilder
• air::MachineAir
• air::MachineAirBuilder
• air::MachineProgram
• air::MessageBuilder
• air::SP1AirBuilder
• air::SepticExtensionAirBuilder
• ir::SP1OperationOutput
• operations::poseidon2::permutation::Poseidon2Cols
• prover::AirProver
• prover::TraceGenerator
• prover::ZerocheckAir

Macros

• air::chip_name
• chip_name

Derive Macros

• air::MachineAir

Functions

• air::timestamp_from_limbs
• debug_constraints
• debug_constraints_all_chips
• debug_interactions
• debug_interactions_with_all_chips
• indices_arr
• inner_perm
• koalabears_to_bn254
• log2_ceil_usize
• next_multiple_of_32
• 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_mut
• operations::poseidon2::trace::populate_external_round
• operations::poseidon2::trace::populate_internal_rounds
• operations::poseidon2::trace::populate_perm
• operations::poseidon2::trace::populate_perm_deg3
• pad_rows_fixed
• prover::increment_y_values
• prover::interpolate_last_var_padded_values
• prover::shape_from_record
• prover::simple_prover
• prover::zerocheck_fix_last_variable
• prover::zerocheck_sum_as_poly_in_last_variable
• vec_to_string
• verify_merkle_proof
• words_to_bytes_be

Type Aliases

• DebugPublicValuesConstraintFolder
• InnerSC
• MachineVerifierConfigError
• OuterSC
• SP1BasefoldConfig
• SP1InnerPcs
• SP1MerkleTreeConfig
• SP1OuterPcs
• SP1Pcs
• SP1PcsProof
• SP1PcsProofInner
• SP1PcsProofOuter
• SP1SC
• ShardContextProof
• ShardVerifierConfigError
• VerifierConstraintFolder
• VerifierPublicValuesConstraintFolder
• air::SP1CorePublicValues
• prover::CpuShardProver
• prover::CpuSimpleProver
• prover::PcsProof
• prover::Program
• prover::Record
• prover::SP1InnerPcsProver
• prover::SP1MerkleTreeProver
• prover::SP1OuterPcsProver

Statics

• ir::GLOBAL_AST

Constants

• DIGEST_SIZE
• GKR_GRINDING_BITS
• MAX_CONSTRAINT_DEGREE
• NUM_SP1_COMMITMENTS
• PROOF_MAX_NUM_PVS
• air::POSEIDON_NUM_WORDS
• air::PROOF_NONCE_NUM_WORDS
• air::PV_DIGEST_NUM_WORDS
• air::SP1_PROOF_NUM_PV_ELTS
• 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::NUM_INTERNAL_ROUNDS_M1
• operations::poseidon2::permutation::NUM_POSEIDON2_DEGREE3_COLS
• operations::poseidon2::permutation::POSEIDON2_DEGREE3_COL_MAP
• septic_curve::CURVE_WITNESS_DUMMY_POINT_X
• septic_curve::CURVE_WITNESS_DUMMY_POINT_Y
• septic_digest::CURVE_CUMULATIVE_SUM_START_X
• septic_digest::CURVE_CUMULATIVE_SUM_START_Y
• septic_digest::DIGEST_SUM_START_X
• septic_digest::DIGEST_SUM_START_Y