Modules§
Structs§
- AggProver
- AppProver
- Deferral
AggProver - Deferral
Hook Commits - EvmProver
- EVM prover that produces a root STARK proof with Halo2 wrapping.
- Halo2
Prover - Internal
Layer Metadata - Multi
Deferral Circuit Prover - Proves the configured set of deferral circuits through their hook proofs.
- Root
Prover - Single
Deferral Circuit Prover - Single
Deferral Circuit Result - Stark
Prover
Enums§
Functions§
- compute_
deferral_ merkle_ proofs - Compute deferral merkle proofs from the initial and final memory merkle trees.
- verify_
app_ proof - Verifies a ContinuationVmProof and returns the app_exe_commit
- verify_
app_ proof_ with_ expected_ exe_ commit - Verifies a ContinuationVmProof and optionally checks that the recovered app_exe_commit matches the expected value.