Skip to main content

simple_prover

sp1_hypercube::prover

Function simple_prover 

Source 
pub fn simple_prover<A>(
    verifier: ShardVerifier<SP1GlobalContext, InnerSC<A>>,
) -> CpuSimpleProver<SP1GlobalContext, SP1Pcs<SP1GlobalContext>, StackedPcsProver<SP1MerkleTreeProver, SP1GlobalContext>, A>
where
    A: ZerocheckAir<SP1Field, BinomialExtensionField<SP1Field, 4>>,
Expand description

Create a SimpleProver from a verifier with a single permit.

This is the recommended way to create a prover for tests and development.