Module claim_aggregation 

A set of functions providing the interface for perfoming claim aggregation.

Functions

get_num_wlx_evaluations

Returns an upper bound on the number of evaluations needed to represent the polynomial P(x) = W(l(x)) where W : F^n -> F is a multilinear polynomial on n variables and l : F -> F^n is such that:

get_wlx_evaluations

Returns a vector of evaluations of this layer’s MLE on a sequence of points computed by interpolating a polynomial that passes through the points of claims_vecs.

prover_aggregate_claims

Performs claim aggregation on the prover side and, if successful, returns a single, raw aggregated claim.

verifier_aggregate_claims

Performs claim aggregation on the verifier side.