Module types

openvm_continuations::verifier::leaf

Module types 

Source

Structsยง

LeafVmVerifierInput
Input for the leaf VM verifier.
UserPublicValuesRootProof
Proof that the merkle root of public values is in the memory state. Can be extracted from openvm_circuit::system::memory::public_values::UserPublicValuesProof.