論文の概要: SoK: Speedy Secure Finality
- arxiv url: http://arxiv.org/abs/2512.20715v1
- Date: Tue, 23 Dec 2025 19:25:02 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-12-25 19:43:21.578598
- Title: SoK: Speedy Secure Finality
- Title（参考訳）: SoK: 高速でセキュアなファイナリティ
- Authors: Yash Saraswat, Abhimanyu Nag,
- Abstract要約: 本稿では,高速ファイナリティプロトコル設計における技術の現状について調査する。
この空間の根底にある理論的原始について紹介する。
次に、単一スロットファイナリティプロトコルが直面する通信ボトルネックと集約ボトルネックを分析する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: While Ethereum has successfully achieved dynamic availability together with safety, a fundamental delay remains between transaction execution and immutable finality. In Ethereum's current Gasper protocol, this latency is on the order of 15 minutes, exposing the network to ex ante reorganization attacks, enabling MEV extraction, and limiting the efficiency of economic settlement. These limitations have motivated a growing body of work on Speedy Secure Finality (SSF), which aims to minimize confirmation latency without weakening formal security guarantees. This paper surveys the state of the art in fast finality protocol design. We introduce the core theoretical primitives underlying this space, including reorganization resilience and the generalized sleepy model, and trace their development from Goldfish to RLMD-GHOST. We then analyze the communication and aggregation bottlenecks faced by single-slot finality protocols in large validator settings. Finally, we survey the 3-slot finality (3SF) protocol as a practical synthesis that balances fast finality with the engineering constraints of the Ethereum network.
- Abstract（参考訳）: Ethereumは安全性とともに動的可用性を達成したが、トランザクション実行と不変のファイナリティの間には根本的な遅延が残っている。
Ethereumの現在のGasperプロトコルでは、このレイテンシは15分で、ネットワークが再編成攻撃を処理し、MEVの抽出を可能にし、経済的解決の効率を制限している。
これらの制限は、正式なセキュリティ保証を弱めることなく、確認レイテンシを最小限にすることを目的として、Speedy Secure Finality(SSF)の取り組みの活発化を動機付けている。
本稿では,高速ファイナリティプロトコル設計における最先端技術について検討する。
再組織レジリエンスや一般化スリーピーモデルなど,この空間の根底にある理論的原始概念を導入し,GoldfishからRLMD-GHOSTまでその発展を辿る。
次に、単一スロットファイナリティプロトコルが直面する通信と集約のボトルネックを、大規模なバリデータ設定で解析する。
最後に、Ethereumネットワークのエンジニアリング制約と高速なファイナリティのバランスをとるための実用的な合成として、3スロットファイナリティ(3SF)プロトコルを調査した。
関連論文リスト
- QADR: A Scalable, Quantum-Resistant Protocol for Anonymous Data Reporting [0.0]
将来の大規模IoTネットワークのセキュリティは、Decrypt Laterの攻撃パラダイムであるHarvest Nowによって著しく脅かされている。
本稿では,この課題に対して,理論的ベンチマークと高性能アーキテクチャを提供するハイブリッドフレームワークであるQuantum Anonymous Data Reportingプロトコルを紹介する。
我々は,このプロトコルが性能ベンチマークとして重要な優位性を証明し,将来の量子セキュアな匿名システムのための高性能な目標を確立する。
論文 参考訳（メタデータ） (2025-11-19T09:37:19Z) - Universally Composable Termination Analysis of Tendermint [3.6181225888186055]
本稿では,Tendermintのユニバーサルコンポーザブル(UC)セキュリティ解析について述べる。
戦略的なメッセージ遅延攻撃に対するレジリエンスを示す。
本研究の主な成果は,Tendermint プロトコル UC が理想的な Tendermint モデルを実現することである。
論文 参考訳（メタデータ） (2025-10-01T16:44:23Z) - Commit-Reveal$^2$: Securing Randomness Beacons with Randomized Reveal Order in Smart Contracts [25.885166716453153]
最終公開順序を暗号化的にランダム化するブロックチェーンデプロイメントのための層設計であるCommit-Reveal$2$を提示します。
このプロトコルはハイブリッドシステムとして設計されており、ルーチン調整が効率性のためにチェーンから外れている。
ブロックチェーンアプリケーションにおけるレプリケーションと採用をサポートするために、公に検証可能なプロトタイプと評価アーティファクトをリリースしています。
論文 参考訳（メタデータ） (2025-04-04T21:05:51Z) - Application of $α$-order Information Metrics for Secure Communication in Quantum Physical Layer Design [45.41082277680607]
本稿ではR'enyiエントロピーに基づく$alpha$-order情報理論メトリクスについて検討する。
我々は,BPSK変調を含む実例に,損失のあるボソニックチャネル上の枠組みを適用した。
論文 参考訳（メタデータ） (2025-02-07T03:44:11Z) - Your Trust, Your Terms: A General Paradigm for Near-Instant Cross-Chain Transfer [26.61748905524824]
セキュアで高性能なクロスチェーン決済を実現するために、Delegated Ownership Transfer(DOT)パラダイムを導入します。
DOTは、キーオーナシップをバリューオーナシップから切り離して、セキュアで高性能なクロスチェーン支払いを可能にする。
プロトタイプでは、クロスチェーン支払いは16.70ms以下で、原子スワップは33.09ms以下で完了しており、コストはLayer-1ガス料金から完全に切り離されている。
論文 参考訳（メタデータ） (2024-03-22T13:21:09Z) - Transaction Capacity, Security and Latency in Blockchains [45.776687601070705]
我々は,ブロックが$k$-deepになった後のブロックがいかにセキュアか,すなわちセキュリティレイテンシを中本合意のために分析する。
我々は、セキュリティレイテンシ分析を待ち行列システムの持続的なトランザクションレートに接続する。
論文 参考訳（メタデータ） (2024-02-15T17:43:13Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - Short Paper: Accountable Safety Implies Finality [10.589723476970443]
ビザンチン・フォールト耐性(BFT)状態機械複製(SMR)コンセンサスプロトコルについて、2つの重要なデシラタが研究されている。
説明責任の安全性が最終性を意味することを示し、その結果、以前の結果を統一する。
論文 参考訳（メタデータ） (2023-08-31T17:58:38Z) - Resilient Output Consensus Control of Heterogeneous Multi-agent Systems
against Byzantine Attacks: A Twin Layer Approach [23.824617731137877]
本研究では、ビザンチン攻撃に対する異種マルチエージェントシステム(MAS)の協調的制御の問題について検討する。
仮想双対層(TL)を備えた新しい階層型プロトコルDigital Twinの概念に着想を得た。
論文 参考訳（メタデータ） (2023-03-22T18:23:21Z) - Finite-Size Security for Discrete-Modulated Continuous-Variable Quantum
Key Distribution Protocols [4.58733012283457]
本稿では,一般的なDM CV-QKDプロトコルに対して,独立かつ同一に分散された集団攻撃に対する構成可能な有限サイズセキュリティ証明を提案する。
我々は、セキュア鍵レートの厳密な下限を計算するために、数値的なセキュリティ証明手法を拡張し、適用する。
その結果,少なくとも72kmの伝送距離で実験可能な条件下では,セキュアな有限サイズ鍵レートが得られることがわかった。
論文 参考訳（メタデータ） (2023-01-20T17:16:21Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。