Module Mavryk_crypto.Intfs

Hash Types

The signature of an abstract hash type, as produced by functor Make_Blake2B. The t type is abstracted for separating the various kinds of hashes in the system at typing time. Each type is equipped with functions to use it as is of as keys in the database or in memory sets and maps.

module type MINIMAL_HASH = sig ... end
module type RAW_DATA = sig ... end
module type B58_DATA = sig ... end
module type ENCODER = sig ... end
module type PVSS = sig ... end
module type INDEXES = sig ... end
module type HASH = sig ... end
module type MERKLE_TREE = sig ... end
module type COMMON_SIGNATURE = sig ... end
module type SIGNATURE = sig ... end
module type AGGREGATE_SIGNATURE = sig ... end
module type SPLIT_SIGNATURE = sig ... end
module type FIELD = sig ... end
module type PRIME_FIELD = sig ... end

Module type for the prime fields GF(p)

module type CURVE = sig ... end