package plebeia

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type detail = Path.t * Segment.segment list * Node_type.node option
val encoding : Vc.t -> t Data_encoding.t
val pp : Stdlib.Format.formatter -> t -> unit
val make : Path.t -> Path.t list -> (t * detail list) Op.t

make basedir paths builds a Merkle proof of the paths from basedir. It also returns the objects at paths.

val check : Vc.t -> t -> (Hash.Prefix.t * detail list, Error.t) Stdlib.result

Compute the top hash of the given Merkle proof. It also returns the objects at the paths attached with the proof.

OCaml

Innovation. Community. Security.