Archived, now integrated into mirage-crypto-ec (please use that and report issues there) -- Cryptographic primitives taken from Fiat - View it on GitHub