論文の概要: Steelhead: Interleaving Partially Synchronous and Asynchronous Commit Rules on a Shared DAG

• arxiv url: http://arxiv.org/abs/2609.30163v1
• Date: Thu, 24 Sep 2026 17:18:49 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-25 21:10:10.156373
• Title: Steelhead: Interleaving Partially Synchronous and Asynchronous Commit Rules on a Shared DAG
• Title（参考訳）: Steelhead: 共有DAG上の部分同期および非同期コミットルールのインターリービング
• Abstract要約: Steelheadはデュアルモードのメカニズムで、1つのDAG上で部分的に同期および非同期コミットルールを構成する。 各間隔で、バリケータは各候補期間でコミットされたDAGをリプレイし、最小のメッセージ遅延を持つDAGを採用し、出力が停止するとk = 1にフォールバックする。 スティールヘッドはDAGのブロックを超えてメッセージを送ることなく、その期間に同意せず、隠れたリーダーを必要とするラウンドにだけコインを開く。
• 参考スコア（独自算出の注目度）: 5.966159996734702
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Dual-mode consensus protocols are fast when the network is partially synchronous and remain live under asynchrony. We introduce Steelhead, a dual-mode mechanism that composes a partially synchronous and an asynchronous commit rule over one DAG: every k-th round is decided by the asynchronous rule, whose leader a common coin reveals after the votes, and all other rounds by the partially synchronous rule. Every interval, validators replay the committed DAG under each candidate period, adopt the one with the fewest expected message delays, and fall back to k = 1 when the output stalls; the asynchronous rule applied to the coin rounds alone keeps the protocol live. Steelhead sends no message beyond the DAG's blocks, not even to agree on the period, and opens a coin only on the rounds that need a hidden leader. It is generic over pairs of DAG commit rules that share a committee; we instantiate it with Mysticeti and Mahi-Mahi at n >= 3f+1 and with the two variants of BlueBottle at n >= 5f+1. We prove it safe and live, and provide mechanized proofs in Lean 4. In simulation, Steelhead matches the partially synchronous protocol in a healthy network, stays close to the asynchronous one when network conditions stall the partially synchronous one, and adapts quickly in both directions.
• Abstract（参考訳）: デュアルモードのコンセンサスプロトコルは、ネットワークが部分的に同期していて、非同期で存続している場合、高速である。 1つのDAGに対して部分的に同期および非同期コミットルールを構成するデュアルモード機構であるSteelheadを紹介します。各kラウンドは非同期ルールによって決定され、そのリーダーは投票後に共通のコインを公開し、その他のラウンドは部分的に同期ルールによって決定されます。 候補期間毎にコミットされたDAGをリプレイし、最小のメッセージ遅延を持つDAGを採用し、出力が停止したときにk = 1にフォールバックする。 スティールヘッドはDAGのブロックを超えてメッセージを送ることなく、その期間に同意せず、隠れたリーダーを必要とするラウンドにだけコインを開く。 n >= 3f+1 で Mysticeti と Mahi-Mahi と、n >= 5f+1 で BlueBottle の2つの変種をインスタンス化する。 安全で生きたことを証明し、Lean 4.0で機械化された証明を提供します。 シミュレーションでは、Steelheadは正常なネットワーク内の部分同期プロトコルと一致し、ネットワーク条件が部分同期プロトコルを停止した場合に非同期プロトコルに近づき、両方の方向に迅速に適応する。

関連論文リスト

• Do We Need Asynchronous SGD? On the Near-Optimality of Synchronous Methods [59.72933231179977]
  我々はsynchronous SGDとその頑健な変種である$m$-Synchronous SGDを再検討し、多くの異種計算シナリオにおいてほぼ最適であることを示す。 同期メソッドは普遍的な解ではなく、非同期メソッドが必要なタスクが存在するが、現代の不均一な計算シナリオの多くに十分であることを示す。
  論文  参考訳（メタデータ） (2026-02-03T18:02:14Z)
• Accountable Liveness [9.474815797030628]
  生活に資する類似のアカウンタビリティ保証について検討する。 我々は,説明可能な生活が達成可能なパラメータ体系の正確な特性を証明した。
  論文  参考訳（メタデータ） (2025-04-16T16:13:09Z)
• ChonkyBFT: Consensus Protocol of ZKsync [0.0]
  ChonkyBFT(チョンキーBFT)は、ZKsyncシステムで使用される、部分的に同期されたビザンチンのフォールトトレラントコンセンサスプロトコルである。 委員会ベースのプロトコルであり、投票は1ラウンドのみであり、単一スロットの終端性、二次通信、n >= 5f + 1 の耐障害性がある。
  論文  参考訳（メタデータ） (2025-03-19T16:17:54Z)
• Ringmaster ASGD: The First Asynchronous SGD with Optimal Time Complexity [92.1840862558718]
  Ringmaster ASGDは任意に不均一な計算時間の下で最適な時間複雑性を達成する。 これにより、このようなシナリオにおける時間複雑性の理論的な下限を満たす最初の非同期SGD法となる。
  論文  参考訳（メタデータ） (2025-01-27T16:07:26Z)
• Validated Strong Consensus Protocol for Asynchronous Vote-based Blockchains [4.79997217554732]
  投票ベースのブロックチェーンは、Byzantine Fault Toleranceコンセンサスプロトコルを使用して、ある状態から別の状態へ移行する。 本稿では,非同期環境におけるリーダベースの協調を可能にする,強大なBFTコンセンサスモデルを提案する。 我々のプロトコルはメッセージの複雑さを大幅に減らし、しきい値のシグネチャに頼ることなく線形ビューの変更を実現する最初のプロトコルです。
  論文  参考訳（メタデータ） (2024-09-12T15:54:40Z)
• Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback [46.30924494799245]
  我々は,ビザンチンのSMRプロトコルであるDittoを開発した。このプロトコルは,ハッピーパスの最適な通信と,非同期およびDDoS攻撃下でのプログレス保証である。 具体的には、最先端の線形プロトコルであるHotStuffから始めて、徐々にDittoを構築します。別々のコントリビューションと中間ステップとして、HotStuffの2チェーンバージョンであるJolteonを設計します。 特に,Jolteonのコミットレイテンシは,システムサイズが異なるHotStuffを200～300ms上回る。
  論文  参考訳（メタデータ） (2021-06-18T21:34:17Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。