Tag: zk-SNARK
All the articles with the tag "zk-SNARK".
-
Orion 第三次倒下：ASIACRYPT 2025 给出可运行的伪造攻击，修复版 Scorpius 反超原版
后量子明星证明系统 Orion 在两次修订后仍被发现不安全——攻击者可把任意已存在承诺打开成任意求值；ASIACRYPT 2025 论文给出可实际运行的攻击代码，并用双轮挑战集与多项式掩码零知识码修复为 Scorpius，证明更小、验证更快，还顺带发现原版参数实际只提供约 14 bit 安全。
-
证明也能打补丁：Eurocrypt '26 的 Dynamic zk-SNARKs 让零知识证明增量更新
Eurocrypt 2026 论文 Dynamic zk-SNARKs：给零知识证明加上 update 算法，数据小改时不用从头重算证明，更新速度比 PLONK 重算快 500 倍，还顺手做出了第一个稀疏 SNARK 和无递归的增量可验证计算。