Struct GrandProductWitness

pub struct GrandProductWitness<'a, PW: PackedField> { /* private fields */ }

Implementations

impl<'a, PW: PackedField> GrandProductWitness<'a, PW>

pub fn new(poly: MultilinearWitness<'a, PW>) -> Result<Self, Error>

pub fn n_vars(&self) -> usize

Returns the base-two log of the number of inputs to the GKR grand product circuit

pub fn grand_product_evaluation(&self) -> PW::Scalar

Returns the evaluation of the GKR grand product circuit

pub fn ith_layer_evals(&self, i: usize) -> Result<&'_ [PW], Error>

pub fn ith_layer_eval_halves( &self, i: usize, ) -> Result<(&'_ [PW], &'_ [PW]), Error>

Returns the evaluations of the ith layer of the GKR grand product circuit, split into two halves REQUIRES: 0 <= i < n_vars

Trait Implementations

impl<'a, PW: Clone + PackedField> Clone for GrandProductWitness<'a, PW>

fn clone(&self) -> GrandProductWitness<'a, PW>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, PW: Debug + PackedField> Debug for GrandProductWitness<'a, PW>

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

Formats the value using the given formatter.