Module starky::constraint_consumer
source · Expand description
Implementation of the constraint consumer.
The ConstraintConsumer, and its circuit counterpart, allow a
prover to evaluate all polynomials of a Stark.
Structs§
- A
ConstraintConsumerevaluates all constraint, permutation and cross-table lookup polynomials of aStark. - Circuit version of
ConstraintConsumer.