Struct GrandProductWitness

pub struct GrandProductWitness<P: PackedField> { /* private fields */ }

Implementations

impl<P: PackedField> GrandProductWitness<P>

Grand product witness.

Constructs GKR multiplication circuit layers from an owned packed field witness, which may be shorter than 2^n_vars scalars, in which case the absent values are assumed to be P::Scalar::ONE. There is a total on n_vars + 1 layers, ordered by decreasing size, with last layer containing a single grand product scalar.

pub fn new(n_vars: usize, input_layer: Vec<P>) -> Result<Self, Error>

pub fn n_vars(&self) -> usize

Base-two logarithm of the number of inputs to the GKR grand product circuit

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

Final evaluation of the GKR grand product circuit

pub fn into_circuit_layers(self) -> Vec<Vec<P>>

Consume the witness, returning the vector of layer multilinears in non-ascending length order.

Trait Implementations

impl<P: Clone + PackedField> Clone for GrandProductWitness<P>

fn clone(&self) -> GrandProductWitness<P>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P: Debug + PackedField> Debug for GrandProductWitness<P>

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

Formats the value using the given formatter.