Struct winter_fri::DefaultProverChannel

pub struct DefaultProverChannel<E, H, R>where
    E: FieldElement,
    H: ElementHasher<BaseField = E::BaseField>,
    R: RandomCoin<BaseField = E::BaseField, Hasher = H>,{ /* private fields */ }

Provides a default implementation of the ProverChannel trait.

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

Implementations

impl<E, H, R> DefaultProverChannel<E, H, R>where E: FieldElement, H: ElementHasher<BaseField = E::BaseField>, R: RandomCoin<BaseField = E::BaseField, Hasher = H>,

pub fn new(domain_size: usize, num_queries: usize) -> Self

Returns a new prover channel instantiated from the specified parameters.

Panics

Panics if:

• domain_size is smaller than 8 or is not a power of two.
• num_queries is zero.

pub fn draw_query_positions(&mut self, nonce: u64) -> Vec<usize>

Draws a set of positions at which the polynomial evaluations committed at the first FRI layer should be queried.

The positions are pseudo-randomly generated based on the values the prover has written into this channel and a PoW nonce.

Panics

Panics if the specified number of unique positions could not be drawn from the specified domain. Both number of queried positions and domain size are specified during construction of the channel.

pub fn layer_commitments(&self) -> &[H::Digest]

Returns a list of FRI layer commitments written by the prover into this channel.

Trait Implementations

impl<E, H, R> ProverChannel<E> for DefaultProverChannel<E, H, R>where E: FieldElement, H: ElementHasher<BaseField = E::BaseField>, R: RandomCoin<BaseField = E::BaseField, Hasher = H>,

type Hasher = H

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

fn commit_fri_layer(&mut self, layer_root: H::Digest)

Sends a layer commitment to the verifier.

fn draw_fri_alpha(&mut self) -> E

Returns a random α drawn uniformly at random from the entire field.