hacrypto

Or even better an explicitly secure language, not just one only claiming various safeties without actually implementing them. ADA/Spark or Modula-2 would come to my mind, but there must be more like rune for constant-time and more such crypto-only problems. I'm sure djb has such one also. https://cr.yp.to/talks/2021.09.03/slides-djb-20210903-safere... * https://github.com/GaloisInc/hacrypto * https://github.com/fmlab-iis/cryptoline * https://github.com/mit-plv/fiat-crypto/ (Bedrock2) * https://github.com/hacl-star/hacl-star (F* and ValeCrypt) * https://github.com/jasmin-lang/jasmin * https://vst.cs.princeton.edu/

Here's an example. OpenSSL uses assembly routines to speed up some cryptographic operations. For example, here's some routines for MD5 on x86_64: https://github.com/openssl/openssl/blob/master/crypto/md5/as... Don't let the perl extension fool you. It's mostly ASM, the perl is there to help with the build. It was pretty easy to find someone that had copied it and violated their license by removing the copyright text, and further claiming to release it into the public domain. Perhaps not on purpose, but... https://github.com/GaloisInc/hacrypto/blob/master/src/C/libs...