Skip to main content

SP1PcsProof

sp1_hypercube

Type Alias SP1PcsProof 

Source 
pub type SP1PcsProof<GC> = StackedBasefoldProof<GC>;
Expand description

The PCS proof type used in SP1 shard proofs.

Aliased Type§

pub struct SP1PcsProof<GC> {
    pub basefold_proof: BasefoldProof<GC>,
    pub batch_evaluations: Rounds<MleEval<<GC as IopCtx>::EF>>,
}

Fields§

§basefold_proof: BasefoldProof<GC>§batch_evaluations: Rounds<MleEval<<GC as IopCtx>::EF>>