論文の概要: A Composable CRDT Layer for Byzantine-Resilient Deterministic Reconstruction

• arxiv url: http://arxiv.org/abs/2606.18966v2
• Date: Mon, 22 Jun 2026 07:37:16 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-24 16:10:14.746639
• Title: A Composable CRDT Layer for Byzantine-Resilient Deterministic Reconstruction
• Title（参考訳）: Byzantine-Resilient Deterministic Reconstructionのための構成可能なCRDT層
• Authors: Amos Brocco,
• Abstract要約: 競合のない複製データ型(CRDT)は、調整なしでStrong Even Consistencyを保証する。 決定論的状態再構成によってこの問題に対処する。 任意の更新インジェクションの下でも,再構成モデルにより収束が保証されることを示す。
• 参考スコア（独自算出の注目度）: 0.40611352512781873
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Conflict-free Replicated Data Types (CRDTs) ensure Strong Eventual Consistency without coordination, but typically assume benign participants and rely on validation or exclusion to handle Byzantine behavior. We address this problem through deterministic state reconstruction: rather than deciding which updates are admissible, all accepted updates are incorporated, while only a subset contributes to the reconstructed state. We instantiate this approach in Melda, a non-intrusive delta-state CRDT for JSON documents, and show that its reconstruction model guarantees convergence even under arbitrary update injection: adversarial updates are either structurally rejected or treated as inputs to the reconstruction process. We formalize this model and prove that replicas deriving state from the same set of updates cannot diverge despite equivocation, omission, or message reordering. We further show that authentication, authorization, and confidentiality can be layered without affecting convergence. Overall, this approach suggests that Byzantine tolerance can be achieved by decoupling update propagation from state derivation, allowing agreement on updates to be handled independently by external dissemination or consensus mechanisms.
• Abstract（参考訳）: 競合のないReplicated Data Types (CRDT) は、調整なしで強い結果整合性を保証するが、通常は良識のある参加者を仮定し、ビザンチンの振る舞いを扱うために検証や除外に依存する。 決定論的状態再構成によってこの問題に対処する。どの更新が許容可能かを決定するのではなく、すべての更新が組み込まれ、サブセットのみが再構成された状態に寄与する。 我々は,JSON文書の非侵入的デルタ状態CRDTであるMeldaでこのアプローチをインスタンス化し,その再構成モデルが任意の更新インジェクションの下でも収束を保証することを示す。 このモデルを形式化し、同じ更新セットから状態を引き出すレプリカが、均等性、省略性、メッセージの順序変更に関わらず、分散できないことを証明します。 さらに、コンバージェンスに影響を与えることなく、認証、認可、機密性が階層化可能であることを示す。 全体としては、Byzantineの寛容性は、状態の導出から更新の伝播を分離することで達成でき、外部の拡散やコンセンサス機構によって、更新に関する合意を独立して扱うことができることを示唆している。

関連論文リスト

• did:crdt: Coordination-Free Decentralised Identifiers via Signed CRDTs [0.0]
  既存の分散識別子(DID)メソッドは、DID文書を更新するために、合意されたグローバルな操作順序である調整を必要とする。 我々は、W3C DID CoreをターゲットにしたDIDメソッドであるcrdtを提示した。 それぞれのDIDドキュメントは、署名付きConflict-Free Replicated Data Types (CRDTs)で構成され、文書フィールド毎に1つずつ選択され、コンカレント編集が決定的にマージされる。
  論文  参考訳（メタデータ） (2026-06-15T05:04:47Z)
• Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems [2.124730017640531]
  構造化された人工物から実行権限を演算する制御された突然変異システムに対する検証フレームワークを提案する。 DTFは、エージェント実行を統治可能、監査可能、およびソブリンAIデプロイメントにバウンド化するためのインフラストラクチャ基盤を提供する。
  論文  参考訳（メタデータ） (2026-05-13T17:58:52Z)
• ANNEAL: Adapting LLM Agents via Governed Symbolic Patch Learning [12.44509691077682]
  本稿では,繰り返し発生する障害をプロセス知識グラフのシンボル編集に変換する神経シンボルエージェントであるANNEALを紹介する。 その中核となるメカニズムであるFDKA(Failure-Driven Knowledge Acquisition)は、責任のあるオペレータをローカライズし、制約付きLLM生成を通じて型付きパッチを合成し、提案を検証する。 4つのドメインと27のマルチシードランをまたいだANNEALは、永続的な構造修復を行う唯一の評価システムである。
  論文  参考訳（メタデータ） (2026-05-04T05:24:03Z)
• Scaling Human-AI Coding Collaboration Requires a Governable Consensus Layer [22.42181408084751]
  ビブコーディングは正確で実行可能なコードを高速に生成するが、構造的なコミットメントや依存関係、証拠の記録は残っていない。 本稿では,操作可能な世界モデルであるコンセンサス層Cが,エンジニアリングの主要な成果物としてコードを置き換えるパラダイムであるエージェント・コンセンサスを提案する。 本稿では,チャットによるベースラインと比較して,コンセンサスに基づく人間の介入を減らすかどうかを測定するためのベンチマークタスクファミリーを提案する。
  論文  参考訳（メタデータ） (2026-04-20T06:53:32Z)
• Byzantine-Robust and Differentially Private Federated Optimization under Weaker Assumptions [89.52532304099522]
  フェデレートラーニング(FL)は、クライアントが生データを集中せずに共有モデルを共同でトレーニングすることを可能にし、固有のプライバシーレベルを提供する。 グラデーションとモデル更新は機密情報を漏洩する可能性があるが、悪意のあるサーバはビザンティン操作のような敵攻撃をマウントする可能性がある。 これらの脆弱性は、統合されたフレームワーク内の差分プライバシー(DP)とビザンチンの堅牢性に対処する必要性を強調している。 Byz-Clip21-SGD2Mを提案する。
  論文  参考訳（メタデータ） (2026-03-24T17:39:09Z)
• Notes on the Reward Representation of Posterior Updates [1.0247773757446124]
  固定確率モデルにおいて, KL-正則化ソフトアップデートがベイズ後部である場合について検討した。 この体制では、行動の変化は、そのチャネルによって実行される証拠によってのみ引き起こされる。 後続のアップデートは、行動を変える相対的な文脈依存のインセンティブ信号を決定するが、絶対的な報酬は決定しない。
  論文  参考訳（メタデータ） (2026-02-02T23:37:39Z)
• Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version) [67.99023219822564]
  我々はリレーショナルアクションベース(RAB)の一般的な枠組みを紹介する。 RABは両方の制限を解除することで既存のモデルを一般化する。 データ対応ビジネスプロセスのベンチマークにおいて、このアプローチの有効性を実証する。
  論文  参考訳（メタデータ） (2022-08-12T17:03:50Z)
• Toward Certified Robustness Against Real-World Distribution Shifts [65.66374339500025]
  我々は、データから摂動を学ぶために生成モデルを訓練し、学習したモデルの出力に関して仕様を定義する。 この設定から生じるユニークな挑戦は、既存の検証者がシグモイドの活性化を厳密に近似できないことである。 本稿では,古典的な反例誘導的抽象的洗練の概念を活用するシグモイドアクティベーションを扱うための一般的なメタアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2022-06-08T04:09:13Z)
• Towards a Theoretical Understanding of the Robustness of Variational Autoencoders [82.68133908421792]
  敵攻撃や他の入力摂動に対する変分オートエンコーダ(VAE)の堅牢性を理解するために,我々は進出している。 確率モデルにおけるロバスト性のための新しい基準である$r$-robustnessを開発する。 遠心法を用いて訓練したVAEが、ロバストネスの指標でよく評価されていることを示す。
  論文  参考訳（メタデータ） (2020-07-14T21:22:29Z)

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

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