ビットコインレイヤーで検証証明を実現する際の一般的な課題は何ですか？オンチェーンのコストはそれほど高くならず、オフチェーンのオーバーヘッドが障害となっています。

多くのBitVMタイプの設計はここで詰まっています。コスト構造の不均衡——オンチェーンはあまり安くなく、オフチェーンは非常に高価です。

そこに転機が訪れました。BABEという方案はこの行き詰まりを突破しました。

それは何を実現したのか？オンチェーンの争議検証コストをBitVM3の合理的範囲内に保ちながら、オフチェーンのストレージと設定のオーバーヘッドを大幅に削減し——削減幅は1000倍の規模に達しました。

これは何を意味するのか？検証証明の経済モデルが理論から実用へと進化し、実際に落とし込めるものになったのです。