Type Alias CpuShardProver 

pub type CpuShardProver<GC, Verifier, PcsComponents, A> = ShardProver<GC, ShardContextImpl<GC, Verifier, A>, PcsComponents>;

A CPU shard prover.

Aliased Type

pub struct CpuShardProver<GC, Verifier, PcsComponents, A> { /* private fields */ }

Implementations

impl<GC, Verifier, A, PcsComponents> CpuShardProver<GC, Verifier, PcsComponents, A>

where GC: IopCtx, Verifier: MultilinearPcsVerifier<GC>, PcsComponents: DefaultJaggedProver<GC, Verifier>, A: ZerocheckAir<GC::F, GC::EF>,

pub fn new( verifier: ShardVerifier<GC, ShardContextImpl<GC, Verifier, A>>, ) -> Self

Create a new CPU prover.