openvm_native_compiler::constraints::halo2

Module compiler

Source

Structs§

Halo2ConstraintCompiler
The backend for the Halo2 constraint compiler.
Halo2State

Functions§

convert_efr
convert_fr
Assumes F is Bn254 Fr and converts to halo2 Fr type