Skip to content

merkle proof using cursor

yoshihiro503 requested to merge proof_ninja/plebeia:yoshihiro503@merkle_proof_using_cursor into master
  • Implements generate_proof function which generate merkle proof function using Cursor.t type as a proof)
  • Remove get_data function from the previous implementation
  • The encoding is a temporary implementation
  • Implements validate_proof function which validate merkle proofs
  • Add the testing for the case that the value of the path does not exists
type proof = Snapshot.t list

type elem =
  | Found of Cursor.t
  | NotFound of string (* help message *)

val generate_proof : Cursor.t -> Segment.t list -> (proof * elem, Error.t) Result.t

val validate_proof : Segment.t list -> proof -> elem -> (Node_hash.t, Error.t) Result.t
Edited by yoshihiro503

Merge request reports