Mavryk_crypto.IntfsThe 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 ... endmodule type RAW_DATA = sig ... endmodule type B58_DATA = sig ... endmodule type ENCODER = sig ... endmodule type PVSS = sig ... endmodule type INDEXES = sig ... endmodule type HASH = sig ... endmodule type MERKLE_TREE = sig ... endmodule type COMMON_SIGNATURE = sig ... endmodule type SIGNATURE = sig ... endmodule type AGGREGATE_SIGNATURE = sig ... endmodule type SPLIT_SIGNATURE = sig ... endmodule type FIELD = sig ... endmodule type PRIME_FIELD = sig ... endModule type for the prime fields GF(p)
module type CURVE = sig ... end