openvm_continuations

Module static_verifier

Source

Structs§

Traits§

  • Custom public values handler for static verifier. This trait implementation defines what the public values of the final EVM proof will be.