openvm_sdk

Module prover

Source

Modules§

vm

Structs§

AggStarkProver
AppProver
ContinuationProver
LeafProvingController
RootVerifierLocalProver
Local prover for a root verifier.
StarkProver

Constants§

DEFAULT_NUM_CHILDREN_LEAF