groth16

ChainCatcher 消息，据 CoinDesk 报道，Cardano 创始人 Charles Hoskinson 表示，他正亲自为 Cardano 网络开发一种新的编程语言，并与 Input Output Global 工程师 Lucas Rosa 合作。Lucas Rosa 是 Cardano 主要智能合约语言之一 Aiken 的共同创建者。Hoskinson 在 X 平台发文称，这将是首个将用户希望交易完成的操作与密码学证明相结合的编程语言。 据介绍，该语言将支持三种工具：交易意图、携带证明的数据以及 Groth16 证明。交易意图允许用户说明想要完成的目标，而将具体步骤交给应用处理，例如交易者可以要求在最终价格满足设定条件时才将一种代币兑换为另一种，而无需说明具体路径。 携带证明的数据可为信息附加密码学证据，证明其符合特定规则，其他应用无需重新计算即可验证。Groth16 则是一种广泛使用的证明系统，可生成体积小、验证速度快的证明，在不暴露隐私数据的前提下证明条件已满足。 三者结合后，开发者可以构建协调交易、检查复杂条件并在服务之间传递已验证信息的应用，最终由 Cardano 验证一个小型证明。目前 Cardano 开发者主要使用基于 Haskell 的 Plutus 以及 Aiken 编写智能合约，而 Hoskinson 旗下 Input Output Global 构建的隐私区块链 Midnight 拥有自己的语言 Compact。该新语言的名称、公开代码及发布日期目前均未公布。

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 等多个项目中均有应用。（来源链接）