今天我們推出了 BABE,一種新的 Groth16 證明驗證協議,專為 Bitcoin 設計。它在設置和存儲成本上提高了三個數量級的技術水平。 BABE(BAbylon-BErkeley)是兩個關鍵思想的綜合體: 線性配對上的見證加密,以及最近引入的 Argo MAC,一種加密原語。 線性配對上的見證加密將 Groth16 驗證中的複雜配對運算簡化為 BN254 橢圓曲線上的單一標量乘法。這個單一標量乘法可以進一步轉換為向量同態 MAC,這可以通過 Argo MAC 高效計算。 BABE 將作為 Babylon 的 Trustless Bitcoin Vault 的 alpha 測試網於二月推出。 我們感謝: - 我們的伯克利合作者 @SanjamGarg 和 Dimitris Kolonelos,教會了我們很多有關見證加密的知識 - @liameagen 和 @therealyingtong 分享了他們在 Argo MAC 上的驚人工作 - Babylon 工程團隊,將我們的理論想法轉化為具有可證明性能增益的實際系統 查看論文並給我們反饋!