Module type Dmc_crypto.S
Random Generator
Hashing
module Blake2b : sig ... endStream Cypher
module IETF_ChaCha20 : sig ... endPublic-Key Cryptography
module Ed25519 : sig ... endDmc_crypto.Smodule Blake2b : sig ... endmodule IETF_ChaCha20 : sig ... endmodule Ed25519 : sig ... end