sp1-hypercube 6.2.1

The SP1 Hypercube proof system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

//! Prover components.

mod cpu;
mod memory_permit;
mod permits;
mod shard;
mod simple;
mod trace;
mod zerocheck;

pub use cpu::*;
pub use memory_permit::*;
pub use permits::*;
pub use shard::*;
pub use simple::*;
use slop_merkle_tree::BnProver;
use slop_stacked::StackedPcsProver;
use sp1_primitives::{SP1ExtensionField, SP1Field, SP1GlobalContext, SP1OuterGlobalContext};
pub use trace::*;
pub use zerocheck::*;

pub use slop_merkle_tree::Poseidon2KoalaBear16Prover as SP1MerkleTreeProver;

#[allow(clippy::disallowed_types)]
/// The CPU prover components for a jagged PCS prover in SP1.
pub type SP1InnerPcsProver = StackedPcsProver<SP1MerkleTreeProver, SP1GlobalContext>;

/// The Jagged CPU prover components for the wrap step of recursion in SP1.
pub type SP1OuterPcsProver =
    StackedPcsProver<BnProver<SP1Field, SP1ExtensionField>, SP1OuterGlobalContext>;