メインコンテンツまでスキップ

ビットコインのカベナント・ルネサンス：OP_CTV、LNHANCE、OP_CAT、そして BitVM2 がいかにしてビットコイン L1 にスマートコントラクトを遂に実現するか

· 約 20 分
Dora Noda
Dora Noda
Software Engineer

15 年間、ビットコインのスクリプト言語は意図的かつ徹底的に「退屈」であり続けてきました。ループなし。再帰なし。状態（ステート）なし。小さなスタック、わずかなオペコード、そしてあらゆる拡張案を内戦の火種のように扱う文化。この保守主義こそが、ビットコインがコンセンサスレイヤーで一度も攻撃に成功されたことがない理由であり、同時に「A から B へコインを送る」以上のものを構築しようとした開発者が最終的に諦めて Ethereum へと移っていった理由でもあります。

2026 年、その計算が変わりつつあります。OP_CHECKTEMPLATEVERIFY（OP_CTV）は、BIP-119 が起案されて以来、初めて具体的なアクティベーションパラメータが提示されました。OP_CAT には正式な BIP 番号が割り当てられました。LNHANCE は Lightning ネットワークに焦点を当てた代替案として活発に議論されています。そして BitVM2 は、ソフトフォークを一切必要とせず、1 月にローンチされた Citrea のメインネットブリッジを支える形で、すでに本番環境で稼働しています。「カバナント（Covenants）はもうすぐ来る」と言われ続けて数年、ビットコインはようやく、それぞれが異なる問題を解決する複数の信頼できる提案が並行して進むフェーズに入りました。

カバナントとは何か（そしてなぜこれほど議論を呼んできたのか）​

ビットコイン用語におけるカバナントとは、UTXO が「将来」どのように使用できるかに対する制限のことです。通常のビットコインスクリプトは、「この支払いは今、承認されているか？」という問いにしか答えられません。カバナントはそれを拡張し、「この支払いは承認されているか、そして次のトランザクションはこれらの条件に一致しているか？」と問いかけます。

この小さな拡張が、驚くほど多くの機能を開放します。特定の宛先から資金が出る前に強制的な遅延時間を設けるヴォルト（Vaults）。1 つのオンチェーン・トランザクションで数千のオフチェーン決済を賄える混雑制御（Congestion-control）のコミットメント。ペイメントプール。非インタラクティブなチャネル。マルチシグ・フェデレーションに依存しない ZK ロールアップ・ブリッジ。新たに可能になるリストは非常に長く、開発者は 10 年近くにわたってカバナントについて議論を続けてきました。

なぜ争いになるのでしょうか？ 2 つの技術的な懸念と、1 つの文化的な懸念があります。技術的には、再帰的カバナント（その後のすべての支出に対して永久に自分自身を強制するカバナント）は、理論的には永久に制限されたコインを作成するために使用される可能性があり、ビットコインの代替可能性（Fungibility）を損なう恐れがあります。文化的には、ビットコインの開発思想はすべての新しいオペコードを潜在的な攻撃対象として扱い、Taproot 以降にカバナントを有効にすることは、一部の開発者にとってプロトコルの複雑さの許容範囲を超えた受け入れがたい拡張なのです。BIP-119 論争に関する Bitcoin Magazine の記事は、この力学を率直に捉えていました。「ビットコインでカバナントを有効にすることは、既存の研究がほとんどない中での大きな変化であり、Taproot のアクティベーション後すぐに裏口から急いで導入しようとする試みは抵抗されるべきである」。

さらに 3 年間の研究を経た今、その「ほとんどない」という批判を維持するのは難しくなっています。

OP_CTV (BIP-119)：ミニマリストなヴォルトの提案​

OP_CHECKTEMPLATEVERIFY は、実際のアクティベーションに最も近いカバナント提案です。Jeremy Rubin 氏によって執筆された BIP-119 は、UTXO を特定の事前に決定されたトランザクションテンプレート（バージョン、ロックタイム、インプット数、シーケンス、アウトプット数、アウトプット、および支出するインプットの位置）にコミットさせる単一のオペコードを追加します。テンプレートに一致すれば支出でき、一致しなければ支出できません。

それだけです。OP_CTV は設計上非再帰的です。将来のトランザクションをコミットすることはできますが、その将来のトランザクションがさらに将来のトランザクションをコミットして永久的な制限を作成することはできません。この意図的な制限こそが、CTV の支持者がこれを「安全な」カバナントと見なす理由です。これはヴォルト、混雑制御、および特定の Lightning の改善を可能にしますが、永久に汚染されたコインを作るために使用することはできません。

2026 年に向けた具体的なニュースとして、CTV のデプロイメントパラメータは、開始日を 2026 年 3 月 30 日、タイムアウトを 2027 年 3 月 30 日、最小アクティベーション高を 2027 年 5 月、マイナーのシグナリング閾値を 90%、シグナリング期間を 2016 ブロックと指定しています。これはコンセンサスが得られたわけではなく、アクティベーションパラメータの提案です。しかし、2022 年以来初めて具体的なタイムラインが提示されたことで、CTV 陣営は「アクティベートするか、正式に拒絶するか」という問いを突きつけています。

CTV の実用的なキラーアプリはヴォルトです。今日、ユーザーが単一のキーの紛失や盗難から保護された状態で 100 万ドルのビットコインを自己管理しようとする場合、その選択肢は厳しいものです。地理的に分散させたマルチシグ（運用が苦痛）、タイムロックされたトランザクション（脆弱）、またはカストディサービス（本来の目的から外れる）などです。CTV ヴォルトを使用すると、ユーザーはコールドストレージからの支出が必ず最初にタイムロックされた中間アドレスを経由することを強制できます。その間にユーザーは不正なアクティビティを検知し、リカバリ用のクローバック（資金回収）を実行できます。これは、多額のビットコイン保有に伴うリスクプロファイルを実質的に変えるプリミティブです。

OP_CAT (BIP-347)：再帰的カバナント至上主義の道​

OP_CAT は、哲学的に CTV とはほぼ正反対の提案です。CTV が特定のユースケースを実現するために設計された、注意深く範囲を絞った 1 つのオペコードであるのに対し、OP_CAT はスタック上での文字列結合というプリミティブです。これは 2010 年に DoS の懸念から無効化されるまで、もともとビットコインのスクリプト言語に含まれていたものでした。なお、その懸念は Taproot 後のスクリプトサイズ制限により、もはや当てはまりません。

OP_CAT を再度有効にすることは、表面上は大したことではないように見えます。スクリプトが 2 つのバイト文字列を結合できるようにするだけだからです。しかし、結合は Taproot で導入された Schnorr 署名と組み合わせることで、「イントロスペクション（内省）」、つまりスクリプトが自分自身を支出するトランザクションを検査する機能を構築するのに十分な力となります。そして、イントロスペクションがあれば、再帰的カバナント、状態マシン、ひいては EVM 形式のチェーンで記述できるほぼすべてのスマートコントラクトを構築するのに十分なのです。

StarkWare は、OP_CAT が有効なビットコイン上でブリッジカバナントの概念実証を公開し、これを実証しました。フェデレーション・マルチシグや別のブリッジチェーンを必要とせず、ビットコインスクリプトのみによって強制される、ビットコインから L2 へのトラスト・ミニマイズド（信頼を最小化した）なブリッジです。sCrypt チームは、OP_CAT がどのようにステートフルな UTXO コントラクト、NFT スタイルの Ordinals 取引、および再帰的ヴォルトを可能にするかを示すマルチパートのシリーズを公開しています。

トレードオフは、まさに CTV 支持者が懸念している点です。OP_CAT の表現力には、永久に制限されたコインを作成する表現力も含まれています。実際には、これはすでに弱い形（キーを紛失したマルチシグ、実現不可能なほど遠い満期のタイムロック）で存在しており、OP_CAT の擁護派は、代替可能性の懸念は運用上の問題というより理論的なものだと主張しています。しかし、哲学的な隔たりは現実のものです。OP_CTV は「これらの特定のユースケースのためにカバナントを有効にしよう」と言い、OP_CAT は「プリミティブを有効にして、開発者にユースケースを考えさせよう」と言っています。

2024 年に OP_CAT が BIP-347 を割り当てられたことは、その技術的な内容（CAT は 4 バイトのオペコードです）よりも、カバナント至上主義の道が BIP プロセスを通過するのに十分な開発者の信頼を得たことを示すシグナルとして重要でした。

LNHANCE：ライトニングに特化した妥協案​

LNHANCE は、「この提案がどのような問題を解決するのか」という点を最も明確に打ち出している提案です。抽象的な理由でカベナントを主張するのではなく、LNHANCE は OP_CTV、OP_CHECKSIGFROMSTACK (CSFS)、OP_INTERNALKEY をセットにし、特にライトニングネットワークの改善をターゲットにしています。

2026 年 4 月時点のライトニングネットワークは、パブリックノード数が 65,000 を超え、主要なビットコイン決済手段へと成長しましたが、深刻なプロトコル負債を抱えています。チャネル状態の検証には依然としてウォッチタワーサービスやオンラインウォレットが必要です。チャネルファクトリーやマルチパーティチャネルの構築は困難です。また、相手がオンラインでなくてもチャネルを開設できる「非対話型チャネルオープン」は、現在のライトニングでは不可能です。

LNHANCE は、LN-Symmetry（より洗練されたチャネル状態メカニズム）、タイムアウトツリー（効率的な一括チャネルクローズ）、簡素化された PTLC スクリプト（現在のハッシュタイムロック契約に代わるポイントタイムロック契約）、単方向の非対話型チャネル、改良されたヴォルト（Vaults）、そしてトラストレスなコインプールを可能にします。これらはいずれも、投機的なスマートコントラクトのプリミティブではなく、具体的なライトニングの改善案です。

この実利的な枠組みが、LNHANCE の政治的な優位性となっています。ライトニングネットワークは、地域の決済プロバイダーから、Lightning Labs が AI エージェント取引のネイティブ決済レイヤーとして位置づけている L402 プロトコルに至るまで、実際に普及しています。ライトニングの競争力を維持するための改善は、主に他チェーン上での BTC 利用を可能にするような改善よりも正当化しやすいのです。

BitVM2：すでに稼働しているソフトフォーク不要の代替案​

過去 18 か月間で最も実利的に重要な進展は、カベナント提案そのものではなく、BitVM2 です。そして、それがビットコインのコンセンサス変更を一切必要としないという事実です。

Robin Linus 氏によって考案された BitVM2 は、ビットコイン自体に計算を行わせることなく、カベナントが可能にする本質（ビットコインにアンカーされた検証可能なオフチェーン計算）を抽出します。このプロトコルはチャレンジ・レスポンスモデルで動作します。証明者がオフチェーン計算に関する主張を行い、証拠金を預けます。検証者がその主張が誤りであると判断した場合、バイナリサーチによる紛争を開始し、証明者が不正を行った特定のステップを特定します。その 1 ステップのみがビットコインスクリプト上でオンチェーン実行され、虚偽を述べた証明者の証拠金が没収（スラッシュ）されます。

経済的な合理性として、正直な証明者がチャレンジを受けることはないため、紛争は稀であり、オンチェーンコストはほぼゼロに抑えられます。計算上の洗練さとして、BitVM2 の改良されたプロトコルでは、オリジナルの BitVM スキームで数十回必要だったオンチェーン取引が、わずか 3 回で紛争を解決できるようになりました。パーミッションレスな特性として、誰でもチャレンジできるため、システムのセキュリティは特定の検証者の誠実さに依存しません。

BitVM2 は現在すでに稼働しています。ビットコイン初の ZK ロールアップである Citrea は、2026 年 1 月 27 日にメインネットをローンチし、BitVM2 ベースのブリッジ（コードネーム「Clementine」）を本番環境のトラストモデルとして採用しました。GOAT Network は 2026 年第 1 四半期に BitVM2 テストネット V3 をリリースし、完全なビットコインネイティブの zkRollup スタックを目指しています。パターンは明確になりつつあります。議論を呼ぶビットコインのソフトフォークにローンチ時期を賭けたくないチームは、代わりに BitVM2 を選択しているのです。

制限は暗号技術ではなく、経済性にあります。紛争のコストはビットコインのブロック空間で支払われるため、紛争期間中に手数料が急騰する最悪のシナリオでは、チャレンジャーがコスト負けする可能性があります。この「紛争経済学」のリスクは、BitVM2 オペレーターが過剰担保、ウォッチタワーサービス、および保護する計算の慎重な選択によって管理している未解決の課題です。これは現実的な制約ですが、「ビットコインのコンセンサスがオペコードに合意するのを待つ」こととは全く異なる種類のリスクです。

アクティベーションの問題：なぜ技術的合意だけでは不十分なのか​

ビットコインのカベナント論争に関する不都合な真実とは、技術的な相違（再帰的か非再帰的か、ミニマリストなオペコードか汎用的なプリミティブか）は、その多くが解決可能であるということです。より困難な問いは、それらを「いかにして」アクティベートするかです。

ビットコインのソフトフォークの歴史は短く、政治的に緊迫したものです。SegWit は 2017 年、マイナーの膠着状態を打破するために UASF（ユーザー活性化ソフトフォーク）の脅威を必要としました。Taproot は、90% のマイナーシグナリングを閾値とする 3 か月の BIP8 ウィンドウである「スピーディ・トライアル（Speedy Trial）」を採用し、2021 年 11 月にスムーズにアクティベートされました。それ以来、アクティベーション手法に関するあらゆる議論は、過去の出来事の影響を受けています。

CTV 2026 のパラメータ提案は、前例のあるスピーディ・トライアル方式のシグナリングウィンドウを使用しています。しかし、カベナント反対派は、スピーディ・トライアルは議論の分かれる変更には不適切であると明言しています。この手法は、すでに圧倒的なコンセンサスが得られている提案のために特別に設計されたものであり、3 か月という期間では、より広範なエコシステムが異議を唱えるための時間が足りないという主張です。アクティベーション手法を巡る争いは、技術的な争い以上に激化することが予想されます。

しかし、政治的な状況はむしろアクティベーションを後押しするかもしれません。ビットコインのオンチェーンアクティビティは 2024 年の Inscriptions のピークから大幅に減少しており、ブロック空間の需要は軟調です。ソフトフォークをシグナリングによって承認する必要があるビットコインマイナーは、ブロック空間の需要を促進する新たなナラティブを求めています。ヴォルト、ライトニングの改善、ビットコインでセキュリティを担保された L2 は、すべてオンチェーン取引の需要を生み出します。経済的利害の一致は、ここ数年で最も明確になっています。

ビットコイン・インフラストラクチャ・ビルダーにとっての意味​

ビットコイン上で構築を行うチームにとって、カベナント（Covenants）のルネサンスは真の戦略的選択肢を生み出しています。今すぐ スマートコントラクトのような機能を必要とするチームには、3 つの信頼できる道があります。

パス 1 — CTV / CAT / LNHANCE を待つ。複雑さは低く、アクティベートにはソフトフォークが必要で、タイムラインは不透明です。コンセンサス・レベルの変更なしにはユースケースが根本的に不可能なチーム（例：大規模な非フェデレーテッド・ヴォルトなど）に最適です。

パス 2 — BitVM2 上で構築する。現在利用可能ですが、実装の複雑さは高く、経済的セキュリティに依存します。コンセンサスを待たずに 2026 年にリリースする必要があるビットコイン L2、ブリッジ、またはロールアップを構築しているチームに最適です。

パス 3 — ハイブリッド・アプローチ。BitVM2 でローンチし、カベナントがアクティベートされた際によりクリーンなアップグレードパスを提供できるようにプロトコルを設計します。これは、GOAT Network や他のいくつかのビットコイン L2 チームが取っている姿勢です。

インフラストラクチャ・プロバイダーにとって、共通の示唆は同じです。どの道が勝つにせよ、ビットコイン・スクリプトの表現力は向上しています。ウォレット、RPC プロバイダー、インデクサー、およびノード・インフラストラクチャはすべて、本番環境でより豊かなトランザクション・タイプ（カベナントを含む UTXO、BitVM2 のチャレンジ・トランザクション、新しいライトニング・チャネル構造など）を処理できる準備を整える必要があります。

BlockEden.xyz は、BitVM2 やカベナント対応プリミティブ上に構築される新興の L2 を含む、ビットコインおよびビットコイン関連ネットワーク向けのエンタープライズ・グレードの RPC インフラストラクチャを提供しています。API マーケットプレイスを探索して、ビットコインの次の章のために設計された基盤の上で開発を始めましょう。

ビットコインの次の 10 年の姿​

2026 年について最も興味深いのは、これらの提案のいずれかが確実にアクティベートされるということではありません。それらのどれもがさらに 1 年から 3 年停滞する可能性は依然としてあります。重要なのは、ビットコインの開発文化が、2022 年から 2024 年を定義した「カベナント賛成か反対か」という二元論的な議論を決定的に乗り越えたことです。

現在の議論は、カベナント・プリミティブ、オフチェーン検証プロトコル、およびレイヤー 2 アーキテクチャのどの 組み合わせ が、最小限のコンセンサス変更で最も有用なプログラマビリティを提供するかという点に移っています。ヴォルトと混雑制御のための CTV。表現力とブリッジのための CAT。ライトニングのための LNHANCE。紛争解決モデルを許容できるあらゆるもののための BitVM2。これらは対立するビジョンではなく、拡張されたビットコイン・スクリプティング・ツールキットにおける補完的なツールです。

ビットコインは 15 年間、意図的に退屈であり続けました。その戦略的な忍耐が、史上最も安全な決済レイヤーを築き上げました。次の 10 年の課題は、その同じセキュリティ規律が、真に表現力豊かなプログラム可能なレイヤーをカバーするために拡張されても維持できるかどうかです。もし 2026 年のアクティベーション議論が、これらの提案のうちの 1 つでも実装されることで終われば、答えは「イエス」となるでしょう。そして、広範な暗号資産エコシステムにおけるビットコインの役割は、「何もしないデジタル・ゴールド」から「他のすべてが信頼する決済レイヤー」へとシフトするはずです。

ソース:

Share on Twitter