NotesNotes要点

• Bitcoin's limited scripting language and small block space make proof verification challenging
• BitVM2 has high on-chain fees (>$14k in unhappy path), BitVM3 reduces on-chain costs but off-chain storage/setup is huge (42GB garbled circuits)
• BABE uses witness encryption for linear pairings to verify Groth16 proofs, combined with efficient garbled circuits for secure two-party computation
• Design builds on Argo MAC for efficient garbling of homomorphic MACs on elliptic curves
• Protocol reduces off-chain costs by three orders of magnitude while maintaining BitVM3's on-chain savings
• Applications include scaling Bitcoin and enabling trustless use of Bitcoin assets in other blockchains

• 比特币脚本语言表达能力有限且区块空间小，证明验证是长期挑战
• BitVM2链上交易费用极高（不愉快路径超1.4万美元），BitVM3虽降低链上成本但链下存储和设置成本巨大（混淆电路达42GB）
• BABE使用线性配对关系的见证加密方案验证Groth16证明，结合高效混淆电路实现安全两方计算
• 设计基于Argo MAC工作，提供椭圆曲线上同态MAC的高效混淆方案
• 协议在保持BitVM3链上成本节约的同时，将链下存储和设置成本降低三个数量级
• 应用包括扩展比特币和实现比特币资产在其他区块链中的无信任使用

• Bitcoinの限定的なスクリプティング言語と限られたブロックサイズが、証明検証を困難にしている。
• BitVM2は高いオンチェーン手数料（不満なパスで$14k超）を有し、BitVM3はオンチェーンコストを削減するものの、オフラインストレージ/セットアップが非常に大きい（42GBのgarbled circuits）。
• BABEはGroth16証明書を検証するために線形ペアリングのためのwitness encryptionを使用し、効率的なgarbled circuitsと組み合わせてセキュアな二者間計算を実現している。
• この設計は、楕円曲線上の準同型MACの効率的なgarblingのためにArgo MACに基づいている。
• 本プロトコルは、BitVM3のオンチェーン節約を維持しつつ、オフラインコストを3桁削減する。
• 応用例には、Bitcoinのスケーリングや他のブロックチェーンにおけるBitcoinアセットのトラストレスな利用を可能にすることが含まれる。