2024.03.21 17:03:25 (Mastodon 112134757113193728, Twitter 1770858777115300315) from Daniel J. Bernstein:
lib25519-20240321 released: https://lib25519.cr.yp.to https://lib25519-cr-yp-to.viacache.net Includes more speedups from Kaushik Nath, a simple use-s2n-bignum option, MacOS support, and more. Still generally needs formal verification and auditing, but AWS's s2n-bignum code is formally verified.