Module Merkle_narity.P

Parameters

module Mec : sig ... end

Signature

type tree =
  1. | Leaf of Csir.Scalar.t
  2. | Branch of Csir.Scalar.t * tree list
val root : tree -> Csir.Scalar.t
val generate_tree : int -> int -> tree
val proof_path_narity : int list -> tree -> (Csir.Scalar.t list * Csir.Scalar.t) list * Csir.Scalar.t