論文の概要: Revisiting Fast Tendermint: An Agreement Violation and Two Repairs

• arxiv url: http://arxiv.org/abs/2610.16442v1
• Date: Mon, 12 Oct 2026 09:08:33 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-18 23:17:31.918064
• Title: Revisiting Fast Tendermint: An Agreement Violation and Two Repairs
• Title（参考訳）: ファスト・テンダーミントを再考する - 合意違反と2つの修復
• Abstract要約: 我々は、Fast Tendermintが発行したラウンドチェンジルールが合意に違反していることを示す。 失敗は、プロセスがラウンドを通り過ぎ、そこで決定された可能性のある値を記録せずに発生します。 ウォークは、各ラウンドをそのラウンドのプリコミットのクォーラムに残し、出発する前にプリコミットするプロセスを必要とする。 Justifyは提案自体で提案を受け入れるために必要なエビデンスを持ち、記録された有効な状態と提案者の同期待ちの両方を削除する。
• 参考スコア（独自算出の注目度）: 51.56484100374058
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Fast Tendermint reduces Tendermint's good-case latency to two communication steps for n>=5f+1. We show that its published round-change rule violates Agreement: one Byzantine process suffices for every f>=1, and for f>=2 two Byzantine processes suffice without double signing. The failure occurs when a process advances past a round without recording the value that may have been decided there. The Quint specification that accompanies the protocol does not allow this kind of round skipping and is not affected; the violation lies in the published pseudocode. We present two repairs. Walk requires a process to leave each round on a quorum of that round's precommits and to precommit before leaving. It keeps the recorded valid state and removes the wait after a precommit quorum. Justify carries the evidence needed to accept a proposal in the proposal itself, removing both the recorded valid state and the proposer's synchronization wait. Both satisfy Agreement and Validity under asynchrony and Termination under the partially synchronous gossip model of Tendermint and Fast Tendermint. Both retain proposal timeouts. The main text presents the executions that violate Agreement and explains the two repairs. The appendices provide proofs, a brief comparison with other round-change designs, and an extension to chains.
• Abstract（参考訳）: Fast Tendermintは、Tendermintのよいケースのレイテンシをn>=5f+1の2つの通信ステップに短縮する。 各 f>=1 に対して 1 つのビザンチン過程は十分であり、f>=2 のビザンチン過程は二重署名なしで十分である。 失敗は、プロセスがラウンドを通り過ぎ、そこで決定された可能性のある値を記録せずに発生します。 プロトコルに付随するQuint仕様は、この種のラウンドスキップを許可せず、影響を受けない。 私たちは2つの修理を行います。 ウォークは、各ラウンドをそのラウンドのプリコミットのクォーラムに残し、出発する前にプリコミットするプロセスを必要とする。 記録された有効な状態を保持し、コミット前のクォーラムの後に待機を除去する。 Justifyは提案自体で提案を受け入れるために必要なエビデンスを持ち、記録された有効な状態と提案者の同期待ちの両方を削除する。 Asynchrony と Termination の下での一致と妥当性はどちらも Tendermint と Fast Tendermint の部分的に同期したゴシップモデルの下で満足する。 どちらも提案のタイムアウトを保持します。 本文は、合意に違反した執行を提示し、2つの修復について説明する。 付録は証明を提供し、他のラウンドチェンジ設計と比較し、チェーンの拡張を提供する。

関連論文リスト

• Hermes: Low Tail-Latency Via Prefix Consensus [38.99330103668365]
  Hermesは、$n=5f+1$プロセスのための2ラウンドのローテーションリーダープロトコルである。 各プロセスは、ビュー開始時に正当化された提案をブロードキャストし、単一投票、デリバリ時のリーダの提案、タイムアウト時のフォールバック提案を発行する。 タイムリーな率直なリーダーは、提案の全文を$2.99で締めくくっている。
  論文  参考訳（メタデータ） (2026-07-28T16:07:45Z)
• What Can Be Enforced? A Theory of Certified Runtime Safety for Tool-Using Agents [0.0]
  ガードレールは不可逆のツールコールの前に動作しますが、その保証は、どのポリシー状態が表現可能であるかによって異なります。 ピアソン表現攻撃はマージンを増すので、良性校正だけでは移動しない。 実験は静的診断、制御モデル列挙、表現書き直し、ペア化された閉ループ再実行を通じてこれらの区別を目標とする。
  論文  参考訳（メタデータ） (2026-07-24T19:14:26Z)
• TRACE: An Operational Reasoning Schema for Auditable Agentic Commitments [0.0]
  TRACE (Typed Reasoning And Commitment Evidence) は、推論トレースを記録するためのタイプ付きバージョン付きスキーマである。 論文は3つのレイヤで、推論は言語モデルにはない、と論じている。 レコード消費者契約は、レコードが保証するものと、その見返りに消費者が尊重すべきものを記述する。
  論文  参考訳（メタデータ） (2026-07-14T08:08:21Z)
• Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification [7.004725450780227]
  本稿では,契約に基づく回帰検証ツールについて紹介する。 契約の健全性は、すべての関数バージョンが振舞いと一致することを証明することによって保証される。 完全な振る舞い仕様ではなく、部分的かつ呼び出し側対応の契約で十分かどうかを問う。
  論文  参考訳（メタデータ） (2026-07-11T12:40:22Z)
• When to Think, When to Speak: Learning Disclosure Policies for LLM Reasoning [60.714416943748866]
  シングルストリームの自己回帰インターフェースでは、同じトークンがモデル状態を更新し、不可逆的な公約を構成する。 そこで我々は,Side-by-Side (SxS) Interleaved Reasoningを導入する。
  論文  参考訳（メタデータ） (2026-05-05T02:59:58Z)
• Rejection Mixing: Fast Semantic Propagation of Mask Tokens for Efficient DLLM Inference [58.189320101488725]
  DLLMは高速な非自己回帰推論を約束するが、並列デコーディングにおいて厳しい品質と速度のトレードオフを被る。 我々は、連続表現を離散デコードプロセスに統合することでこの問題に対処する。 本稿では,初期マスキング状態と最終復号化トークン状態の中間として,新しい連続混合状態を導入するフレームワークであるReMixを提案する。
  論文  参考訳（メタデータ） (2026-02-26T11:08:11Z)
• SpecDiff-2: Scaling Diffusion Drafter Alignment For Faster Speculative Decoding [48.96349422252313]
  投機的復号化は,Large Language Model (LLM)推論の高速化のための標準手法となっている。 自動回帰デコーディングの遅延を回避し、印象的なスピードアップを実現するために、損失のないドラフト検証手順を利用する。 本稿では,これら2つのボトルネックに共同で対処する新しいフレームワークであるSpecDiff-2を提案する。
  論文  参考訳（メタデータ） (2025-11-01T16:12:56Z)
• Pipeline Parallelism is All You Need for Optimized Early-Exit Based Self-Speculative Decoding [73.67253077506672]
  大規模言語モデル(LLM)は、優れた生成品質を提供するが、非常に高い推論コストをもたらす。 早期排他的自己投機的復号法(EESD)がこのコストを軽減するために登場した。 ドラフトと検証作業を完全にパイプライン化するパイプライン・パラレル自己スペクティブ・デコーディング(PPSD)を提案する。
  論文  参考訳（メタデータ） (2025-09-19T04:51:41Z)

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

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