Module native_types

Low-level native types used within the crate::circuit module for representing ACIR.

Modules

• expression 🔒
• witness 🔒
• witness_map 🔒
• witness_stack 🔒

Structs

• Expression
  An expression representing a quadratic polynomial.
• Witness
  An index that represents the position a witness value will take
• WitnessMap
  A map from the witnesses in a constraint system to the field element values
• WitnessStack
  An ordered set of witness maps for separate circuits
• WitnessStackError
  Native error for serializing/deserializing a witness stack.