openvm_sdk::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.