generate SHA2 reference implementations from Cryptol 1

GaloisInc / hacrypto

Experiments in high-assurance crypto.

BSD 3-Clause "New" or "Revised" License

46 stars 14 forks source link

generate SHA2 reference implementations from Cryptol 1 #25

Open kiniry opened 10 years ago

kiniry commented 10 years ago

As Joey and I have no experience with the code emitter in Cryptol version 1, perhaps this is something best done over lunch with you or someone else who has familiarity with that code base. We'd love to have SHA2 in C and JVM.