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.