This code was primarily written by Jonathan Protzenko (MSR).
An earlier version was written by Benjamin Beurdouche (INRIA) and Jean Karim Zinzindohoue (INRIA).
Aymeric Fromherz and Son Ho added support for incremental blake2 on top of Jonathan's work.