package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type tree =

val root : tree -> Plompiler.Csir.Scalar.t

val generate_tree : ?leaves:Plompiler.Csir.Scalar.t array -> int -> tree

val get_depth : tree -> int

val get_leaves : tree -> Plompiler.Csir.Scalar.t array

val print_tree : tree -> unit

type leaf = HashPV.P.scalar

type path = (HashPV.P.scalar * bool) list

val proof_path : int -> tree -> leaf * path

val update_tree : ?input_length:int -> tree -> int -> HashPV.P.scalar -> tree