Type Alias ShardContextProof 

pub type ShardContextProof<GC, SC> = ShardProof<GC, <<SC as ShardContext<GC>>::Config as MultilinearPcsVerifier<GC>>::Proof>;

The ShardProof type generic in GC and SC.

Aliased Type

pub struct ShardContextProof<GC, SC> {
    pub public_values: Vec<<GC as IopCtx>::F>,
    pub main_commitment: <GC as IopCtx>::Digest,
    pub logup_gkr_proof: LogupGkrProof<<<GC as IopCtx>::Challenger as GrindingChallenger>::Witness, <GC as IopCtx>::EF>,
    pub zerocheck_proof: PartialSumcheckProof<<GC as IopCtx>::EF>,
    pub opened_values: ShardOpenedValues<<GC as IopCtx>::F, <GC as IopCtx>::EF>,
    pub evaluation_proof: JaggedPcsProof<GC, <<SC as ShardContext<GC>>::Config as MultilinearPcsVerifier<GC>>::Proof>,
}

Fields

public_values: Vec<<GC as IopCtx>::F>

The public values

main_commitment: <GC as IopCtx>::Digest

The commitments to main traces.

logup_gkr_proof: LogupGkrProof<<<GC as IopCtx>::Challenger as GrindingChallenger>::Witness, <GC as IopCtx>::EF>

The Logup GKR IOP proof.

zerocheck_proof: PartialSumcheckProof<<GC as IopCtx>::EF>

TH zerocheck IOP proof.

opened_values: ShardOpenedValues<<GC as IopCtx>::F, <GC as IopCtx>::EF>

The values of the traces at the final random point.

evaluation_proof: JaggedPcsProof<GC, <<SC as ShardContext<GC>>::Config as MultilinearPcsVerifier<GC>>::Proof>

The evaluation proof.