BitVM3とBABE——TBVの基盤暗号学における「ダブルエンジン」
TBVは、ブリッジやホスティングに依存せずにビットコインをDeFiに参加させることを可能にしており、その背景には2つの重要技術、BitVM3とBABEがあります。
BitVM3は、ビットコイン上でSNARK証明を検証するためのプロトコルであり、ガーブレッド・サーキット（garbled circuit）を用いて検証負担をオフチェーンへ移すことで、オンチェーンの占有を大幅に削減します。これにより、複雑なスマートコントラクトの論理はオフチェーンで実行され、オンチェーンには最小限の不正（不正行為）証明のみが保持されます。これにより、UTXOはビットコインスクリプトを変更することなく外部プロトコルによって認識可能になります。TBVはBitVM3とゼロ知識証明を活用して、外部チェーン上の条件が満たされているかを検証し、通常の金庫（バルティング/カストディ的な手続き）操作コストを約2.66ドルまで引き下げます。
一方、BABEは検証レイヤーの中核となる支柱です。スタンフォード大学のDavid Tse教授が2026年1月に公開し、Groth16ゼロ知識証明の多重ペアリング演算を1回の楕円曲線スカラー乗算に圧縮することで、検証コストを3桁以上低減します。BABEは、金庫の作成のたびにClaimer-Challenger間のチャレンジ枠組みを構築し、cut-and-chooseプロトコルと複数の候補ガーブレッド・サーキット・インスタンスを用いて論争（係争）を裁定します。
BitVM3は「ビットコイン上でどう検証するか」を担い、BABEは「検証コストを十分に低くする方法」を担います。両者の組み合わせにより、TBVは「資産は動かさず、証明を先に進める」という実現を可能にしました。ビットコインはメインチェーンから離れず、暗号学的な証拠だけでクロスチェーンの状態検証を完了できます。これはTBVが、すべてのラッピング（包み込み）やブリッジ方式と異なる根本的な技術的ハードルです。@BabylonLabs_io #baby $BABY
TBVは、ブリッジやホスティングに依存せずにビットコインをDeFiに参加させることを可能にしており、その背景には2つの重要技術、BitVM3とBABEがあります。
BitVM3は、ビットコイン上でSNARK証明を検証するためのプロトコルであり、ガーブレッド・サーキット（garbled circuit）を用いて検証負担をオフチェーンへ移すことで、オンチェーンの占有を大幅に削減します。これにより、複雑なスマートコントラクトの論理はオフチェーンで実行され、オンチェーンには最小限の不正（不正行為）証明のみが保持されます。これにより、UTXOはビットコインスクリプトを変更することなく外部プロトコルによって認識可能になります。TBVはBitVM3とゼロ知識証明を活用して、外部チェーン上の条件が満たされているかを検証し、通常の金庫（バルティング/カストディ的な手続き）操作コストを約2.66ドルまで引き下げます。
一方、BABEは検証レイヤーの中核となる支柱です。スタンフォード大学のDavid Tse教授が2026年1月に公開し、Groth16ゼロ知識証明の多重ペアリング演算を1回の楕円曲線スカラー乗算に圧縮することで、検証コストを3桁以上低減します。BABEは、金庫の作成のたびにClaimer-Challenger間のチャレンジ枠組みを構築し、cut-and-chooseプロトコルと複数の候補ガーブレッド・サーキット・インスタンスを用いて論争（係争）を裁定します。
BitVM3は「ビットコイン上でどう検証するか」を担い、BABEは「検証コストを十分に低くする方法」を担います。両者の組み合わせにより、TBVは「資産は動かさず、証明を先に進める」という実現を可能にしました。ビットコインはメインチェーンから離れず、暗号学的な証拠だけでクロスチェーンの状態検証を完了できます。これはTBVが、すべてのラッピング（包み込み）やブリッジ方式と異なる根本的な技術的ハードルです。@BabylonLabs_io #baby $BABY