package plebeia

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

Build a Merkle proof of the given paths under the current cursor. It also returns the objects at the paths.

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

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