Module verifier
openvm_
native_
recursion
1.4.0
Module verifier
Module Items
Structs
Functions
In openvm_
native_
recursion::
halo2
openvm_native_recursion
::
halo2
Module
verifier
Copy item path
Source
Structs
§
Halo2
Verifier
Proving
Key
Functions
§
generate_
halo2_
verifier_
proving_
key
Generate a Halo2 verifier circuit for a given stark.