深潮 TechFlow のニュースによると、スタンフォード大学の教授で Babylon の共同創設者である David Tse 氏は、チームが正式に BABE（BAbylon-BErkeley）をリリースしたことを発表しました。これは Bitcoin 向けの Groth16 証明検証プロトコルです。チームは、この方案が setup とストレージコストの面で既存の最適水準と比較して約3桁（1000倍）の改善を実現しており、「Bitcoin 上で zkSNARK 証明を検証する」ことの実現性とエンジニアリングの実用性を高めることを目的としていると述べています。紹介によると、BABE は二つの重要なアイデアを組み合わせています：線形ペアリング上の witness encryption と、新たに提案された Argo MAC（ガブル primitive の一種）です。これにより、witness encryption は Groth16 検証における複雑なペアリング演算を、BN254楕円曲線上の一度のスカラー乗算に圧縮可能となります。その後、このスカラー乗算はさらにベクトル同型 MAC に変換され、Argo MAC によって効率的に計算されます。チームは、BABE が Babylon Trustless Bitcoin Vault の一部として、2月の Babylon alpha-testnet でローンチされる予定であり、コミュニティに論文を読んでフィードバックを提供するよう招待しています。
Babylon 联创が BABE プロトコルを発表し、ビットコインの Groth16 証明検証コストを1000倍以上削減
深潮 TechFlow のニュースによると、スタンフォード大学の教授で Babylon の共同創設者である David Tse 氏は、チームが正式に BABE（BAbylon-BErkeley）をリリースしたことを発表しました。これは Bitcoin 向けの Groth16 証明検証プロトコルです。チームは、この方案が setup とストレージコストの面で既存の最適水準と比較して約3桁（1000倍）の改善を実現しており、「Bitcoin 上で zkSNARK 証明を検証する」ことの実現性とエンジニアリングの実用性を高めることを目的としていると述べています。
紹介によると、BABE は二つの重要なアイデアを組み合わせています：線形ペアリング上の witness encryption と、新たに提案された Argo MAC（ガブル primitive の一種）です。これにより、witness encryption は Groth16 検証における複雑なペアリング演算を、BN254楕円曲線上の一度のスカラー乗算に圧縮可能となります。その後、このスカラー乗算はさらにベクトル同型 MAC に変換され、Argo MAC によって効率的に計算されます。
チームは、BABE が Babylon Trustless Bitcoin Vault の一部として、2月の Babylon alpha-testnet でローンチされる予定であり、コミュニティに論文を読んでフィードバックを提供するよう招待しています。