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