Struct DefaultVerifierChannel 

pub struct DefaultVerifierChannel<E: FieldElement, H: ElementHasher<BaseField = E::BaseField>, V: VectorCommitment<H>> { /* 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, V> DefaultVerifierChannel<E, H, V>

where E: FieldElement, H: ElementHasher<BaseField = E::BaseField>, V: VectorCommitment<H>,

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, V> VerifierChannel<E> for DefaultVerifierChannel<E, H, V>

where E: FieldElement, H: ElementHasher<BaseField = E::BaseField>, V: VectorCommitment<H>,

type Hasher = H

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

type VectorCommitment = V

Vector commitment used 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) -> V::MultiProof

Reads and removes from the channel vector commitment opening proofs of 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::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.