Context.Proof_encoding
Proof encoding for binary tree Merkle proofs
module V1 : sig ... end
V1: using vanilla Data_encoding. Easier to parse by non-OCaml programs but less efficient
module V2 : sig ... end
V2 : using Compact_encoding. Smaller than V1 but more complex parser is required.