2026.06.26 07:04:45 (Mastodon 116815133787351970, Twitter 2070402883296891344) from Daniel J. Bernstein:
ISO has now standardized Classic McEliece. The McEliece team proposed standardizing mceliece6* and mceliece8* but ISO also standardized mceliece4*: https://classic.mceliece.org/iso.html ISO's spec matches the team's public spec. See https://mceliece.org for integrations and applications.