Modules§
Structs§
- Default
Static Verifier PvHandler - Generic
Sdk - StdIn
- Verified
Continuation VmPayload - The payload of a verified guest VM execution with user public values extracted and verified.
Traits§
- Static
Verifier PvHandler - Custom public values handler for static verifier. This trait implementation defines what the public values of the final EVM proof will be.