論文の概要: 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（参考訳）: ビザンチンおよび過渡断層による自己安定化型状態機械符号化
• 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。

関連論文リスト

• Semantic Fibers and Cross-Gram Interference: A Calculus of Safety Drift in Overcomplete Representations [0.0]
  デプロイされた言語モデルは、英語の有害な要求を拒否するが、その忠実な翻訳に従う。 我々はこの現象を監査同値関係で定式化する。 定式化された商、表現、メートル法、特徴辞書、スコアリングヘッド、しきい値、コントラストモデルに対して、得られた安全ドリフトは正確な線形代数的特徴を持つことを示す。
  論文  参考訳（メタデータ） (2026-09-14T00:23:32Z)
• Generator-Independent Runtime Assurance under Partial Observation [2.7954473524479275]
  提案ベースのコントローラは、ランタイム検証ゲートの後方にますますデプロイされている。 クローズドループ安全保証が発電機から切り離されるのはいつなのかを問う。
  論文  参考訳（メタデータ） (2026-09-05T11:40:42Z)
• Simplex Relaxation for Discrete Diffusion [58.33696160279345]
  Simplax(Simplax)はディリクレ(Dirichlet)のカテゴリー拡張で、それぞれが崩壊したカテゴリ状態と補助的単純度値変数を結合する。 Simplaxは生成パープレキシティーを改善する。-無条件のOpenWebText生成におけるエントロピートレードオフ。
  論文  参考訳（メタデータ） (2026-08-11T07:58:17Z)
• Runtime Observability for Heterogeneous Attention Memory [20.158719055939383]
  3つの演算子を持つ4つのメモリクラスすべてをカバーするランタイムオブザーバビリティ契約を提供します。 ステージごとのスタックを実行可能な要求レベルのリスク台帳に構成する。
  論文  参考訳（メタデータ） (2026-08-06T10:41:50Z)
• Nonlocality-induced critical-length hierarchy from non-Hermitian competition [48.9823527611878]
  2つの連結鎖からなる短距離系において、競合は臨界長法則$N_csimln D$に導かれる。 ここでは、長距離ホッピングがこの臨界挙動を根本的に再編成し、異なるスケーリング法則の階層を生成することを示す。 この結果は,プログラム可能なトポ誘電回路,フォトニック格子,デジタル量子シミュレータでテスト可能なプラットフォーム非依存のフレームワークを提供する。
  論文  参考訳（メタデータ） (2026-08-03T18:00:18Z)
• The Honest Quorum Problem: Epistemic Byzantine Fault Tolerance for Agentic Infrastructure [2.124730017640531]
  ステートマシンレプリケーション(SMR)とビザンチンフォールトトレラント(BFT)コンセンサス保証協定(BFT)は、多くの障害参加者が拘束されているにもかかわらず合意している。 エージェントバリデータは、認証され、応答性があり、非平等であり、プロトコルに準拠した推論参加者は、セマンティックに無効な遷移を支持できる。 本稿では,エージェントインフラストラクチャとポスト決定性分散システムの耐故障モデルであるEBFT(Epstemic Byzantine Fault Tolerance)を定義した。
  論文  参考訳（メタデータ） (2026-07-17T16:43:00Z)
• Survive or Collapse: The Asymmetric Roles of Data Gating and Reward Grounding in Self-Play RL [76.45061154544568]
  セルフプレイ強化学習は、言語モデルを独自の生成タスクで訓練し、人間ラベルなしでプロジェクタとソルバを共進化させる。 最近のシステムでは強い推理効果が報告されているが、崩壊と不安定性は広く観察され、理解されていない。 代わりに、自己プレイの安定性は、提案者生成タスクがトレーニングプールに入るかを判断するデータレベルゲートと、すでに認められたタスクに関するポリシーを更新する報酬信号の2つの異なるレバーによって管理されていると論じる。
  論文  参考訳（メタデータ） (2026-05-21T09:19:23Z)
• Correction and Corruption: A Two-Rate View of Error Flow in LLM Protocols [51.56484100374058]
  そこで本研究では,単一プロトコルステップを正確なマッチングタスクで監査するためのペアアウトカム計測インタフェースを提案する。 各インスタンスについて、インターフェースはベースラインの正当性ビットと後ステップの正当性ビットを記録する。 これらのレートは精度の変化を予測し、種、混合物、パイプライン間でテスト可能な再利用可能な経験的インターフェースを定義する。
  論文  参考訳（メタデータ） (2026-04-20T13:25:40Z)
• Tight Convergence Rates for Online Distributed Linear Estimation with Adversarial Measurements [66.94250413799232]
  分散パラメータ-サーバ-ワーカー設定における乱数ベクトル$X$の推定について検討する。 主な課題は、敵の計測と非同期である。 その結果, 分散線形推定におけるロバスト性, 識別性, 統計的効率の統一的有限時間評価が得られた。
  論文  参考訳（メタデータ） (2026-04-07T11:45:55Z)
• Rejection Mixing: Fast Semantic Propagation of Mask Tokens for Efficient DLLM Inference [58.189320101488725]
  DLLMは高速な非自己回帰推論を約束するが、並列デコーディングにおいて厳しい品質と速度のトレードオフを被る。 我々は、連続表現を離散デコードプロセスに統合することでこの問題に対処する。 本稿では,初期マスキング状態と最終復号化トークン状態の中間として,新しい連続混合状態を導入するフレームワークであるReMixを提案する。
  論文  参考訳（メタデータ） (2026-02-26T11:08:11Z)
• Legitimate Overrides in Decentralized Protocols [7.049550859772001]
  分散プロトコルは不変でルールベースの実行を主張するが、チェーンレベルの凍結、プロトコル停止、アカウント隔離といった緊急メカニズムを組み込むものも多い。 これらのオーバーライドは、エクスプロイトやシステム障害に対応するために不可欠だが、中核的な緊張を露呈する。 約10億ドルの技術的エクスプロイト損失は、オンチェーンの介入によって対処できる可能性があるため、これらのメカニズムの設計には、高い実践的利害関係がある。
  論文  参考訳（メタデータ） (2026-02-12T18:51:30Z)
• Information Fidelity in Tool-Using LLM Agents: A Martingale Analysis of the Model Context Protocol [69.11739400975445]
  モデルコンテキストプロトコル(MCP)エージェントにおけるエラー蓄積を解析するための最初の理論的枠組みを紹介する。 累積歪みが線形成長と高確率偏差を$O(sqrtT)$で表すことを示す。 主な発見は、意味重み付けは歪みを80%減らし、周期的再接地は、エラー制御の約9ステップごとに十分である。
  論文  参考訳（メタデータ） (2026-02-10T21:08:53Z)
• Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers [90.50039419576807]
  RLVR(Reinforcement Learning with Verifiable Rewards)は、人為的なラベル付けを避けるために、自動検証に対するポリシーを訓練する。 認証ハッキングの脆弱性を軽減するため、多くのRLVRシステムはトレーニング中にバイナリ$0,1$の報酬を破棄する。 この選択にはコストがかかる:textitfalse negatives(正しい回答、FNを拒絶)とtextitfalse positives(間違った回答、FPを受け入れる)を導入する。
  論文  参考訳（メタデータ） (2025-10-01T13:56:44Z)
• The Alignment Bottleneck [0.0]
  ループを2段階のカスケード$U to H to Y$ given$S$、認知能力$C_textcog|S$、平均総容量$barC_texttot|S$としてモデル化する。 これは、分離可能なコードブックと、KL項が$m, barC_texttot|S$で同じチャネルで制御されるPAC-Bayes上界とで証明されたデータサイズ非依存のファノ下界をペアする。
  論文  参考訳（メタデータ） (2025-09-19T12:38:30Z)
• Core Safety Values for Provably Corrigible Agents [2.6451153531057985]
  我々は,複数段階の部分的に観察された環境において,検証可能な保証を付与し,適応性のための最初の実装可能なフレームワークを紹介した。 私たちのフレームワークは、単一の報酬を5つの*構造的に分離された*ユーティリティヘッドに置き換えます。 敵がエージェントを修正できるオープンエンド設定では、任意のポストハックエージェントが調整性に反するかどうかを判断することは不可能である。
  論文  参考訳（メタデータ） (2025-07-28T16:19:25Z)
• Accountable Liveness [11.004592479955189]
  生活に資する類似のアカウンタビリティ保証について検討する。 我々は,説明可能な生活が達成可能なパラメータ体系の正確な特性を証明した。
  論文  参考訳（メタデータ） (2025-04-16T16:13:09Z)
• CoBRA: A Universal Strategyproof Confirmation Protocol for Quorum-based Proof-of-Stake Blockchains [1.5761916307614148]
  本稿では, 正当性, ビザンチン性, 有理性バリデータからなるハイブリッド脅威モデルの下で, 量子ベースステートマシンレプリケーション(SMR)プロトコルの形式的解析を行う。 従来の量子ベースのプロトコルの分析では,(1)部分同期ネットワークでは,有意な参加者が1/3ドル以上である場合,(2)有意な参加者が2/3ドル以上ある場合,Byzantine Validatorが2/3ドル以上である場合,SMRは不可能である。
  論文  参考訳（メタデータ） (2025-03-21T01:39:29Z)
• 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)
• Byzantine Robustness and Partial Participation Can Be Achieved at Once: Just Clip Gradient Differences [61.74021364776313]
  分散学習は、大規模な機械学習モデルをトレーニングするための主要なパラダイムとして登場した。 現実のシナリオでは、参加者は信頼できないか悪意があるかもしれない。 本稿では,クライアントサンプリングとビザンチン労働者への許容性を備えた最初の分散手法を提案する。
  論文  参考訳（メタデータ） (2023-11-23T17:50:30Z)
• 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)
• Label Distributionally Robust Losses for Multi-class Classification: Consistency, Robustness and Adaptivity [55.29408396918968]
  多クラス分類のためのラベル分布ロバスト(LDR)損失という損失関数群について検討した。 我々の貢献は、多クラス分類のためのLDR損失のトップ$kの一貫性を確立することによって、一貫性と堅牢性の両方を含んでいる。 本稿では,各インスタンスのクラスラベルの雑音度に個別化温度パラメータを自動的に適応させる適応型LDR損失を提案する。
  論文  参考訳（メタデータ） (2021-12-30T00:27:30Z)
• Certifiably Robust Interpretation via Renyi Differential Privacy [77.04377192920741]
  我々はRenyi差分プライバシー(RDP)の新しい視点から解釈堅牢性の問題を研究する。 まず、証明可能で証明可能なトップ$k$ロバスト性を提供する。 第二に、提案手法は既存の手法よりも実験的堅牢性を$sim10%$で提供する。 第3に,ロバスト性と計算効率のトレードオフを円滑に行うことができる。
  論文  参考訳（メタデータ） (2021-07-04T06:58:01Z)
• Learning from History for Byzantine Robust Optimization [52.68913869776858]
  分散学習の重要性から,ビザンチンの堅牢性が近年注目されている。 既存のロバストアグリゲーションルールの多くは、ビザンチンの攻撃者がいなくても収束しない可能性がある。
  論文  参考訳（メタデータ） (2020-12-18T16:22:32Z)
• Distributing entanglement with separable states: assessment of encoding and decoding imperfections [55.41644538483948]
  絡み合いは、常に関連する他のシステムと分離可能なキャリアを使って分散することができる。 不完全なユニタリ相互作用と協調して作用する不整合力学の影響を考察する。 絡み合いの利得は、相当な単元誤差があっても可能であることを示す。
  論文  参考訳（メタデータ） (2020-02-11T15:25:19Z)

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

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