Struct winter_fri::DefaultVerifierChannel

pub struct DefaultVerifierChannel<E: FieldElement, H: ElementHasher<BaseField = E::BaseField>> { /* private fields */ }

Provides a default implementation of the VerifierChannel trait.

Default verifier channel can be instantiated directly from a FriProof struct.

Though this implementation is primarily intended for testing purposes, it can be used in production use cases as well.

Implementations

impl<E, H> DefaultVerifierChannel<E, H>where E: FieldElement, H: ElementHasher<BaseField = E::BaseField>,

pub fn new( proof: FriProof, layer_commitments: Vec<H::Digest>, domain_size: usize, folding_factor: usize ) -> Result<Self, DeserializationError>

Builds a new verifier channel from the specified FriProof.

Errors

Returns an error if the specified proof could not be parsed correctly.

Trait Implementations

impl<E, H> VerifierChannel<E> for DefaultVerifierChannel<E, H>where E: FieldElement, H: ElementHasher<BaseField = E::BaseField>,

type Hasher = H

Hash function used by the prover to commit to polynomial evaluations.

fn read_fri_num_partitions(&self) -> usize

Returns the number of partitions used during proof generation.

fn read_fri_layer_commitments(&mut self) -> Vec<H::Digest>

Reads and removes from the channel all FRI layer commitments sent by the prover.

fn take_next_fri_layer_proof(&mut self) -> BatchMerkleProof<H>

Reads and removes from the channel Merkle authentication paths for queried evaluations for the next FRI layer.

fn take_next_fri_layer_queries(&mut self) -> Vec<E>

Reads and removes from the channel evaluations of the polynomial at the queried positions for the next FRI layer.

fn take_fri_remainder(&mut self) -> Vec<E>

Reads and removes the remainder polynomial from the channel.

fn read_layer_queries<const N: usize>( &mut self, positions: &[usize], commitment: &<<Self as VerifierChannel<E>>::Hasher as Hasher>::Digest ) -> Result<Vec<[E; N]>, VerifierError>

Returns FRI query values at the specified positions from the current FRI layer and advances layer pointer by one.

fn read_remainder(&mut self) -> Result<Vec<E>, VerifierError>

Returns FRI remainder polynomial read from this channel.