Type Definition snarkvm_polycommit::Evaluations
source · [−]Expand description
Evaluations
is the result of querying a set of labeled polynomials or equations
p
at a QuerySet
Q
. It maps each element of Q
to the resulting evaluation.
That is, if (label, query)
is an element of Q
, then evaluation.get((label, query))
should equal p[label].evaluate(query)
.