Crate sp1_prover 

An end-to-end-prover implementation for the SP1 RISC-V zkVM.

Separates the proof generation process into multiple stages:

1. Generate shard proofs which split up and prove the valid execution of a RISC-V program.
2. Compress shard proofs into a single shard proof.
3. Wrap the shard proof into a SNARK-friendly field.
4. Wrap the last shard proof, proven over the SNARK-friendly field, into a PLONK proof.

Re-exports

pub use types::*;

Modules

build

components

gas

shapes

types

utils

verify

Structs

Groth16Bn254Proof

PlonkBn254Proof

SP1Prover

A end-to-end for the SP1 RISC-V zkVM.

SP1PublicValues

Public values for the prover.

Constants

REDUCE_BATCH_SIZE

SP1_CIRCUIT_VERSION

The global version for all components of SP1.

Functions

compress_program_from_input

Type Aliases

CompressAir

CoreSC

The configuration for the core prover.

DeviceProvingKey

InnerSC

The configuration for the inner prover.

OuterSC

The configuration for the outer prover.

ShrinkAir

WrapAir