openvm_sdk

Module prover

Source

Modules§

vm

Structs§

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