Module static_verifier

Structs

• DefaultStaticVerifierPvHandler
• StaticVerifierConfig
  Config to generate static verifier DSL operations.

Traits

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