Module product 

Standardized expression representation for oracle query (GKR verifier) + determining necessary proof-of-products (Hyrax prover + verifier)

Structs

PostSumcheckLayer

Represents a normal form for a layer expression in which the layer is represented as a linear combination of products of other layer MLEs, the coefficients of which are public.

Product

Represents a fully bound product of MLEs, or a single MLE (which we consider a simple product). Data structure for extracting the values to be commited to, their “mxi” values (i.e. their public coefficients), and also the claims made on other layers.

Enums

Intermediate

Represents either an atomic factor of a product (i.e. an evaluation of an MLE), or the result of an intermediate product of atoms.

Functions

new_with_values

Set the values of the PostSumcheckLayer to the given values, panicking if the lengths do not match, returning a new instance. Counterpart to PostSumcheckLayer::get_values.

new_with_values_single 🔒

Helper for new_with_values. Set the values of the Product to the given values, panicking if the lengths do not match.