package tezos-protocol-012-Psithaca

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

include Tezos_sapling.Core_sig.T_encoding_compare
  with type t = Tezos_sapling__Core.Client.Hash.t

include Tezos_sapling.Core_sig.T_encoding
  with type t = Tezos_sapling__Core.Client.Hash.t

type t

val encoding : t Data_encoding.t

val compare : t -> t -> int

include Tezos_sapling.Core_sig.T_bytes with type t := t

val to_bytes : t -> bytes

val of_bytes_exn : bytes -> t

val uncommitted : height:int -> t

val merkle_hash : height:int -> t -> t -> t

Hash function to compute the merkle tree (Pedersen's hash on JubJub curve). Height is the height we are hashing at in the merkle tree. *

val of_commitment : Tezos_sapling__Core.Client.Commitment.t -> t

Hashes and commitments are the same object but are given different types to avoid confusing nodes and leaves. *

val to_commitment : t -> Tezos_sapling__Core.Client.Commitment.t