Modules§
Structs§
- The payload of a verified guest VM execution with user public values extracted and verified.
Traits§
- Custom public values handler for static verifier. This trait implementation defines what the public values of the final EVM proof will be.