AEGIS 密码算法 Jasmin 高保障实现提速,覆盖 x86 AESNI
jedisct1 · x · 2026-10-07
密码学家 jedisct1 更新了 AEGIS 认证加密算法在 Jasmin 语言中的高保障实现,新版速度更快。该项目为 x8664 CPU(AESNI 指令集)提供 AEGIS-128L、AEGIS-128X2、AEGIS-256、AEGIS-256X2 四种变体的高性能实现,采用 MIT 许可证开源。Jasmin 是一种用于编写经形式化验证的高性能密码代码的语言,这类实现兼顾运行速度与安全性证明。
「研究」频道最新
- OpenAI 开源内部模型产出的 722 份数学手稿与证明材料 — kristoph · 2026-10-07
- 研究：可从预训练中过滤掉颠覆性策略相关信息 — jammastergirish · 2026-10-07
- 数学家吐槽 OAI 对 Hodge 猜想进展的营销言过其实 — ctjlewis · 2026-10-07
- Sandberg 提醒：预印本往往比终稿更诚实 — anderssandberg · 2026-10-07
- 烧掉 3000 亿 tokens 攻 Hadwiger–Nelson 问题,下界从 5 提升到 6-7 色 — soumitrashukla9 · 2026-10-07
- 数学家发现沙法列维奇猜想两个反例，littmath 调侃「重复计数」 — littmath · 2026-10-07