Module kimchi::circuits::constraints

This module implements Plonk circuit constraint primitive.

Structs

• Builder
• ColumnEvaluations
  The polynomials representing columns, in evaluation form. The evaluations are expanded to the domain size required for their constraints.
• ConstraintSystem
• EvaluatedColumnCoefficients
  The polynomials representing evaluated columns, in coefficient form.
• FeatureFlags
  Flags for optional features in the constraint system

Enums

• GateError
  Represents an error found when verifying a witness with a gate

Functions

• selector_polynomial
  Create selector polynomial for a circuit gate
• zk_rows_strict_lower_bound