不幸な道を設計する:BitVM2アーキテクチャの理解 第一部:紛争の道に安全保障が宿る ビットコインL2は、その不幸な道を生きるか死ぬかの道を歩む。 ビットコインでは「検証器をチェーン上で動かして次に進む」ということはありません。制約された実行環境、事前署名されたトランザクショングラフ、そして各当事者が行動できるタイミングを正確に定義するタイムロックが手に入ります。 BitVM2はビットコインの楽観的な強制パターンです。オフチェーンで実行し、事前署名された取引から構築されたオンチェーン紛争プロトコルで正しさを強制可能にします。 そこには単純な工学的ルールがあります。紛争が高額で、または料金で停滞しやすい場合、セキュリティモデルは機能しません。 BitVMベースのシステムは、オペレーターがオフチェーンで実行できるようにし、誰でもオンチェーンで挑戦し、プロトコルを1/nの誠実さの前提(妥当性のために少なくとも1人の正直なチャレジャー、ライブネスのために少なくとも1人の正直なオペレーター)のもとで紛争パスに強制的に移行させることで動作します。 この紛争経路がメカニズムです。事前署名されたトランザクションやワンタイム署名(チャレンジウィンドウ、応答期限、最終化)は、ブリッジとその出口の「ランタイム」となります。 ですから、BitVM2上で構築する際、北極星は「トラストレス」のようなマーケティング用語ではありません。 北極星は以下の通りです: • 実行が十分に安価な紛争、 ・「間違った州を証明する」退出を防ぐのに十分な客観的なチェーンコンテキスト ・実際の手数料条件下で継続的に進行する取引フロー。 このシリーズでは、GOAT BitVM2設計におけるこれらの制約にどのように取り組み、一つずつ分解します。 パート2では、ビットコイン上で本番対応のzkRollupを展開するための実用的なブロッカーについて紹介します。