Module mlecheck 

Structs

RoundProof

An MLE-check round proof is a univariate polynomial in monomial basis with the coefficient of the lowest-degree term truncated off.

VerifyZKOutput

Output of the zero-knowledge MLE-check verification.

Functions

libra_eval

Evaluates the MLE of the libra_eval polynomial at a query point.

mask_buffer_dimensions

Returns (m_n, m_d) dimensions for a mask polynomial buffer.

verify

An MLE-check protocol is an interactive protocol similar to sumcheck, but with modifications introduced in Gruen24, Section 3.

verify_zk

Variation of the MLE-check protocol that provides the hiding property.