Expand description
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
- Witness
Map - A map from the witnesses in a constraint system to the field element values
- Witness
Stack - An ordered set of witness maps for separate circuits
- Witness
Stack Error - Native error for serializing/deserializing a witness stack.