package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Verifier_storage : sig ... end
module Verifier_context : sig ... end

verify_proof ctxt message proof ~agreed ~rejected ~max_proof_size verifies a Merkle proof for a L2 message, starting from the state agreed. If the proof is correct, and the final Merkle hash is not equal to rejected, then verify_proof passes.

Note that if the proof is larger than max_proof_size and the final Merkle hash is equal to rejected, the needed proof for the rejected commitment is too large, thus, verify_proof passes and the commitment is rejected.

OCaml

Innovation. Community. Security.