Daniel J. Bernstein lanza cryptoint para blindar el código C/C++ contra las «optimizaciones» de los compiladores
The cryptoint library (2025) [pdf]
Daniel J. Bernstein presenta cryptoint, una biblioteca casi header-only que ofrece funciones como crypto_int64_max para evitar que gcc y clang introduzcan ramas y variaciones de tiempo en código C/C++ diseñado para ser constante en tiempo. Incluye código portable con una variable volatile global y ensamblador para varias plataformas, con decisiones automáticas entre ambos. Ya se usa en SUPERCOP, lib25519, libmceliece, libntruprime y OpenSSH, y cada función se verifica con ejecución simbólica y SMT.
No es una empresa de necios: es ingeniería de sentido común.