openvm_
native_
compiler
0.1.0-alpha
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.