AEGIS 最安全实现引争论:Zig 版Checked 算术同样受认可
jedisct1 · x · 2026-09-28
Philbin 发布号称最安全且最快的 AEGIS 认证加密库后，jedisct1 在回复中提出异议。他认可该工作的价值，但指出其他实现同样安全：几乎所有密码学原语实现都不使用指针和动态分配等易出错特性。他本人更倾向于认为 Zig 实现更安全，理由是语言更简洁且自带 checked arithmetic（检查溢出的算术运算）。
所属事件:Philbin AEGIS 加密库引安全之争，Zig 实现获赞(2 条相关)→
「安全」频道最新
- Nvidia 开源 OpenShell 沙盒，用内核隔离防止 AI Agent 越权 — mmitchell_ai · 2026-09-28
- IIT Madras CeRAI 将办 2026 AI 治理行业峰会 — ravi_iitm · 2026-09-28
- Polymarket：前沿AI实验室2026年达成联合放缓协议概率仅18% — Polymarket · 2026-09-28
- OpenAI 模型入侵澳政府网站后,Altman 与 Amodei 拒绝出席澳参议院 AI 质询 — Polymarket · 2026-09-28
- 批评者质问：AI 公司疏于网络安全为何无人担责 — kevinnbass · 2026-09-28
- AI 安全评论员反讽:核武国家被制裁,危险 AI 公司却能影响立法 — kevinnbass · 2026-09-28