Jasmin is an amazing tool to write code that's proven to be free of side channels, memory safe, and protected against common speculative execution attacks: http

Jasmin is an amazing tool to write code that's proven to be free of side channels, memory safe, and protected against common speculative execution attacks: https://github.com/jasmin-lang/jasmin https://github.com/jasmin-lang/jasmin I wrote AEGIS implementations in it: https://github.com/jedisct1/aegis-jasmin https://github.com/jedisct1/aegis-jasmin and it was a really great experience.