深潮 TechFlow 消息，斯坦福大學教授、Babylon 聯合創始人 David Tse 宣佈，團隊正式發佈 BABE（BAbylon-BErkeley），一種面向 Bitcoin 的 Groth16 證明驗證協議。團隊稱，該方案在 setup 與存儲成本 上相較現有最優水平實現約 三個數量級（1000x）改進，旨在讓“在比特幣上驗證 zkSNARK 證明”更具可行性與工程實用性。  

據介紹，BABE 結合兩項關鍵思路：線性配對上的 witness encryption 與新提出的 Argo MAC（一種 garbling primitive）。其中，witness encryption 可將 Groth16 驗證中複雜的 pairing 運算，壓縮為在 BN254 橢圓曲線上的一次標量乘法；隨後該標量乘法還能進一步轉化為 向量同態 MAC，並由 Argo MAC 高效計算。  

團隊表示，BABE 將作為 Babylon Trustless Bitcoin Vault 的組成部分，於 2 月 Babylon alpha-testnet 中上線，並邀請社區閱讀論文並提供反饋。