Sonobe 2026 更新第一部分:审计报告 本文总结了Sonobe加密库的审计结果,该库实现了折叠方案和IVC。审计由人类和AI审计员共同进行,覆盖了Nova、CycleFold等核心模块。发现了两项严重漏洞(C-01和C-02),可能导致IVC验证完全被绕过。其他严重程度的问题包括R1CS结构不检查、错误的状态绑定等。审计表明人类和AI在发现不同类型漏洞上互补。文章详细描述了每个bug及其修复。 折叠方案 交互式验证 R1CS Nova CycleFold 密码学审计 psedev 发布于 2026-06-01 35 0 0