Parameter Make.1-Crypto
Random Generator
Hashing
module Blake2b : sig ... endStream Cypher
module IETF_ChaCha20 : sig ... endPublic-Key Cryptography
module Ed25519 : sig ... endMake.1-Cryptomodule Blake2b : sig ... endmodule IETF_ChaCha20 : sig ... endmodule Ed25519 : sig ... end