Module Hacl.MD5Source

Direct hashing with MD5

This function should not be used for cryptographic applications!

The digest buffer must match the digest size of MD5, which is 16 bytes.

Sourceval hash : bytes -> bytes

hash msg returns the hash of msg.

Sourcemodule Noalloc : sig ... end

Version of this function which writes its output in a buffer passed in as an argument