openvm_
native_
compiler
0.1.0-alpha
Module compiler
Module Items
Structs
Functions
In openvm_
native_
compiler::
constraints::
halo2
openvm_native_compiler
::
constraints
::
halo2
Module
compiler
Copy item path
Source
Structs
§
Halo2
Constraint
Compiler
The backend for the Halo2 constraint compiler.
Halo2
State
Functions
§
convert_
efr
convert_
fr
Assumes F is Bn254 Fr and converts to halo2 Fr type