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.