Module constraints
openvm_
native_
compiler
1.4.0
Module constraints
Module Items
Modules
Structs
In crate openvm_
native_
compiler
openvm_native_compiler
Module
constraints
Copy item path
Source
Modules
§
halo2
Halo2 helper functions
opcodes
Structs
§
Constraint
A constraint is an operation and a list of nested arguments.
Constraint
Compiler
The backend for the constraint compiler.