← 最新の論文
💻 computer science

OPERA: Enabling Inter-node Concurrency in Byzantine Fault Tolerant Blockchains

本論文は、部分的なレプリケーションとノード間並列性を通じてノード間の並行性を拡張することで、セキュリティやアプリケーションのセマンティクスを損なうことなく、ブロックチェーンにおける実行コストを大幅に削減しスループットを向上させる、ビザンチン故障耐性を持つ実行モデルであるOPERAを導入するものである。

原著者: Sungwook Chung, Jinwoo Yang, Hyunwoo Kim, Wonjae Lee, Minsoo Ryu

公開日 2026-08-03
📖 1 分で読めます☕ さくっと読める

原著者: Sungwook Chung, Jinwoo Yang, Hyunwoo Kim, Wonjae Lee, Minsoo Ryu

原論文は CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む

何百万もの人々が、巨大で共有された日記を完璧に同期させようとしている世界を想像してみてください。これは単なる日記ではありません。誰がデジタル上の猫を所有しているか、誰が誰に送金したかといったあらゆることを記録するデジタル台帳です。問題は?グループの全員がすべての項目に合意しなければならず、中にはシステムを欺こうとする悪意のある嘘つきも紛れ込んでいる可能性があるということです。これは、暗号資産や分散型アプリの背後にある技術であるブロックチェーンの、エキサイティングな世界です。

長い間、これらのデジタル日記には大きな交通渋滞が発生していました。誠実さを保つために、グループの全員が日記の新しいページ全体を読み、すべての言葉をチェックし、一つずつ自分で書き写さなければなりませんでした。それは、たとえ自分に割り当てられた問題が一つだけであっても、クラスの生徒全員が黒板に書かれたすべての数学の問題を解かなければならないような状況でした。これにより、システムは低速で高コストになり、特に参加者が増えるにつれてその傾向が強まりました。科学者たちはこれを「ビザンチン・フォールト・トレランス(ビザンチン故障耐性)」と呼んでいます。これは、一部のメンバーが不正を働こうとしてもシステムが安全に保たれることを意味する、少し凝った言い方です。研究者たちが問い続けてきた大きな疑問は、「チェーター(詐欺師)たちがパーティーを台無しにすることなく、このグループをより高速に機能させることはできるのか?」ということでした。

ここで、ハンヤ大学の研究者による新しいアイデア、OPERAが登場します。これは、仕事を分担させることでこの交通渋滞を解決しようとする試みです。全員がページ全体を読む代わりに、OPERAはページの異なる部分を異なる生徒に割り当てます。それは、大規模な持ち寄りパーティーのようなものです。全員が異なる料理を持ってきますが、誰かが毒入りのリンゴを出していないか、お互いの料理を試食して確認します。研究者たちは、この手法をテストするためにOPERA-PBFTと呼ばれるシステムを構築しました。彼らは、ノード(ブロックチェーンを実行するコンピュータ)にトランザクションのほんの一部だけを実行させ、その後にお互いの作業をダブルチェックさせることで、システムを大幅に高速化できることを見出しました。テストにおいて、この新しい手法は毎秒33,787件以上のトランザクションを処理し、これはAptosのような既存の最速システムよりも約2.4倍高速です。作業が混乱し、多くのトランザクションが同じデータを取り合って争う状況になっても、他のシステムが劇的に減速したりクラッシュしたりする一方で、OPERAの減速はわずか**7%**にとどまりました。

問題点:「全員がすべてを行う」というボトルネック

従来のブロックチェーンを、非常に厳格な図書館と考えてみてください。新しい本(トランザクションのブロック)が届くと、建物内のすべての司書(ノード)が、その本を最初から最後まで読み、すべての事実を確認し、自分自身のコピーに書き写さなければなりません。たとえ図書館に100人の司書がいたとしても、図書館全体のスピードは最も遅い司書によって制限されます。もし一人の司書が遅かったり注意が逸れたりすると、全体の列が止まってしまいます。これは「フル・レプリケーション(完全複製)」と呼ばれます。全員がすべてをチェックするため安全ですが、非常に無駄が多い作業です。それは、100人のシェフがいるキッチンで、一つの料理の味を知るためだけに一口味わえばよいのに、すべてのシェフが10コースのフルコースすべてを作らなければならないようなものです。

解決策:「専門特化した持ち寄りパーティー」

この論文の著者であるチョン・ソンウク氏とそのチームは、シンプルな問いを投げかけました。「もし、全員にフルコースを作らせなかったらどうなるだろうか?」

彼らは、部分的レプリケーション(partial replication)を利用した、ブロックチェーンを運営するための新しい方法としてOPERAを提案しました。先ほどのキッチンを想像してください。今度は、ヘッドシェフ(リーダー)がメニューを配ります。すべてのシェフが10コースのフルコースを作るのではなく、シェフAは前菜だけを作り、シェフBはスープだけを作り、シェフCはデザートだけを作るのです。

しかし、ここからが厄密なところです。もしシェフAが嘘つきで、腐ったサラダを出してきたらどうなるでしょうか?古いシステムでは、全員がすべてを味わうため、全員がそれに気づくことができました。OPERAでは、シェフBとシェフCはサラダに触れていないため、それが安全かどうかをどうやって判断すればよいのでしょうか?

OPERAは、巧妙な2ステップのダンスでこれを解決します。

  1. 「信頼して検証する」割り当て: 各トランザクション(料理)は、それを調理するために小さなシェフのグループ(ノード)に割り当てられます。具体的には、f + 1人のプライマリー・シェフと、f - k人のバックアップ・シェフに割り当てられます。数値fは、システムが対処できる最大級の嘘つきの数を表します。もしシステムが2人の嘘つきを扱える場合、少なくとも3人のシェフが調理し、結果に合意しなければなりません。
  2. 「試食」証明書: プライマリー・シェフたちの作業が終わると、彼らは単に「完了した」と言うだけではありません。彼らはリード/ライト・セット(read/write set)を渡します。これは、「私はこれらの材料を読み、これらの味を変えた」という内容を示すレシートのようなものです。他のシェフたちは、これらのレシートを確認します。もしf + 1人(嘘つきを論破するために必要な最小人数)のシェフが、全く同じレシートを提出した場合、システムはその料理が安全であると信頼します。

もしプライマリー・シェフが嘘つきであったり、姿を消したりした場合(ビザンチン故障)、バックアップ・シェフが介入して料理を調理し、独自のレシートを生成します。一致するレシートが十分に集まると、その料理は「検証済み」とみなされます。

「衝突」のダンス:料理が衝突するとき

時として、2つの異なる料理が同じ食材を必要とすることがあります。例えば、2つのトランザクションが同時に同じウォレットから資金を使おうとする場合です。従来の「全員がすべてを調理する」システムでは、シェフたちは順番待ちをするだけでした。OPERAでは、異なるシェフが異なる部分を調理しているため、誤って同時に同じ食材を使おうとしてしまう可能性があります。

これを修正するために、OPERAは**競合解決型決定論的再実行(Conflict-Resolving Deterministic Re-execution: CRDR)**という手法を使用しています。これは、調理を見守るレフェリーのようなものです。

  • まず、システムはすべてのレシートを確認し、どの料理が衝突しているかを特定します。
  • 次に、衝突していない料理をグループ化し、即座に提供できるようにします。
  • 衝突している料理については、システムはそれらを特定の順序で一つずつ再度実行し、最終的な結果が完璧であることを保証します。

これにより、たとえ作業が分割されていたとしても、最終的な結果は、まるで一人の人間がすべてを単独で行った場合と全く同じになります。これにより、「日記」の一貫性が保たれ、誰も不正を行うことができないことが保証されます。

結果:パーティーを加速させる

研究者たちは、この新しい分割作業メソッドを使用したブロックチェーンのバージョンであるOPERA-PBFTを構築することで、彼らのアイデアをテストしました。彼らは、異なる数のコンピュータと異なる種類のワークロードを用いてシミュレーションを行いました。

  • 大きな勝利: テストにおいて、OPERA-PBFTは毎秒33,787件のトランザクション(TPS)という速度に達しました。これは、現在のスピードリーダーの一人であるAptosよりも2.4倍高速です。
  • 「混乱」テスト: 彼らは、多くのトランザクションが同じデータを取り合って争う(「歪んだワークロード」と呼ばれる)状況で何が起こるかもテストしました。ほとんどのシステムはこのシナリオで激しく減速します。しかし、OPERA-PBFTの減速はわずか**7%であり、Aptosのような他のシステムが77%**も減速したのに対し、驚異的な結果を示しました。
  • コスト: 彼らはシステムが行った「仕事量」も測定しました。従来のシステムでは、すべてのコンピュータがすべてのタスクを実行します。OPERAでは、総仕事量は最大で**44%**削減されました。これは、このシステムが単に高速であるだけでなく、エネルギーや計算能力をより効率的に使用していることを意味します。

ななぜこれが重要なのか

この論文は、安全性とスピードのどちらか一方を選ぶ必要はないということを示唆しています。長い間、ブロックチェーンを嘘つきから安全に保つためには、全員がすべてを行う必要があると考えられてきました。しかし、OPERAは、作業を分割し、異なるコンピュータに異なる部分を処理させることで、システムの安全性とスピードを両立できることを証明しました。

それは、巨大なオーケストラが美しい音楽を奏でるために、すべての演奏者にすべての楽器を演奏させる必要はないと気づくことに似ています。指揮者(プロトコル)が適切なパートを適切なプレイヤーに割り当て、互いの音を聞き取るようにすれば、音楽はかつてないほど速く、そして力強く奏でられるのです。研究者たちは、このアプローチが、たとえ一部のプレイヤーが間違った音を奏でようとしても機能することを発見しました。これは、ブロックチェーンが超セキュアな金庫であると同時に、高速なハイウェイにもなれることを証明しています。

自分の分野の論文に埋もれていませんか?

研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。

Digest を試す →