Struct ShardVerifier 

pub struct ShardVerifier<GC: IopCtx, SC: ShardContext<GC>> {
    pub jagged_pcs_verifier: JaggedPcsVerifier<GC, SC::Config>,
    pub machine: Machine<GC::F, SC::Air>,
}

A verifier for shard proofs.

Fields

jagged_pcs_verifier: JaggedPcsVerifier<GC, SC::Config>

The jagged pcs verifier.

machine: Machine<GC::F, SC::Air>

The machine.

Implementations

impl<GC: IopCtx, SC: ShardContext<GC>> ShardVerifier<GC, SC>

pub fn new( pcs_verifier: JaggedPcsVerifier<GC, SC::Config>, machine: Machine<GC::F, SC::Air>, ) -> Self

Get a shard verifier from a jagged pcs verifier.

pub fn max_log_row_count(&self) -> usize

Get the maximum log row count.

pub fn machine(&self) -> &Machine<GC::F, SC::Air>

Get the machine.

pub fn log_stacking_height(&self) -> u32

Get the log stacking height.

pub fn challenger(&self) -> GC::Challenger

Get a new challenger.

pub fn shape_from_proof( &self, proof: &ShardProof<GC, PcsProof<GC, SC>>, ) -> CoreProofShape<GC::F, SC::Air>

Get the shape of a shard proof.

pub fn compute_padded_row_adjustment( chip: &Chip<GC::F, SC::Air>, alpha: GC::EF, public_values: &[GC::F], ) -> GC::EF

Compute the padded row adjustment for a chip.

pub fn eval_constraints( chip: &Chip<GC::F, SC::Air>, opening: &ChipOpenedValues<GC::F, GC::EF>, alpha: GC::EF, public_values: &[GC::F], ) -> GC::EF

Evaluates the constraints for a chip and opening.

impl<GC: IopCtx, SC: ShardContext<GC>> ShardVerifier<GC, SC>

where GC::F: PrimeField32,

pub fn verify_zerocheck( &self, shard_chips: &BTreeSet<Chip<GC::F, SC::Air>>, opened_values: &ShardOpenedValues<GC::F, GC::EF>, gkr_evaluations: &LogUpEvaluations<GC::EF>, proof: &ShardProof<GC, PcsProof<GC, SC>>, public_values: &[GC::F], challenger: &mut GC::Challenger, ) -> Result<(), ShardVerifierError<GC::EF, <SC::Config as MultilinearPcsVerifier<GC>>::VerifierError>>

Verify the zerocheck proof.

pub fn verify_shard( &self, vk: &MachineVerifyingKey<GC>, proof: &ShardProof<GC, PcsProof<GC, SC>>, challenger: &mut GC::Challenger, ) -> Result<(), ShardVerifierConfigError<GC, SC::Config>>

Verify a shard proof.

impl<GC: IopCtx<F: TwoAdicField, EF: TwoAdicField>, A> ShardVerifier<GC, SP1SC<GC, A>>

where A: ZerocheckAir<GC::F, GC::EF>, GC::F: PrimeField32,

pub fn from_basefold_parameters( fri_config: FriConfig<GC::F>, log_stacking_height: u32, max_log_row_count: usize, machine: Machine<GC::F, A>, ) -> Self

Create a shard verifier from basefold parameters.

impl<GC: IopCtx<F: TwoAdicField, EF: TwoAdicField>, A> ShardVerifier<GC, ShardContextImpl<GC, Verifier<GC>, A>>

where A: ZerocheckAir<GC::F, GC::EF>, GC::F: PrimeField32,

pub fn from_config( config: &WhirProofShape<GC::F>, max_log_row_count: usize, machine: Machine<GC::F, A>, num_expected_commitments: usize, ) -> Self

Create a shard verifier from basefold parameters.

Trait Implementations

impl<GC: IopCtx, SC: ShardContext<GC>> Clone for ShardVerifier<GC, SC>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.