package tezos-protocol-020-PsParisC

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

is_binary proof will fail if proof does not claim to be a Merkle proof of a binary tree compatible with the one defined in Context_binary.

Note: It is very important to systematically check this before calling the verify_proof exposed in the protocol, since this function does not discriminate between binary and 32-ary proofs.

OCaml

Innovation. Community. Security.