Expand description
Defines crate::mle::verifier_mle::VerifierMle, i.e. the verifier’s view of a “fully-bound” MLE with a prover-claimed value.
Structs§
- Verifier
Mle - A version of crate::mle::dense::DenseMle used by the Verifier.
A VerifierMle stores a fully bound MLE along with its evaluation.
It is used to represent the leaves of an
Expression<F, VerifierExpr>.