論文の概要: Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults
- arxiv url: http://arxiv.org/abs/2506.12900v1
- Date: Sun, 15 Jun 2025 16:15:09 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-17 17:28:47.094829
- Title: Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults
- Title（参考訳）: ビザンチンおよび過渡断層による自己安定化型状態機械符号化
- Authors: Shlomi Dolev, Amit Hendin, Maurice Herlihy, Maria Potop Butucaru, Elad Michael Schiller,
- Abstract要約: 本稿では,上述の属性を満たす,ビザンツ協定の履行に関する最初のプロトコルについて述べる。
最大$lceil n/3 rceil-1$過渡断層、最大$lceil n/6 rceil-1$追加の悪意のある過渡断層、または$lceil n/6 rceil-1$(均一に分散された)ランダム過渡断層の面における一貫性を保持する。
- 参考スコア（独自算出の注目度）: 6.799419651009367
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The ability to perform repeated Byzantine agreement lies at the heart of important applications such as blockchain price oracles or replicated state machines. Any such protocol requires the following properties: (1) \textit{Byzantine fault-tolerance}, because not all participants can be assumed to be honest, (2) r\textit{ecurrent transient fault-tolerance}, because even honest participants may be subject to transient ``glitches'', (3) \textit{accuracy}, because the results of quantitative queries (such as price quotes) must lie within the interval of honest participants' inputs, and (4) \textit{self-stabilization}, because it is infeasible to reboot a distributed system following a fault. This paper presents the first protocol for repeated Byzantine agreement that satisfies the properties listed above. Specifically, starting in an arbitrary system configuration, our protocol establishes consistency. It preserves consistency in the face of up to $\lceil n/3 \rceil -1$ Byzantine participants {\em and} constant recurring (``noise'') transient faults, of up to $\lceil n/6 \rceil-1$ additional malicious transient faults, or even more than $\lceil n/6 \rceil-1$ (uniformly distributed) random transient faults, in each repeated Byzantine agreement.
- Abstract（参考訳）: 繰り返しビザンチン合意を実行する能力は、ブロックチェーンの価格オーラクルや複製されたステートマシンといった重要なアプリケーションの中心にある。
このプロトコルでは、(1) \textit{Byzantine fault-tolerance}、(2) r\textit{ecurrent transient fault-tolerance}、(2) r\textit{ecurrent transient fault-tolerance}、(2) 正直な参加者でさえ、過渡的な ``glitches', (3) \textit{accuracy}、(3) 定量的なクエリ(価格の見積もりなど)の結果は、正直な参加者の入力の間隔内に置かれなければならないこと、(4) \textit{self-stabilization} は、障害に続く分散システムを再起動できないこと、などが要求される。
本稿では,上述の属性を満たす,ビザンツ協定の履行に関する最初のプロトコルについて述べる。
具体的には、任意のシステム構成から始めて、我々のプロトコルは一貫性を確立する。
最大$\lceil n/3 \rceil -1$ Byzantine participants {\em and} constantcurrenting (``noise'') transient faults, up $\lceil n/6 \rceil-1$ additional malicious transient faults, or more than $\lceil n/6 \rceil-1$ (uniformly distributed) random transient faults in each repeated Byzantine agreement。
関連論文リスト
- Fractional Spending: VRF&Ring Signatures As Efficient Primitives For Secret Quorums [0.0]
デジタル通貨は、特に二重支出に関して、分散設定の課題に直面している。
Bitcoinのような従来のアプローチでは、トランザクションの総順序を確立するためにコンセンサスを使用する。
本稿では、異なる暗号プリミティブであるVRFとリングシグナチャを同様のプロトコルに統合することにより、そのようなソリューションを強化する。
論文 参考訳（メタデータ） (2024-12-21T14:37:36Z) - SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing [8.471466670802817]
SPLITZは、敵の例に証明可能な堅牢性を提供するための実用的で斬新なアプローチである。
SPLITZのモチベーションは、多くの標準ディープネットワークがリプシッツ定数の不均一性を示すという観察から来ている。
SPLITZは、MNIST、CIFAR-10、ImageNetデータセットにおける既存の最先端のアプローチを一貫して改善することを示す。
論文 参考訳（メタデータ） (2024-07-03T05:13:28Z) - Stable Symmetry-Protected Topological Phases in Systems with Heralded Noise [0.0]
定常状態が安定な混合状態対称性保護位相(SPT)秩序を示す局所量子チャネルの族を示す。
定常状態の短距離対に誤差を閉じ込める補正プロトコルを構築する。
遮蔽ノイズの速度が増加するにつれて、SPTの順序は最終的に有向パーコレーション遷移によって失われる。
論文 参考訳（メタデータ） (2024-04-25T18:21:48Z) - Federated Contextual Cascading Bandits with Asynchronous Communication
and Heterogeneous Users [95.77678166036561]
繊細な通信プロトコルを用いたUPB型アルゴリズムを提案する。
同期フレームワークで達成されたものと同等のサブ線形後悔境界を与えます。
合成および実世界のデータセットに関する実証評価は、後悔と通信コストの観点から、我々のアルゴリズムの優れた性能を検証する。
論文 参考訳（メタデータ） (2024-02-26T05:31:14Z) - Optimization of Time-Dependent Decoherence Rates and Coherent Control
for a Qutrit System [77.34726150561087]
非コヒーレント制御は、特定の制御方法で時間に応じてデコヒーレンス率を決定する。
我々は、システムの最終状態$rho(T)$と与えられたターゲット状態$rho_rmターゲットとの間のヒルベルト・シュミットの重なりを最大化する問題を考察する。
論文 参考訳（メタデータ） (2023-08-08T01:28:50Z) - Demonstrating a long-coherence dual-rail erasure qubit using tunable transmons [59.63080344946083]
共振結合された一対のトランスモンからなる「デュアルレール量子ビット」が高コヒーレントな消去量子ビットを形成することを示す。
我々は、チェック毎に0.1%$ dephasingエラーを導入しながら、消去エラーの中間回路検出を実演する。
この研究は、ハードウェア効率の量子誤り訂正のための魅力的なビルディングブロックとして、トランスモンベースのデュアルレールキュービットを確立する。
論文 参考訳（メタデータ） (2023-07-17T18:00:01Z) - (Private) Kernelized Bandits with Distributed Biased Feedback [13.312928989951505]
分散バイアスフィードバックを用いたカーネル化された帯域幅について検討する。
Emphdistributed phase-then-batch-based elimination (textttDPBE)アルゴリズムを提案する。
textttDPBE は $tildeO(T1-alpha/2+sqrtgamma_TT)$ のサブ線形後悔を実現する。
論文 参考訳（メタデータ） (2023-01-28T02:30:15Z) - Adversarial Sign-Corrupted Isotonic Regression [4.5281658051751785]
textttASCIFITは,textttASCI設定下での3段階推定手法である。
我々は、その理論的な保証を、シャープな高確率上界とミニマックス下界の形で示す。
論文 参考訳（メタデータ） (2022-07-14T17:24:51Z) - Certifiably Robust Interpretation via Renyi Differential Privacy [77.04377192920741]
我々はRenyi差分プライバシー(RDP)の新しい視点から解釈堅牢性の問題を研究する。
まず、証明可能で証明可能なトップ$k$ロバスト性を提供する。
第二に、提案手法は既存の手法よりも実験的堅牢性を$sim10%$で提供する。
第3に,ロバスト性と計算効率のトレードオフを円滑に行うことができる。
論文 参考訳（メタデータ） (2021-07-04T06:58:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。