Module kimchi::circuits

Modules

• argument
  An argument is simply a number of constraints, which we want to enforce on all points of the domain. Both the permutation and the plookup arguments fit this type. Gates can be seen as filtered arguments, which apply only in some points (rows) of the domain. For more info, read book/src/kimchi/arguments.md
• berkeley_columns
  This module defines the particular form of the expressions used in the Mina Berkeley hardfork. You can find more information in this blog article. This module is also a good starting point if you want to implement your own variant of Kimchi using the expression framework.
• constraints
  This module implements Plonk circuit constraint primitive.
• domain_constant_evaluation
  This contains the DomainConstantEvaluations which is used to provide precomputations to a ConstraintSystem.
• domains
  This module describes the evaluation domains that can be used by the polynomials.
• expr
• gate
  This module implements Plonk constraint gate primitive.
• lookup
  This module implement the lookup argument. See https://eprint.iacr.org/2020/315.pdf
• macros
• polynomial
  This module implements Plonk prover polynomials primitive.
• polynomials
• scalars
  This module implements Plonk prover polynomial evaluations primitive.
• wires
  This module implements Plonk circuit gate wires primitive.
• witness