論文の概要: Banyan: Fast Rotating Leader BFT
- arxiv url: http://arxiv.org/abs/2312.05869v2
- Date: Wed, 30 Oct 2024 15:55:23 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-10-31 13:57:02.151202
- Title: Banyan: Fast Rotating Leader BFT
- Title(参考訳): Banyan: 高速回転型リーダBFT
- Authors: Yann Vonlanthen, Jakub Sliwinski, Massimo Albarello, Roger Wattenhofer,
- Abstract要約: Banyanは、単一のラウンドトリップ時間でトランザクションを確認可能な、最初の回転型リーダステートマシンレプリケーションプロトコルである。
本稿では,高速経路におけるブロック終端遅延の最適化を可能にする新しいデュアルモード機構を提案する。
評価の結果,Banyanは最先端プロトコルと比較して,レイテンシを最大30%削減できることがわかった。
- 参考スコア(独自算出の注目度): 20.52947785138998
- License:
- Abstract: This paper presents Banyan, the first rotating leader state machine replication (SMR) protocol that allows transactions to be confirmed in just a single round-trip time in the Byzantine fault tolerance (BFT) setting. Based on minimal alterations to the Internet Computer Consensus (ICC) protocol and with negligible communication overhead, we introduce a novel dual mode mechanism that enables optimal block finalization latency in the fast path. Crucially, the modes of operation are integrated, such that even if the fast path is not effective, no penalties are incurred. Moreover, our algorithm maintains the core attributes of the ICC protocol it is based on, including optimistic responsiveness and rotating leaders without the necessity for a view-change protocol. We prove the correctness of our protocol and provide an open-source implementation of it. Banyan is compared to its predecessor ICC, as well as other well known BFT protocols, in a globally distributed wide-area network. Our evaluation reveals that Banyan reduces latency by up to 30% compared to state-of-the-art protocols, without requiring additional security assumptions.
- Abstract(参考訳): 本稿では,Banyanについて述べる。Banyanは,ビザンチンの耐障害性(BFT)設定において,単一のラウンドトリップ時間でトランザクションを確認可能な,最初の回転型状態マシンレプリケーション(SMR)プロトコルである。
インターネット・コンピュータ・コンセンサス(ICC)プロトコルの最小限の変更と無視可能な通信オーバーヘッドに基づいて、高速経路における最適なブロック終端遅延を可能にする新しいデュアルモード機構を導入する。
重要なことに、高速経路が有効でない場合でも罰則は発生しないような操作モードが統合される。
さらに,このアルゴリズムでは,ビューチェンジプロトコルを必要とせずに,楽観的な応答性やリーダの回転など,ICCプロトコルのコア属性を維持できる。
我々は,プロトコルの正しさを証明し,そのオープンソース実装を提供する。
バンヤンは、先代のICCや、他のよく知られたBFTプロトコルを、グローバルに分散した広域ネットワークで比較している。
我々の評価によると、Banyanはセキュリティ上の仮定を必要とせず、最先端プロトコルと比較してレイテンシを最大30%削減する。
関連論文リスト
- Experimental Simulation of Two Pulses and Three Pulses Coherent One Way Quantum Key Distribution Protocol in Noisy/Noiseless and Wired/Wireless Environment [1.8638865257327277]
Coherent One Way(COW)プロトコルは、ハードウェア展開の容易さから、最も有名なプロトコルの1つである。
我々は、ノイズのないシナリオとノイズのないシナリオの両方で、プロトコルの符号化と復号部分を示す。
論文 参考訳(メタデータ) (2024-09-23T11:02:52Z) - TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus [1.6364535330823093]
TetraBFTは、部分同期でコンセンサスを解決するためのビザンチンのフォールトトレラントプロトコルである。
厳密なセキュリティ分析と形式的検証により,TetraBFTの正当性を検証した。
我々はTetraBFTをマルチショット連鎖コンセンサスプロトコルに拡張する。
論文 参考訳(メタデータ) (2024-05-04T08:54:42Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳(メタデータ) (2024-01-19T14:52:04Z) - Concurrent Asynchronous Byzantine Agreement in Expected-Constant Rounds, Revisited [3.8014967401609208]
最適なレジリエンスを持つ非同期設定において,最初の情報理論多値OCCプロトコルを提案する。
我々のプロトコルは指数関数サイズのドメインで効率的に実装する。
また、CanettiのUniversal Composabilityフレームワークの証明も提供します。
論文 参考訳(メタデータ) (2023-12-22T08:10:11Z) - Picsou: Enabling Efficient Cross-Consensus Communication [3.050417713643942]
本稿では,新しいプリミティブであるC3B(Cross-Cluster Consistent Broadcast)と,実用的なC3B実装であるPICSOUを紹介する。
PICSOUは、ネットワークとTCPからインスピレーションを得て、2つのRCMが障害のないケースにおける一定のメタデータオーバーヘッドと、障害発生時のメッセージ再送の最小数とを通信できるようにする。
PICSOUの優れたパフォーマンスと汎用性の中心には、各RSMのノードがメッセージが確実に受信されたか、確実に失われているかを正確に判断する、QUICK(quorum admitments)と呼ばれる新しいテクニックがあります。
論文 参考訳(メタデータ) (2023-12-18T09:02:59Z) - Bicoptor 2.0: Addressing Challenges in Probabilistic Truncation for Enhanced Privacy-Preserving Machine Learning [6.733212399517445]
本稿では,既存のPPML作業における確率的トランケーションプロトコルの問題の解析と解決策の提案に焦点をあてる。
精度の面では、既存の作品のいくつかで推奨される精度の選択が誤りであることを明らかにする。
本稿では,今後の課題に対する解法と精度選択ガイドラインを提案する。
論文 参考訳(メタデータ) (2023-09-10T01:43:40Z) - Practical Conformer: Optimizing size, speed and flops of Conformer for
on-Device and cloud ASR [67.63332492134332]
我々は、デバイス上の制約を満たすのに十分小さく、TPUを高速に推論できる最適化されたコンバータを設計する。
提案するエンコーダは、デバイス上では強力なスタンドアロンエンコーダとして、また高性能なASRパイプラインの第1部として利用することができる。
論文 参考訳(メタデータ) (2023-03-31T23:30:48Z) - Towards Semantic Communication Protocols: A Probabilistic Logic
Perspective [69.68769942563812]
我々は,NPMを確率論理型言語ProbLogで記述された解釈可能なシンボルグラフに変換することによって構築された意味プロトコルモデル(SPM)を提案する。
その解釈性とメモリ効率を利用して、衝突回避のためのSPM再構成などのいくつかの応用を実演する。
論文 参考訳(メタデータ) (2022-07-08T14:19:36Z) - Low-Latency Federated Learning over Wireless Channels with Differential
Privacy [142.5983499872664]
フェデレートラーニング(FL)では、モデルトレーニングはクライアントに分散し、ローカルモデルは中央サーバによって集約される。
本稿では,各クライアントの差分プライバシ(DP)要件だけでなく,全体としてのトレーニング性能に制約された無線チャネル上でのFLトレーニング遅延を最小限に抑えることを目的とする。
論文 参考訳(メタデータ) (2021-06-20T13:51:18Z) - Improved Branch and Bound for Neural Network Verification via Lagrangian
Decomposition [161.09660864941603]
ニューラルネットワークの入出力特性を公式に証明するためのブランチとバウンド(BaB)アルゴリズムのスケーラビリティを改善します。
活性化に基づく新しい分岐戦略とBaBフレームワークであるブランチとデュアルネットワーク境界(BaDNB)を提案する。
BaDNBは、従来の完全検証システムを大きなマージンで上回り、対数特性で平均検証時間を最大50倍に削減した。
論文 参考訳(メタデータ) (2021-04-14T09:22:42Z) - Round-robin differential phase-time-shifting protocol for quantum key
distribution: theory and experiment [58.03659958248968]
量子鍵分布(QKD)は、遠隔者間で共通の暗号鍵の確立を可能にする。
近年,信号の乱れの監視を回避できるQKDプロトコルが提案され,初期の実験で実証されている。
我々は,ラウンドロビン差動位相シフトプロトコルのセキュリティ証明を,集団攻撃シナリオにおいて導出する。
その結果,RRDPTSプロトコルは高い量子ビット誤り率の条件下で,RDPSと比較して高い秘密鍵レートが得られることがわかった。
論文 参考訳(メタデータ) (2021-03-15T15:20:09Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。