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，棧深度

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