Module sp1_core::stark

Re-exports

• pub use crate::air::SP1AirBuilder;
• pub use crate::alu::AddSubChip;
• pub use crate::alu::BitwiseChip;
• pub use crate::alu::DivRemChip;
• pub use crate::alu::LtChip;
• pub use crate::alu::MulChip;
• pub use crate::alu::ShiftLeft;
• pub use crate::alu::ShiftRightChip;
• pub use crate::bytes::ByteChip;
• pub use crate::cpu::CpuChip;
• pub use crate::memory::MemoryChip;
• pub use crate::program::ProgramChip;
• pub use crate::syscall::precompiles::edwards::EdAddAssignChip;
• pub use crate::syscall::precompiles::edwards::EdDecompressChip;
• pub use crate::syscall::precompiles::keccak256::KeccakPermuteChip;
• pub use crate::syscall::precompiles::sha256::ShaCompressChip;
• pub use crate::syscall::precompiles::sha256::ShaExtendChip;
• pub use crate::syscall::precompiles::uint256::Uint256MulChip;
• pub use crate::syscall::precompiles::weierstrass::WeierstrassAddAssignChip;
• pub use crate::syscall::precompiles::weierstrass::WeierstrassDecompressChip;
• pub use crate::syscall::precompiles::weierstrass::WeierstrassDoubleAssignChip;
• pub use crate::utils::ec::edwards::ed25519::Ed25519Parameters;
• pub use crate::utils::ec::edwards::EdwardsCurve;
• pub use crate::utils::ec::weierstrass::bls12_381::Bls12381Parameters;
• pub use crate::utils::ec::weierstrass::bn254::Bn254Parameters;
• pub use crate::utils::ec::weierstrass::secp256k1::Secp256k1Parameters;
• pub use crate::utils::ec::weierstrass::SwCurve;

Structs

• AirOpenedValues
• Chip
  An Air that encodes lookups based on interactions.
• ChipOpenedValues
• DebugConstraintBuilder
  A builder for debugging constraints.
• DefaultProver
• DefaultProverError
• DeferredDigest
  DeferredDigest is a hash of all the deferred proofs that have been witnessed in the VM.
• GenericVerifierConstraintFolder
  A folder for verifier constraints.
• MachineProof
• OodEvaluationMismatch
• ProverConstraintFolder
  A folder for prover constraints.
• PublicValuesDigest
  PublicValuesDigest is a hash of all the public values that a zkvm program has committed to.
• ShardCommitment
• ShardMainData
• ShardOpenedValues
• ShardProof
• StarkMachine
  A STARK for proving RISC-V execution.
• StarkProvingKey
• StarkVerifyingKey
• UniConfig
• Verifier

Enums

• MachineVerificationError
• OpeningShapeError
• RiscvAir
  An AIR for encoding RISC-V execution.
• VerificationError

Constants

• PROOF_MAX_NUM_PVS
  The maximum number of elements that can be stored in the public values vec. Both SP1 and recursive proofs need to pad their public_values vec to this length. This is required since the recursion verification program expects the public values vec to be fixed length.

Traits

• MachineProver
• MachineRecord
• StarkGenericConfig

Functions

• chunk_vec
• debug_constraints
  Checks that the constraints of the given AIR are satisfied, including the permutation trace.
• debug_cumulative_sums
  Checks that all the interactions between the chips has been satisfied.
• eval_permutation_constraints
  Evaluates the permutation constraints for the given chip.
• generate_permutation_trace
  Generates the permutation trace for the given chip and main trace based on a variant of LogUp.
• permutation_trace_width
• populate_permutation_row
• quotient_values

Type Aliases

• Challenge
• Challenger
• Com
• Dom
• Domain
• MachineChip
• OpeningError
• OpeningProof
• PackedChallenge
• PackedVal
• PcsProverData
• QuotientOpenedValues
• Val
• VerifierConstraintFolder