Faster High-Assurance AEGIS Implementation in Jasmin for x86 AESNI
jedisct1 · x · 2026-10-07
Cryptographer jedisct1 updated the high-assurance Jasmin implementation of the AEGIS authenticated encryption family, now with improved throughput. The repo targets x8664 CPUs with AESNI and covers AEGIS-128L, AEGIS-128X2, AEGIS-256, and AEGIS-256X2 variants, MIT-licensed. Jasmin is a language designed for writing formally verifiable high-performance cryptographic code.
More from Research
- "The Hodge Conjecture Has Fallen": Unverified Claim of AI Math Breakthrough — rand_longevity · 2026-10-07
- Uni-LaDiR unifies reasoning across modalities via latent diffusion thoughts — Lianhuiq · 2026-10-07
- Kakeya Conjecture in R^3 Resolved by Hong Wang, Building on Her Fields Medal Work — teortaxesTex · 2026-10-07
- Research note: filtering subversion-related info from pretraining is feasible — jammastergirish · 2026-10-07
- Mathematician admits OAI's Hodge conjecture progress outpaced expectations, mocks the hype — ctjlewis · 2026-10-07
- Anders Sandberg: preprints are often more honest than final publications — anderssandberg · 2026-10-07