論文の概要: Lifefin: Escaping Mempool Explosions in DAG-based BFT
- arxiv url: http://arxiv.org/abs/2511.15936v1
- Date: Thu, 20 Nov 2025 00:00:26 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-11-21 17:08:52.40088
- Title: Lifefin: Escaping Mempool Explosions in DAG-based BFT
- Title(参考訳): Lifefin:DAGベースのBFTでメムプール爆発を逃れる
- Authors: Jianting Zhang, Sen Yang, Alberto Sonnino, Sebastián Loza, Aniket Kate,
- Abstract要約: Lifefinは、DAGベースのBFTプロトコルとシームレスに統合するために設計された、汎用的で自己安定化のプロトコルである。
Lifefinは、バウンドリソースを使ったトランザクションを悪条件でもコミットすることで、ノードがメムプール爆発から逃れることを可能にする。
Lifefinは同等のトランザクションスループットを実現し、同様の攻撃に対して最小限のレイテンシを導入する。
- 参考スコア(独自算出の注目度): 16.7429292215009
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Directed Acyclic Graph (DAG)-based Byzantine Fault-Tolerant (BFT) protocols have emerged as promising solutions for high-throughput blockchains. By decoupling data dissemination from transaction ordering and constructing a well-connected DAG in the mempool, these protocols enable zero-message ordering and implicit view changes. However, we identify a fundamental liveness vulnerability: an adversary can trigger mempool explosions to prevent transaction commitment, ultimately compromising the protocol's liveness. In response, this work presents Lifefin, a generic and self-stabilizing protocol designed to integrate seamlessly with existing DAG-based BFT protocols and circumvent such vulnerabilities. Lifefin leverages the Agreement on Common Subset (ACS) mechanism, allowing nodes to escape mempool explosions by committing transactions with bounded resource usage even in adverse conditions. As a result, Lifefin imposes (almost) zero overhead in typical cases while effectively eliminating liveness vulnerabilities. To demonstrate the effectiveness of Lifefin, we integrate it into two state-of-the-art DAG-based BFT protocols, Sailfish and Mysticeti, resulting in two enhanced variants: Sailfish-Lifefin and Mysticeti-Lifefin. We implement these variants and compare them with the original Sailfish and Mysticeti systems. Our evaluation demonstrates that Lifefin achieves comparable transaction throughput while introducing only minimal additional latency to resist similar attacks.
- Abstract(参考訳): Directed Acyclic Graph (DAG)ベースのByzantine Fault-Tolerant (BFT)プロトコルは、高スループットブロックチェーンのための有望なソリューションとして登場した。
トランザクションの順序付けからデータの拡散を分離し、メムプール内で十分に接続されたDAGを構築することで、これらのプロトコルはゼロメッセージの順序付けと暗黙のビュー変更を可能にする。
敵がmempoolの爆発を起こしてトランザクションのコミットを防ぎ、最終的にプロトコルの生存性を損なう。
これに対し、Lifefinは、既存のDAGベースのBFTプロトコルとシームレスに統合し、そのような脆弱性を回避するように設計された、汎用的で自己安定化のプロトコルである。
LifefinはCon Agreement on Common Subset(ACS)メカニズムを活用しており、悪条件下であっても、バウンドリソース使用時のトランザクションをコミットすることで、ノードがメムプール爆発から逃れることができる。
その結果、Lifefinは、通常の場合(ほとんど)オーバーヘッドをゼロにし、ライブの脆弱性を効果的に排除します。
Lifefinの有効性を実証するために、最先端のDAGベースのBFTプロトコルであるSailfishとMysticetiを統合し、その結果、Sailfish-LifefinとMysticeti-Lifefinの2つの改良版が作成された。
これらの変種を実装し、元の Sailfish や Mysticeti システムと比較する。
私たちの評価では、Lifefinは同等のトランザクションスループットを実現しつつ、同様の攻撃に耐えるために最小限のレイテンシしか導入していないことが示されています。
関連論文リスト
- Universally Composable Termination Analysis of Tendermint [3.6181225888186055]
本稿では,Tendermintのユニバーサルコンポーザブル(UC)セキュリティ解析について述べる。
戦略的なメッセージ遅延攻撃に対するレジリエンスを示す。
本研究の主な成果は,Tendermint プロトコル UC が理想的な Tendermint モデルを実現することである。
論文 参考訳(メタデータ) (2025-10-01T16:44:23Z) - A Label-Free Heterophily-Guided Approach for Unsupervised Graph Fraud Detection [60.09453163562244]
本稿では,非教師付きGFDのための非教師付きグラフ不正検出手法(HUGE)を提案する。
推定モジュールでは、GFD の臨界グラフ特性をキャプチャする HALO と呼ばれる新しいラベルフリーなヘテロフィリー計量を設計する。
アライメントに基づく不正検出モジュールにおいて、ランキング損失と非対称アライメント損失を有する合同GNNアーキテクチャを開発する。
論文 参考訳(メタデータ) (2025-02-18T22:07:36Z) - Lazy Layers to Make Fine-Tuned Diffusion Models More Traceable [70.77600345240867]
新たな任意の任意配置(AIAO)戦略は、微調整による除去に耐性を持たせる。
拡散モデルの入力/出力空間のバックドアを設計する既存の手法とは異なり,本手法では,サンプルサブパスの特徴空間にバックドアを埋め込む方法を提案する。
MS-COCO,AFHQ,LSUN,CUB-200,DreamBoothの各データセットに関する実証研究により,AIAOの堅牢性が確認された。
論文 参考訳(メタデータ) (2024-05-01T12:03:39Z) - JUMBO: Fully Asynchronous BFT Consensus Made Truly Scalable [17.532081305310513]
FIN-NGは、最近の署名なし非同期共通サブセットプロトコルFIN(CCS' 23)を、同時放送および合意の最先端フレームワークに適合させる。
我々は,Dumbo-NGのスケーラブルなインスタンス化であるJUMBOを提案し,認証とメッセージの両方に対して$bigO(n2)$の複雑さしか持たない。
論文 参考訳(メタデータ) (2024-03-17T14:53:38Z) - LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts [15.071155232677643]
DeFi(Decentralized Finance)は、30億ドルを超える損失を計上している。
現在の検出ツールは、攻撃活動を効果的に識別する上で重大な課題に直面している。
敵契約を公開することでDeFi攻撃を検出する新しいフレームワークであるLookAheadを提案する。
論文 参考訳(メタデータ) (2024-01-14T11:39:33Z) - Short Paper: Accountable Safety Implies Finality [10.589723476970443]
ビザンチン・フォールト耐性(BFT)状態機械複製(SMR)コンセンサスプロトコルについて、2つの重要なデシラタが研究されている。
説明責任の安全性が最終性を意味することを示し、その結果、以前の結果を統一する。
論文 参考訳(メタデータ) (2023-08-31T17:58:38Z) - Improved Certified Defenses against Data Poisoning with (Deterministic)
Finite Aggregation [122.83280749890078]
本報告では, 一般中毒に対する予防的対策として, フィニット・アグリゲーション(Finite Aggregation)を提案する。
トレーニングセットを直接非結合部分集合に分割するDPAとは対照的に、我々の方法はまず、トレーニングセットをより小さな非結合部分集合に分割する。
我々は、決定論的および集約的認証された防御設計をブリッジして、我々の方法の代替的な見解を提供する。
論文 参考訳(メタデータ) (2022-02-05T20:08:58Z) - On the Practicality of Differential Privacy in Federated Learning by
Tuning Iteration Times [51.61278695776151]
フェデレートラーニング(FL)は、分散クライアント間で機械学習モデルを協調的にトレーニングする際のプライバシ保護でよく知られている。
最近の研究では、naive flは勾配リーク攻撃の影響を受けやすいことが指摘されている。
ディファレンシャルプライバシ(dp)は、勾配漏洩攻撃を防御するための有望な対策として現れる。
論文 参考訳(メタデータ) (2021-01-11T19:43:12Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。