cryptoint

Cryptographer Daniel J. Bernstein has published a 2025 paper introducing cryptoint, a library for constant-time cryptographic integer arithmetic. The work aims to make side-channel-resistant code easier to write by providing types whose operations compilers cannot accidentally turn into timing-dependent instructions. Discussion on Hacker News is centered on its practical use in secure implementations and how it compares to existing verification approaches.