コベナンツを有効化する方法として様々なソフトフォークが提案されて久しいです。中でも最本命とされているOP_CTVについて、本稿では2022年に詳細にカバーしました。当時は反発も大きかったですが、Arkのためにコベナンツの導入を求める声が増えてきた今ではその影響範囲の小ささが再評価されています。
OP_CTVとソフトフォーク導入方法
先週は寄稿をお休みさせていただいたので前回から間隔が空いてしまいましたが、その間にビットコインの世界は一大論争が巻き起こっています。本稿でも何度か登場している独創的なビットコイン開発者、Jeremy Rubin氏が自身の提案するOP_CTVという機能のソフトフォークによる導入をSpeedy Trial方式で目指すと発表したのです。 ところが同じくSpeedy Trial方式で導入されたTaprootと異なり、まだユーザーやビットコイン開発者の中でOP_CTVに対して広く支持が得られていないこと、Speedy Trial自体がソフトフォークの導入方法として好ましくないことが意見の対立につながっています。 今日はOP_CTVの概要と論争となっているポイントを整理し、個人的な意見も交えながら現在の論争がビットコインの将来にどのような影響を与えうるかを考察します。 TAPROOT導入時のおさらい Taprootの導入にあたって、2017年にユーザーの大半が支持したSegwitの導入にマイナーが抵抗したことを踏まえ、導入に際してマイナーに依存しないソフトフォークのアクティベーション方法
他にもコベナンツを実現する方法としてAnyprevout(Sighash_Noinput)やOP_Vault、OP_CATなどがあります。これらの中でも支持には差があり、中でも特にOP_CATは賛否が強く分かれます。
2023年はビットコイン開発への関心が高まった1年だった
今年も1年を振り返る時期になってまいりました。私は久しぶりの海外旅行やカンファレンス登壇などで充実させた一年でした。皆さんの2023年はどうでしたか? 先週、読者様から以下のようなリクエストが寄せられていました。 Bitcoin Optech Newsletterの2023年まとめ(https://bitcoinops.org/ja/newsletters/2023/12/20
)を読みましたが、ソフトフォーク提案が様々あり、どのOPコードがメインで議論されているかなど、開発の方向性がよく理解出てきていません。
今年の開発の総括や、来年以降の展望などこちらでもおまとめいただけると大変ありがたいです。 ちょうど年の瀬で振り返りに最適な時期でもあるので、今日は今年のビットコイン開発をまとめ、そのうちいくつかのトピックについて来年の予想をしていこうと思います。他にもご質問やご要望などあれば歓迎致しますので、どしどし教えていただければ幸いです! ・たくさんの新型L2が乱立、ソフトフォーク議論が再燃 ・粗雑なプロトコルも複数登場、議論の的に ・ライトニングはLSPの時代へ本格突入
2023年のまとめ記事でこれらの提案についてそれぞれ短くまとめました。
ArkのみならずBitVMなどにもメリットのあるOP_CATがこれほど警戒される理由の根底にはマイニングの分散性に対する危機感があります。今日はそんなOP_CATに対する反対意見、特にMEVに対する警戒を取り上げてビットコインの複雑性に対する解像度を上げていきましょう。
・OP_CATはビットコイン最初期に無効化されたプリミティブゆえに強力な機能
・反対派の挙げる最大の理由であるMEVとは
・現状でさえMEVにつながるメタプロトコルが開発されている以上、それを圧倒的に加速しかねないOP_CATは諸刃の剣である
OP_CATはビットコイン最初期に無効化されたプリミティブゆえに強力な機能
OP_CAT、OP_CTVのように「OP_」で始まるビットコインの機能はオペコードといい、Bitcoin Script言語における関数のことです。マルチシグやタイムロック、ハッシュロックなど本稿でもよくBitcoin Scriptで実装される機能が登場しますが、これらの機能はもっと細かく見ていくと「署名を検証する」「ハッシュ値を計算する」「値を比較する」「足し合わせる」のような関数を組み合わせて実装されています。これらの関数がオペコードです。
例えば通常のシングルシグのP2PKHアドレスも以下のようなBitcoin Scriptで使用条件が記述されています:
OP_DUP OP_HASH160 <Pubkey Hash> OP_EQUALVERIFY OP_CHECKSIG
💡
よく話題に上がるOP_Returnもオペコードで、使用条件の検証を強制終了する(=使用できなくする)関数です。
OP_CATは2つのデータをつなげるという、非常にシンプルなオペコードです。2010年には「予想外の使われ方をする可能性があり危険」として無効化されましたが、サトシが発表した当初のビットコインには実装されていました。このプリミティブな関数が、今のビットコインには実現できない機能を可能にする、実はとても強力なものなのです。
これまで署名検証やハッシュ値の検証が主だったBitcoin Scriptでトランザクションデータを読み込ませてその内容に応じた処理をさせたりすることができれば、コベナンツを実現したりライトニングのペナルティの仕組みを改善できます。活用の仕方によってはゼロ知識証明の検証や他のブロックチェーン上のスマートコントラクトとの連動もできます。実際、OP_CATは特に後者に関係のある団体や開発者からの支持を得ています。
反対派の挙げる最大の理由であるMEVとは
では、反対派はなにを懸念しているのでしょうか?
まず、前提としてビットコインにはリスク回避を非常に重視する開発者と、ある程度メリットデメリットを比較してリスクを受容するのも考えられるという立場の開発者がいます。これに関しては思想の違いなので、いい・悪いではありません。
そのうえで、2010年にOP_CATが無効化されたときと同様、未知のリスク・攻撃ベクトルに対する警戒心というのは1つあります。例えばOP_CATによってこれまで想定していなかったDoS攻撃手法が誕生してしまうかもしれません。現時点で予測できない使い方もできるオペコードであることが魅力なので、その可能性は小さくないと思います。
しかし、反対派が最も警戒しているのはビットコインマイニングの分散性を脅かすMEV(Miner Extractable Value)の増大ではないでしょうか。
MEVはビットコインの脅威になりうるか?
この頃ビットコイン開発者の間ではドライブチェーンと呼ばれる技術の話題が(悪い意味で?)盛り上がっています。というのも、昔からドライブチェーン推しだった人たちが急に「ドライブチェーンを使えるようにするソフトフォークをしよう!」とSNSで積極的に主張しだしたためです。 これに対して技術的な中身をあまり把握せずに反論してボロが出てしまう開発者がいたり、支持者も反対者も不誠実なレトリックを応酬したりと泥沼化しています。ビットコインにおいて大きな変更を積極的に押し出していくのは反発を招きやすく、Jeremy Rubin氏のOP_CTVなども似たような議論が巻き起こり結局実現しませんでした。(その後、技術的には悪くないと評価されている印象があります。) ドライブチェーンという技術自体はまたの機会に説明するとして、多くの開発者が懸念点として挙げるのはMEV (Miner Extractable Value)の機会が誕生することでマイニングの競争原理に影響するのではないかという点です。MEVとはイーサリアム界隈ではDefiの流行が始まった数年前から聞くようになった単語ですが、ビットコインにも実は関
MEVについては2023年のこの解説記事をご覧ください。
OP_CATの支持者の大半はBitcoin Scriptの拡張を通してビットコインのスマートコントラクト機能の強化を目指しています。そしてスマートコントラクト機能を使って開発されるプロトコルやメタプロトコルは往々にしてMEVを生みます。
MEVとは、マイナーがブロックを作るときに自身に有利なようにトランザクションの順序を入れ替えてトレードをフロントランニングしたり、設計が甘いスマートコントラクトを悪用してガチャの「当たり」を自分のものにする、オークションへの競合の入札を妨害するなど、その特権的立場を利用してスマートコントラクトの「ユーザー」から価値を搾取する行動のことを言います。
実際にOrdinal Inscriptions / BRC20でもそのような行動が見られましたが、MEVの特徴として大規模なマイナーが有利に抽出できるものだという点が挙げられます。なぜなら、フロントランニングには資本力が必要だったり、新しく出てくるプロトコルに応じた技術開発が必要になるためです。弱小マイナーには太刀打ちできません。
そうすると、大規模なマイニングプールが競争優位を得て、今以上にマイニングプールの寡占状況が悪化すると考えられます。マイニングプールの寡占が実際にどれくらい問題かという点については意見が割れますが、寡占化がこれ以上進むのは好ましくないという見方に反対する人はいないでしょう。
マイニングプールとビットコインの検閲耐性については下記記事をご覧ください。
マイニングプールによる検閲の影響力をおさらいする
ここ最近マイニングプールによる検閲が熱いトピックとなっています。9-10月にかけて業界3番手のマイニングプールであるF2PoolがOFAC規制に基づき制裁対象となっているアドレスからのトランザクションを意図的に含めていなかったことをリサーチャーの0xB10C氏が検知し公表しました。 Bitcoin’s Anti-Censorship Ethos Surfaces After Mining Pool F2Pool Acknowledges ’Filter’After a blockchain sleuth reported that the Bitcoin mining pool may have censored a transaction from an address blacklisted by U.S. authorities, critics responded, and so did the project’s co-founder.CoinDeskBradley Keoun 0xB10C氏はminingpool.observerという検閲検知ソフトを公開しています。
”Sophon”の力を借りてBRC20の発行を阻止し、ビットコインの手数料高騰を収束させることは可能か?
ここのところBRC20関連の話題がずっと続いていますが、くだらないと思いつつも現在もビットコイン上の送金手数料の高騰を招いているので引き続き解説をする価値はあるのかなと感じています。 実は数ヶ月前からオープンソースの「BRC20キラー」が存在するのをご存知でしょうか?中国のSF作家リウ・ツーシン氏の作品中に登場する地球の技術革新を妨害するスーパーコンピューター兵器にちなんで“Sophon”と名付けられたこのスクリプトは「肉を切らせて骨を断つ」戦法でBRC20トークンの発行自体を妨害してしまうという面白い代物です。 今回はやや小ネタのような記事ですが、慌ただしい師走の息抜きになれば幸いです。 ・Sophonはトークンの取得(ミント)ではなく「発行」自体を狙う ・Sophonに長期的な影響力はどれくらいあるのか?どのような費用対効果が期待できるのか?
余談ですが、BRC20の発行を妨害する「Sophon」というジョークプロジェクトも、MEVが可能である仕組みがゆえに実現したものです。
現状でさえMEVにつながるメタプロトコルが開発されている以上、それを圧倒的に加速しかねないOP_CATは諸刃の剣である
上述した通り、OP_CATはビットコインの分散性にとってマイニングの観点でネガティブなMEVを大量に引き起こしてしまう可能性があります。特に、他のスマートコントラクトチェーンとの統合やビットコイン上でのDefiのようなものが実装しやすくなると、MEVによって得られる報酬がブロック報酬と比較して大きくなってしまうリスクが小さくありません。現に、規模は小さいですが既に問題になっている例があるくらいなのですから。
OP_CATは非常に強力で、確かにビットコインに新しい機能をたくさんもたらしてくれる反面、それによって雑に開発された投機性の高いプロダクトがビットコイン自体の分散性を脅かしてしまうリスクは軽く見てはなりません。とはいえ、BitVMなどの誕生によりOP_CATなしで実現できる範囲が広がったのも事実です。
発表からもうすぐ2年。ビットコイン上で任意の計算を検証できるBitVMはどう進歩しているのか?
2023年の秋に発表されたBitVMはいわゆる「ビットコインL2」、その中でも特にzkロールアップと呼ばれる技術を実現する方法としてその後も改良が続けられており、例えば最近のOP_Return騒動で「緩和されたOP_Return制限の想定されるユーザー」として一部のコア開発者に挙げられたCitreaというzkロールアップも利用しています。 OP_Return戦争再び:ブロックチェーンにデータを刻む機能について再燃する議論今週、ビットコイン関係のツイッターがある話題で持ちきりになっています。GitHubのBitcoin CoreリポジトリにPeter Todd氏が提出した以下のプルリクエストです。 Remove arbitrary limits on OP_Return (datacarrier) outputs by petertodd · Pull Request #32359 · bitcoin/bitcoinAs per recent bitcoindev mailing list discussion.
Also removes the code to enforce tho
BitVMについて
そう考えると、たとえOP_CATが導入されなかったとしても数年以内にビットコインにMEVの脅威がかつてない規模で再来する可能性は十分に高いと考えられます。
マイニングプールの分散性をいかに守るかというテーマの重要性は増すばかりです。
💡
個人的にはマイニングプールの寡占化も問題ですが、金融的な契約やカスタムファームウェア等を用いた囲い込みのほうが更に問題視すべきと考えています。寡占化していても、悪意のあるマイニングプールから切り替えることができれば問題ありませんが、切り替えられないならマイニングプールが力を持ちすぎてしまいます。この点はビットコインにおける最大の未解決問題かもしれません。
加藤 規新
1994年生まれ、シカゴ大学でGISやコンピューターサイエンスを学び学士号取得。2016年末よりビットコインに関するリサーチや実験的な開発をしており、今までにいくつかのブログやサロンで解説を担当。 ビットコインについて一番好きなところはパーミッションレスに誰でも使うことができること。 2024年11月より日本ビットコイン産業株式会社取締役。
ディスカッション