Trait ShardContext 

pub trait ShardContext<GC: IopCtx>:
    'static
    + Send
    + Sync {
    type Config: MultilinearPcsVerifier<GC>;
    type Air: ZerocheckAir<GC::F, GC::EF>;
}

A shortcut trait to package a multilinear PCS verifier and a zerocheck AIR. Reduces number of generic parameters in the MachineVerifier type and AirProver trait.

Required Associated Types

type Config: MultilinearPcsVerifier<GC>

The multilinear PCS verifier.

type Air: ZerocheckAir<GC::F, GC::EF>

The AIR for which we’ll be proving zerocheck.

Implementors

impl<GC: IopCtx, Verifier, A> ShardContext<GC> for ShardContextImpl<GC, Verifier, A>

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

type Config = Verifier

type Air = A