package tezos-sapling

  1. Overview
  2. Docs
type commitment

Pedersen's Commitment of a transaction output (i.e. address and value). A merkle tree is formed with the existing commitment and filled with a default uncommitted value *

include T_encoding_compare
include T_encoding
type t
val encoding : t Data_encoding.t
val compare : t -> t -> int
include 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 : commitment -> t

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

val to_commitment : t -> commitment

Innovation. Community. Security.