もしビットコインの証明を検証することが「理論上可能」である必要はなく、実際には苦痛だったらどうなるでしょうか? 多くのBitVMスタイルの設計も同じ壁にぶつかっています: オンチェーンコストは低いですが、オフチェーンのオーバーヘッドは膨大です。 ベイブはその壁を強く押し戻す。 これにより、異議申し立てコストはオンチェーン上でBitVM3の範囲に抑えられ、オフチェーンのストレージやセットアップの負担は桁違いに(約1000倍)削減されます。 もし信頼不要なBTC担保やブリッジ、ビットコイン上の証明に基づく構築に関心があるなら、これはあなたのメンタルモデルに含めたい基礎的なプリミティブの一つです。 論文@dntseツイート、具体的な数字、そして全体のメカニズム👇を読んでください