package tezos-protocol-015-PtLimaPt

  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 ~proof_length ~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 proof_length 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.