Module outer
openvm_
native_
recursion
1.0.0
Module outer
Module Items
Functions
In openvm_
native_
recursion::
stark
Modules
outer
Structs
StarkVerifier
VerifierProgram
openvm_native_recursion
::
stark
Module
outer
Copy item path
Settings
Help
Summary
Source
Functions
§
build_
circuit_
verify_
operations