Skip to main content

sp1_hypercube/prover/
mod.rs

1//! Prover components.
2
3mod cpu;
4mod memory_permit;
5mod permits;
6mod shard;
7mod simple;
8mod trace;
9mod zerocheck;
10
11pub use cpu::*;
12pub use memory_permit::*;
13pub use permits::*;
14pub use shard::*;
15pub use simple::*;
16use slop_merkle_tree::BnProver;
17use slop_stacked::StackedPcsProver;
18use sp1_primitives::{SP1ExtensionField, SP1Field, SP1GlobalContext, SP1OuterGlobalContext};
19pub use trace::*;
20pub use zerocheck::*;
21
22pub use slop_merkle_tree::Poseidon2KoalaBear16Prover as SP1MerkleTreeProver;
23
24#[allow(clippy::disallowed_types)]
25/// The CPU prover components for a jagged PCS prover in SP1.
26pub type SP1InnerPcsProver = StackedPcsProver<SP1MerkleTreeProver, SP1GlobalContext>;
27
28/// The Jagged CPU prover components for the wrap step of recursion in SP1.
29pub type SP1OuterPcsProver =
30    StackedPcsProver<BnProver<SP1Field, SP1ExtensionField>, SP1OuterGlobalContext>;