Crate openvm_sdk

Modules

• commit
• config
• fs
• keygen
• prover

Structs

• DefaultStaticVerifierPvHandler
• Sdk
• StdIn
• VerifiedContinuationVmPayload
  The payload of a verified guest VM execution with user public values extracted and verified.

Traits

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

Type Aliases

• C
• F
• NonRootCommittedExe
• RootSC
• SC