groth16

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 等多個項目中均有應用。（來源鏈接）