Struct Claim 

pub struct Claim<F: PrimeField, C: Commitment<F>> {
    pub c: C,
    pub x: F,
    pub y: F,
}

A tuple (c, x, y) of the form (G, F, F). Represents a claim that {f(x) = y, for a polynomial f such that commit(f) = c}. In other words, it is am instance in some language of “correct polynomial evaluations”. Soundness properties of a claim are defined by that of the argument.

Fields

c: C

x: F

y: F

Implementations

impl<F: PrimeField, C: Commitment<F>> Claim<F, C>

pub fn new<CS>(ck: &CS::CK, poly: &Poly<F>, at: F) -> Claim<F, C>

where CS: PCS<F, C = C>,

Trait Implementations

impl<F: Clone + PrimeField, C: Clone + Commitment<F>> Clone for Claim<F, C>

fn clone(&self) -> Claim<F, C>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + PrimeField, C: Debug + Commitment<F>> Debug for Claim<F, C>

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

Formats the value using the given formatter.