Rootstockのチーフエンジニアは、ビットコインのスクリプトに「新しい二次遅延」があり、ブロックサイズの増加がセキュリティ上のリスクをもたらすことを明らかにした。

Rootstock の主任エンジニアである Sergio Demian Lerner 氏は、SegWit プロトコルの調査中に Bitcoin Script に新たな二次遅延を発見したことをブログ投稿で明らかにしました。

ラーナー氏は先週、SegWit のスケーリングに取り組み始め、コード、特に「EvalScript() 関数」を研究した経緯を詳しく説明しました。その過程で、ラーナーはビットコインコアプロトコルに2つの二次複雑度ループを発見しました。しかし、ラーナー氏は「ビットコインのブロック検証にはもっと悪い問題がある」と考えているため、テスト結果について心配する必要はないと述べた。しかし、彼は悪意のあるマイナーによる潜在的な攻撃シナリオについて詳細に説明し続けた。

ラーナー氏は次のように説明した。

「悪意のあるマイナーは、検証に約 10 秒かかる SegWit ブロックを作成する可能性があります。ブログに示されているトランザクションの例は 10 秒未満でした。」

「私の発見は脆弱性だとは考えていません。しかし、将来的にブロック サイズが増加する場合、その前にこれらの問題に対処する必要があります。ここで示したスクリプト例のスタック値は空ではありませんが、ビットコイン プロトコルではそれは必要ありません。ビットコインでは、スクリプトを受け入れるために、トップ値が true であることだけが必要です。」

ビットコインのスクリプトは、将来の拡張時に「サプライズ」を防ぐために最適化する必要がある

Lerner 氏はさらに、「Unmet Heckler: OP_IF Abuse」と呼ぶ問題と、OP_ROLL オペコードにおける「Rock-and-Roll」と呼ぶ別の問題についても説明しました。彼はまた、ブロック処理を最適化するために行われている多くの作業についても詳しく説明したが、「将来規模を拡大する際に『驚き』を防ぐために、一部の古いコードはまだ最適化する必要がある」と述べた。

「Bitcoin Script に新たな二次遅延が発生しました。 — Sergio Demian Lerner (@SDLerner) 2017 年 4 月 17 日」

さらに、ビットコインのセキュリティ専門家であるクリストフ・アトラス氏もラーナー氏とその調査結果を称賛した。彼はこう言った。

「DoS 攻撃ベクトルに関する素晴らしい記事がまた 1 つ。調査と公開をしてくださった Lerner 氏に感謝します。」

並列検証

ラーナー氏のブログ投稿は、別の考えも呼び起こし、あるコメント投稿者は次のように質問した。

「BUIP033についてどう思いますか？」

BUIP033 は、2016 年 10 月にビットコイン開発者の Peter Tschipper によって提案されたコンセプトです。BUIP033 は、ブロック検証用に別のスレッドを作成することを提案しています。本質的には、この考え方は、メイン処理スレッドを介してすべてのブロックを検証するという現在のアプローチとは逆のものです。

ラーナー氏はこう答えた。

「ビットコインの拡張には、別々のスレッドが不可欠だと思います。これにより、ブロックサイズの問題の影響がすべて軽減されます。」

ラーナー氏、スケーリングの議論に加わる

Rootstock の主任エンジニアが、現在のスケーリングに関する議論に声を加えました。彼は最近、SegWit と 2MB のブロックサイズの増加に関するブロックサイズ提案も作成しました。先月、「SegWit 2mb+ソフトフォーク/ハードフォークの組み合わせ」拡張計画は、ビットコイン開発者からさまざまな反応とコメントを受けました。ラーナー氏は、以前ビットコインコミュニティで熱い議論を呼んだASICBOOST技術の発明者でもある。