openvm_
sdk
1.0.0-rc.0
Module prover
Module Items
Modules
Structs
Constants
In crate openvm_
sdk
openvm_sdk
Module
prover
Copy item path
Source
Modules
§
vm
Structs
§
AggStark
Prover
AppProver
Continuation
Prover
Leaf
Proving
Controller
Root
Verifier
Local
Prover
Local prover for a root verifier.
Stark
Prover
Constants
§
DEFAULT_
NUM_
CHILDREN_
LEAF