Module wrapper
openvm_
native_
recursion
1.0.0
Module wrapper
Module Items
Structs
In openvm_
native_
recursion::
halo2
Modules
testing_utils
utils
verifier
wrapper
Structs
DslOperations
Fr
Halo2Prover
Halo2ProvingMetadata
Halo2ProvingPinning
RawEvmProof
Type Aliases
Halo2Params
openvm_native_recursion
::
halo2
Module
wrapper
Copy item path
Settings
Help
Summary
Source
Structs
§
EvmVerifier
Byte
Code
Fallback
EvmVerifier
FallbackEvmVerifier
is for the raw verifier contract outputted by
snark-verifier
.
Halo2
Wrapper
Proving
Key