Module Merkle.PSource

Sourcetype tree =
  1. | Leaf of Csir.Scalar.t
  2. | Node of Csir.Scalar.t * tree * tree
Sourceval generate_tree : ?leaves:Csir.Scalar.t array -> int -> tree
Sourceval get_depth : tree -> int
Sourceval get_leaves : tree -> Csir.Scalar.t array
Sourceval print_tree : tree -> unit
Sourcetype leaf = H.P.scalar
Sourcetype path = (H.P.scalar * bool) list
Sourceval proof_path : int -> tree -> leaf * path
Sourceval update_tree : ?input_length:int -> tree -> int -> H.P.scalar -> tree