最近のファイヤーサイドチャットで、EOSネットワーク財団のエンジニアリングディレクターであり、サバンナの主なアーキテクトであるアレグ・ハイラペティアンは、春1.0リリースによってもたらされた進展とサバンナ合意アルゴリズムの開発について概説しました。彼の洞察は、サバンナが従来のEOS合意モデルの主要な制限にどのように対処し、ブロックチェーンにおける暗号学的、アーキテクチャ的、パフォーマンスの改善を導入するかについての詳細な説明を提供しました。

序論と背景

2024年9月25日の春1.0のリリースは、EOSネットワークにとって重要なマイルストーンを示しました。ハードフォークは成功裏に実施され、サバンナという新しい合意アルゴリズムが導入されました。この瞬間は、EOSが使用していた従来の合意アルゴリズムの改善を目指したほぼ2年間の開発の集大成を表しています。

EOSがサバンナ合意アルゴリズムを用いて歴史的なハードフォークを春1.0に完了

アレグは、従来のアルゴリズムが相当な時間的プレッシャーの下で開発され、最終設計に妥協が生じたことに言及しました。これらの欠点がサバンナの開発の動機となりました。新しいシステムは、パフォーマンスを犠牲にすることなく、瞬時の最終性、スケーラビリティ、暗号的セキュリティを提供することを目指しています。サバンナの初期仕様は比較的簡単でしたが、既存のコードベースに統合することは困難であり、アレグが率いる専任チームが形成されることになりました。

合意アルゴリズムの開発

サバンナの核心には最終性の概念があります。すなわち、取引が確認されると、それを取り消すことができないという保証です。アレグは、確率的最終性（取り消しの可能性が時間とともに減少する）と決定論的（アルゴリズム的）最終性（合意が数学的に保証される）の2種類の最終性を説明しました。従来のEOS合意はアルゴリズム的最終性を達成しましたが、主にブロックごとに最大1回の確認を許可するという設計上の制約により3分を要しました。これにより、スケーラビリティにボトルネックが生じました。

サバンナは、この制約に暗号的な解決策を導入することで対処し、最終性の時間をわずか1秒に短縮します。BLS（ボネ-リン-シャカム）署名を使用して、サバンナは複数のブロック確認署名を単一の署名に集約し、法定証明書を表現し、オーバーヘッドを削減し、速度とスケーラビリティを向上させます。

サバンナの設計は数学的証明に基づいており、元のEOSプロトコルではそれほど厳格に適用されなかった正式なセキュリティ保証を提供しています。アレグは、対立条件でも安全性と生存性を確保する上でこれらの証明の重要性を強調しました。今後の学術論文では、これらの理論的基盤についての深い洞察が提供され、サバンナの暗号技術のさらなる検証が行われるでしょう。

トークンスラッシングのようなペナルティで、ファイナライザーは違反に対してステークしたトークンの一部を失います。このシステムはファイナライザーの誠実な行動を促し、ネットワークの整合性を確保します。

未来の発展と可能性

将来を見据えて、アレグはEOSネットワークをさらに改善するために探求できるいくつかの将来の発展について示唆しました。その一つの革新は、ファイナライザーのための時間ロックされたステーキングプールの可能性であり、参加者は定められた期間トークンをステークし、ルール違反に対してトークンスラッシングのようなペナルティに直面します。このメカニズムはネットワークのセキュリティを強化し、長期的なコミットメントを促進します。

結論と今後の作業

春1.0のリリースとサバンナの導入は、EOSネットワークにとって大きな飛躍を意味します。瞬時の最終性とBLS署名のような暗号的革新をもたらすサバンナは、ブロックチェーン合意アルゴリズムの新しい基準を設定します。

現在のサバンナの実装はすでにゲームチェンジャーですが、アレグと彼のチームはそれをさらに洗練させ続けています。今後の学術論文では、サバンナの暗号学的および理論的基盤についての深い洞察が提供され、システムのさらなる検証に役立つでしょう。

春1.0の成功した実装は、IBC、分散化、スケーラビリティの新しい道を開き、サバンナをブロックチェーン技術の未来における重要な要素にしました。