Module prover 

Modules

vm

Structs

AggStarkProver

AppProver

EvmHalo2Prover

Halo2Prover

LeafProvingController

RootVerifierLocalProver

Local prover for a root verifier.

StarkProver

This prover contains an app_prover internally.

VerifiedAppArtifacts

The payload of a verified guest VM execution with user public values extracted and verified.

Functions

verify_app_proof

Verifies the ContinuationVmProof, which is a collection of STARK proofs as well as additional Merkle proof for user public values.