Struct RoundPoly 

pub struct RoundPoly<F: Field> { /* private fields */ }

A degree-1 univariate polynomial sent by the prover each round.

Represented by its evaluations at 0 and 1: s(t) = eval_zero * (1 - t) + eval_one * t.

Implementations

impl<F: Field> RoundPoly<F>

pub fn new(eval_zero: F, eval_one: F) -> Self

Create a round polynomial from its evaluations at 0 and 1.

pub fn eval_zero(&self) -> &F

s(0): evaluation at zero.

pub fn eval_one(&self) -> &F

s(1): evaluation at one.

pub fn evaluate(&self, t: &F) -> F

Evaluate at an arbitrary point via linear interpolation: s(t) = eval_zero * (1 - t) + eval_one * t.

Trait Implementations

impl<F: Clone + Field> Clone for RoundPoly<F>

fn clone(&self) -> RoundPoly<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for RoundPoly<F>

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

Formats the value using the given formatter.