Matthieu Pizenberg (Jun 01 2024 at 08:57): Matthieu Pizenberg (Jun 01 2024 at 08:57):For those interested, I’ve implemented in Roc one random generator plus stream cipher called Salsa20, and one block cipher called AES-128 https://github.com/mpizenberg/crypto-0-to-hero
Of course these are not meant to be used for secure cryptography as I haven’t done anything to counter side channel attacks and other types of attacks. But they should be correct. I’m writing these primitives while following a course by Dan Boneh.
Isaac Van Doren (Jun 01 2024 at 15:11):Sweet!
Matthieu Pizenberg (Jun 11 2024 at 20:10):I’ve now also added implementations of the poly1305 one-time MAC, and the BLAKE2-b hash. As well as some basic U256 type I needed for poly1305.
Last updated: Jul 06 2025 at 12:14 UTC