論文の概要: When Can Stateless Recovery Defeat Byzantine Quorum Safety? A Tight Normal Form for Single-Step BFT

• arxiv url: http://arxiv.org/abs/2610.07759v1
• Date: Tue, 06 Oct 2026 04:55:15 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-08 02:58:29.816478
• Title: When Can Stateless Recovery Defeat Byzantine Quorum Safety? A Tight Normal Form for Single-Step BFT
• Title（参考訳）: 状態回復はビザンチン質の安全性を損なうか? : シングルステップBFTのタイトな正常型
• Abstract要約: ビザンチンクォーラムの安全性は、矛盾する値に署名することを拒否した正しいレプリカに依存している。 我々は、少なくとも$q$$n$レプリカの署名された投票と一致して形成された証明書を調査する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Byzantine quorum safety relies on correct replicas refusing to sign conflicting values. A replica that loses its protocol state during recovery but retains its identity and signing key may forget an earlier vote. We study certificates formed by matching signed votes from at least $q$ of $n$ replicas, assuming that each correct replica avoids conflicting votes between recoveries. If two conflicting certificates form, their overlap has size between $2q-n$ and $b+c$, where $b$ counts Byzantine replicas and $c$ counts correct identities that recovered during the execution considered. Our main result decomposes the slack $b+c-(2q-n)$ into four nonnegative counts: extra signers in the first certificate, extra signers in the second, identities in neither certificate, and Byzantine or recovering identities outside their overlap. Zero slack forces an exact signer partition. With $n=3f+1$ replicas, threshold $q=2f+1$, at most $f$ Byzantine replicas, and exactly one correct recovery event, any conflicting pair forces exactly $f$ Byzantine replicas, all in the overlap together with the recovered replica; each certificate has a disjoint side of $f$ correct replicas. A minimal protocol attains this form. We distinguish certificate formation from acceptance, give a sufficient check using configured fault and recovery caps, and explain why durable vote records written before signature release prevent the conflict.
• Abstract（参考訳）: ビザンチンクォーラムの安全性は、矛盾する値に署名することを拒否した正しいレプリカに依存している。 回復中にプロトコル状態を失うが、そのアイデンティティを保持し、署名キーは以前の投票を忘れる可能性がある。 各レプリカがリカバリ間で矛盾する投票を避けることを前提として、少なくとも$q$の$n$レプリカから署名された投票をマッチングして形成された証明書を調査する。 2つの競合する証明書が形成された場合、そのオーバーラップサイズは2q-n$と$b+c$で、$b$はビザンティンのレプリカをカウントし、$c$は実行時に考慮された正しいIDをカウントする。 私たちの主な結果は、slack $b+c-(2q-n)$を4つの非負のカウントに分解します。 ゼロスラックは正確なシグナ分割を強制する。 $n=3f+1$レプリカ、しきい値$q=2f+1$、最大値$f$ビザンティンレプリカ、正確に1つの正確なリカバリイベントでは、衝突するペアは正確に$f$ビザンティンレプリカと重なり合う。 最小限のプロトコルがこの形式を実現する。 我々は,認証作成と受理を区別し,設定された障害と回復キャップを用いて十分なチェックを行うとともに,署名リリース前に書かれた耐久性のある投票記録が紛争を防いでいる理由を説明する。

関連論文リスト

• Full-Key Recovery and Forgery from One MQOM v2.1 Signature [0.0]
  NIST追加署名プロセスにおけるラウンド3候補であるMQOM v2.1に対して、完全なキー回復攻撃を与える。 承認された署名から完全な署名キーを復元し、新しいメッセージにサインするためにそれを使用します。
  論文  参考訳（メタデータ） (2026-08-10T15:04:50Z)
• ShortOPD: Recovering Pruned LLMs with Short-to-Long On-Policy Distillation [72.54604107217669]
  textscpass@$k$は圧縮後にほぼ消滅するが、textscpass@$k$は繰り返しサンプリングの下でほぼ回復する。 回復は、密集したトークンレベルの監督の下で、圧縮されたモデル自身のオン政治状態で訓練すべきである。 我々は,教師が確認した反復接尾辞を検知する短時間のOPDスケジュールであるtextbfshortopdを提案する。
  論文  参考訳（メタデータ） (2026-07-14T17:50:50Z)
• Correction and Corruption: A Two-Rate View of Error Flow in LLM Protocols [51.56484100374058]
  そこで本研究では,単一プロトコルステップを正確なマッチングタスクで監査するためのペアアウトカム計測インタフェースを提案する。 各インスタンスについて、インターフェースはベースラインの正当性ビットと後ステップの正当性ビットを記録する。 これらのレートは精度の変化を予測し、種、混合物、パイプライン間でテスト可能な再利用可能な経験的インターフェースを定義する。
  論文  参考訳（メタデータ） (2026-04-20T13:25:40Z)
• Authenticated Contradictions from Desynchronized Provenance and Watermarking [48.47756819432157]
  この研究は、$textitIntegrity Clash$を形式化し、実証的に実証している。 本稿では,3500枚のテスト画像に対して100%の分類精度を達成し,証明メタデータと透かし検出ステータスを共同評価する層間監査プロトコルを提案する。
  論文  参考訳（メタデータ） (2026-03-02T20:42:12Z)
• Kudzu: Fast and Simple High-Throughput BFT [3.122408196953971]
  Kudzuは、高速経路を統合した高スループットの原子放送プロトコルである。 我々のプロトコルは、$n = 3f + 2p + 1$のレプリカがすべて正しく振る舞う場合、わずか2ラウンドの通信で最終性を達成する。 プログレス証明書、複雑なビューの変更、投機的実行などの複雑な処理は避けられる。
  論文  参考訳（メタデータ） (2025-05-13T17:50:05Z)
• Juggernaut: Efficient Crypto-Agnostic Byzantine Agreement [1.77513002450736]
  信頼できる設定によって、$tn/2$の汚職が存在する場合、ビザンツ協定の問題を解決することはよく知られている。 本稿では, レジリエンスに最適化されたビザンチン合意プロトコルを, 暗号に依存しないものに変換するコンパイラを提案する。 以上の結果より,少なくとも$n$の2因子はビット複雑性の最先端性を改善し,早期停止(決定論的)あるいは期待される一定ラウンド複雑性(ランダム化)を提供する。
  論文  参考訳（メタデータ） (2024-10-15T23:44:29Z)
• Revocable Quantum Digital Signatures [57.25067425963082]
  我々は、LWE仮定から取り消し可能な署名キーでデジタル署名を定義し、構築する。 このプリミティブでは、署名キーは、ユーザーが多くのメッセージに署名できる量子状態である。 一度キーが取り消されたら、キーの最初の受信者が署名する能力を失うことを要求します。
  論文  参考訳（メタデータ） (2023-12-21T04:10:07Z)
• ANCER: Anisotropic Certification via Sample-wise Volume Maximization [134.7866967491167]
  本稿では,与えられたテストセットのサンプルに対して,ボリュームを介して異方性証明書を取得するためのフレームワークであるanceRを紹介する。 その結果,CERはCIFAR-10とImageNetの両方で複数の半径で精度を導入し,ボリュームの面ではかなり大きな領域を認証していることがわかった。
  論文  参考訳（メタデータ） (2021-07-09T17:42:38Z)
• Breaking certified defenses: Semantic adversarial examples with spoofed robustness certificates [57.52763961195292]
  本稿では,分類器のラベル付け機能だけでなく,証明書生成機能を利用した新たな攻撃を提案する。 提案手法は, 画像がクラス境界から遠ざかる大きな摂動を, 対向例の不受容性を保ちながら適用する。
  論文  参考訳（メタデータ） (2020-03-19T17:59:44Z)

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

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