Module kimchi::circuits::berkeley_columns

Structs

• Environment
  The collection of polynomials (all in evaluation form) and constants required to evaluate an expression as a polynomial.
• LookupEnvironment
  The polynomials specific to the lookup argument.

Enums

• Column
  A type representing one of the polynomials involved in the PLONK IOP, use in the Berkeley hardfork.

Functions

• coeff
• constant
  Convenience function to create a constant as Expr.
• index
  Handy function to quickly create an expression for a gate.
• witness
  Helper function to quickly create an expression for a witness.
• witness_curr
  Same as witness but for the current row.
• witness_next
  Same as witness but for the next row.

Type Definitions

• E
  An alias for the intended usage of the expression type in constructing constraints.