openvm_
native_
recursion
0.1.0-alpha
Module wrapper
Module Items
Structs
In openvm_
native_
recursion::
halo2
openvm_native_recursion
::
halo2
Module
wrapper
Copy item path
Source
Structs
ยง
EvmVerifier
Halo2
Wrapper
Proving
Key