Struct Fri

pub struct Fri {
    pub expansion_factor: usize,
    pub num_collinearity_checks: usize,
    pub domain: ArithmeticDomain,
}

Fields

expansion_factor: usize

num_collinearity_checks: usize

domain: ArithmeticDomain

Implementations

impl Fri

pub fn new( domain: ArithmeticDomain, expansion_factor: usize, num_collinearity_checks: usize, ) -> Result<Self, FriSetupError>

pub fn prove( &self, codeword: &[XFieldElement], proof_stream: &mut ProofStream, ) -> Result<Vec<usize>, FriProvingError>

Create a FRI proof and return a-indices of revealed elements of round 0.

pub fn verify( &self, proof_stream: &mut ProofStream, ) -> Result<Vec<(usize, XFieldElement)>, FriValidationError>

Verify low-degreeness of the polynomial on the proof stream. Returns the indices and revealed elements of the codeword at the top level of the FRI proof.

pub fn num_rounds(&self) -> usize

pub fn last_round_max_degree(&self) -> usize

pub fn first_round_max_degree(&self) -> usize

Trait Implementations

impl Clone for Fri

fn clone(&self) -> Fri

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Fri

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for Fri