groth16

ChainCatcher 消息，据 Cointelegraph 报道，去中心化匿名彩票协议 Foom Cash 在一次安全漏洞利用中损失约 226 万美元资金，但白帽黑客及时介入帮助追回了 184 万美元（约占被盗资金的 81%） 这起安全事件源于 Foom Cash 在部署过程中的一个关键错误，具体涉及 Groth16 验证器配置问题，导致攻击者能够向协议提交伪造的证明。 化名为 Duha 的白帽黑客识别出漏洞并迅速保护了 Base 链上的资金，同时安全公司 Decurity 负责以太坊上的资金救援工作。作为回报，Foom Cash 向白帽黑客支付了 32 万美元赏金，并向 Decurity 支付了 10 万美元安全费用。

ChainCatcher 消息，斯坦福大学教授、Babylon 联合创始人 David Tse 宣布，团队正式发布 BABE（BAbylon-BErkeley），一种面向比特币的全新 Groth16 零知识证明验证协议。该方案在初始化与存储成本方面较现有最优方案降低超过一千倍。 BABE 结合了两项关键密码学创新： 一是基于线性配对的见证加密（Witness Encryption on Linear Pairing），将 Groth16 验证中复杂的多重配对运算，简化为 BN254 椭圆曲线上的一次标量乘法； 二是利用新近提出的 Argo MAC 混淆原语，将该标量乘法进一步转化为 向量同态 MAC，从而实现高效计算。 David Tse 表示，BABE 将于 2026 年 2 月 随 Babylon Trustless Bitcoin Vault 的 alpha 测试网一同上线，目标是在比特币体系内实现更低成本、更可扩展的零知识证明验证能力。

ChainCatcher 消息，Vitalik Buterin 于 X 发文表示：“我们需要加快步伐的众多事情之一就是废除 Groth16。每个应用程序的可信设置在 2020 年代是不可行的。至少要有通用设置，理想情况下根本没有设置。这需要在基础设施和新 SNARK 算法的标准化方面进行重大改进。” 据悉，Groth16 算法是 Jens Groth 在 2016 年发表的算法。该算法的优点是提供的证明元素个数少（只需要 3 个），验证等式简单，保证完整性和多项式计算能力下的可靠性。

ChainCatcher 消息，据 Zulu 官推报道，Zulu 已经完成对 Groth16 脚本的切分。2 个 public 的输入，总共切分出了 1701 个子脚本，大小小于 4M，栈深度<1000。此次 ZKP 脚本切分完成，代表 BitVM 迈向商用的又一个里程碑。 Zulu Network 下一步是开发基于 BitVM2 的 ZK 桥，并有望成为首个集成 Bitcoin 网络安全的比特币 L2 。

ChainCatcher 消息，据官方消息，Zulu Network 已经开源了第一个在比特币脚本中实现的 ZKP 验证代码，涉及 Groth16/FFlonk 主流算法，并将代码提交到 BitVM 存储库。 这一成果为构建基于 BitVM2 的去中心化跨链桥奠定了基础，Zulu 的下一个目标是利用跨链技术和 BitVM2 推出一个信任最小化的比特币跨链桥。此前，BitVM 创建者 Robin Linus 曾表示，比特币脚本中的snark验证器是未来比特币发展的一个巨大里程碑。 基于当前的脚本大小，Zulu Network 只需要将整个 ZKP 脚本拆分为不到 2000 个子脚本。“我们非常感谢 BitVM 存储库的所有贡献者，包括 Robin Linus， Weikeng Chen 等，我们还要感谢 Andrija Novakov 和 Liam Eagen ，他们的最新论文‘On Proving pairs’大大减少了整个脚本的大小。”

ChainCatcher 消息 Sui Network 联合创始人 Kostas Kryptos 发推称：“Sui 欢迎零知识证明，用户现已可以其交易事务中附加 Groth16 ZKP 证明，由于我们的后端结合了 Arkworks 和 BLST，因此这样做可以提升 2 倍的验证性能速度。” 与此同时，Kostas 分享的 Sui Github 界面显示关于 Groth16 的模块已于今日提交。此前报道，Groth16 是 zkSNARK 的典型算法，系 Groth 在 2016 年发表的一篇论文中提出，目前该算法在ZCash，Filecoin，Coda 等多个项目中均有应用。（来源链接）