Crate openvm_sdk

Modules

IOpenVmHalo2Verifier

Generated by the following Solidity interface…

codec

commit

config

fs

keygen

prover

types

Structs

DefaultStaticVerifierPvHandler

GenericSdk

StdIn

VerifiedContinuationVmPayload

The payload of a verified guest VM execution with user public values extracted and verified.

Constants

EVM_HALO2_VERIFIER_INTERFACE

EVM_HALO2_VERIFIER_TEMPLATE

OPENVM_VERSION

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

Sdk