Skip to content

Merkle Proof

yoshihiro503 requested to merge proof_ninja/plebeia:yoshihiro503@merckle_proof into master

Resolved #18 (closed)

merkle_proof_algorithm_example

The data structure of the merkle proof is:

type elem =
  | ProofInternal of hash
  | ProofExtender of Segment.t

type step_proof = elem list

type t = {
    proof_stream : step_proof list;
    data : Value.t
  }
  • Calculate merkle proofs
  • Validate merkle proofs
  • Add random testings
Edited by yoshihiro503

Merge request reports