論文の概要: PROTECT-DB: Protecting Data using Replicated State Machines: Efficient Corruption Detection & Recovery
- arxiv url: http://arxiv.org/abs/2605.11953v1
- Date: Tue, 12 May 2026 11:03:33 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-13 21:48:56.810326
- Title: PROTECT-DB: Protecting Data using Replicated State Machines: Efficient Corruption Detection & Recovery
- Title（参考訳）: PROTECT-DB: Replicated State Machinesを用いたデータ保護:効率的な破壊検出と回復
- Authors: Anant Utgikar, S. Sudarshan,
- Abstract要約: 我々は、共有ログ/ブロックチェーンの決定論的拡張の上に構築されたByzantine-faultトレラント複製ステートマシンに基づくアプローチを検討する。
我々の焦点は、汚職の効率的かつ迅速な検出と、トランザクションの実行と同時の迅速な修復のために設計された実用的なシステムを作ることである。
我々の研究は、データベースのコンテキストにおけるBFT複製状態マシンアプローチの実践的利用の基礎を築いていると信じています。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Data is critical for the operation of any organization and needs to be protected, especially against attacks that compromise the state of the database. In this paper, we explore an approach based on Byzantine-fault tolerant replicated state machines, built on top of a deterministic extension of PostgreSQL. Each replica deterministically executes transactions recorded in a shared log/blockchain. Our focus is on creating a practical system that is designed for efficient and quick detection of corruption, as well as quick repair concurrent with execution of transactions. We also present a performance study showing the efficiency and practicality of our approach. We believe our work lays the foundations for the practical use of the BFT replicated state machine approach in the context of databases.
- Abstract（参考訳）: データはあらゆる組織の運用において重要であり、特にデータベースの状態を侵害する攻撃に対して保護される必要がある。
本稿では、PostgreSQLの決定論的拡張の上に構築されたByzantine-faultトレラント複製ステートマシンに基づくアプローチについて検討する。
各レプリカは、共有ログ/ブロックチェーンに記録されたトランザクションを決定的に実行する。
我々の焦点は、汚職の効率的かつ迅速な検出と、トランザクションの実行と同時の迅速な修復のために設計された実用的なシステムを作ることである。
また,本手法の効率性と実用性についても検討した。
我々の研究は、データベースのコンテキストにおけるBFT複製状態マシンアプローチの実践的利用の基礎を築いていると信じています。
関連論文リスト
- IMMACULATE: A Practical LLM Auditing Framework via Verifiable Computation [49.796717294455796]
経済的なモチベーションのある逸脱を検出するための実践的な監査フレームワークIMMACULATEを提案する。
IMMACULATEは、検証可能な計算を用いて少数のリクエストを選択的に監査し、暗号オーバーヘッドを償却しながら強力な検出保証を達成する。
論文 参考訳（メタデータ） (2026-02-26T07:21:02Z) - Optimized Disaster Recovery for Distributed Storage Systems: Lightweight Metadata Architectures to Overcome Cryptographic Hashing Bottleneck [0.0]
本稿では, 完全ないし部分的再ハッシュが避けられない動作条件を特徴付ける。
提案フレームワークは,DR中の瞬時デルタが可能なコンテンツ解析を経時的に依存するデータブロックに対して,暗号オーバーヘッドを伴わずに,グローバルにユニークな複合識別子を割り当てる。
論文 参考訳（メタデータ） (2026-02-23T21:34:25Z) - ReliabilityRAG: Effective and Provably Robust Defense for RAG-based Web-Search [69.60882125603133]
本稿では,検索した文書の信頼性情報を明確に活用する,敵対的堅牢性のためのフレームワークであるReliabilityRAGを提案する。
我々の研究は、RAGの回収されたコーパスの腐敗に対するより効果的で確実に堅牢な防御に向けた重要な一歩である。
論文 参考訳（メタデータ） (2025-09-27T22:36:42Z) - Transformer-Gather, Fuzzy-Reconsider: A Scalable Hybrid Framework for Entity Resolution [0.0]
いくつかの重要な問題に対処するために設計されたスケーラブルなハイブリッドフレームワークを導入します。
事前学習された言語モデルを用いて、構造化された各データを対応するセマンティック埋め込みベクトルに符号化する。
意味論的に関連する候補のサブセットを検索した後、構文的検証段階を適用する。
論文 参考訳（メタデータ） (2025-09-22T08:05:44Z) - AlDBaran: Towards Blazingly Fast State Commitments for Blockchains [52.39305978984572]
AlDBaranは、50Gbpsのネットワークスループットで、状態更新を効率的に処理できる認証データ構造である。
AlDBaranは、様々な新しい応用を促進する歴史的な状態証明のサポートを提供する。
コンシューマレベルのポータブルハードウェアでは、インメモリ設定で約800万更新/秒、サブ秒間隔でスナップショットで500万更新/秒を達成する。
論文 参考訳（メタデータ） (2025-08-14T09:52:15Z) - Log-Augmented Generation: Scaling Test-Time Reasoning with Reusable Computation [80.69067017594709]
大規模言語モデル(LLM)とそのエージェントモデルは、以前のタスクからの推論を維持するのに苦労する。
本稿では,従来の計算を直接再利用し,テスト時に過去のログから推論する新しいフレームワークであるLAGを提案する。
本手法は,ログを使用しない標準的なエージェントシステムよりも優れている。
論文 参考訳（メタデータ） (2025-05-20T14:14:38Z) - Are You Getting What You Pay For? Auditing Model Substitution in LLM APIs [71.7892165868749]
LLM(Commercial Large Language Model) APIは基本的な信頼の問題を生み出します。
ユーザーは特定のモデルに課金するが、プロバイダが忠実に提供できることを保証することはない。
我々は,このモデル置換問題を定式化し,現実的な逆条件下での検出方法を評価する。
我々は,信頼された実行環境(TEE)を実用的で堅牢なソリューションとして使用し,評価する。
論文 参考訳（メタデータ） (2025-04-07T03:57:41Z) - HOPE: Homomorphic Order-Preserving Encryption for Outsourced Databases -- A Stateless Approach [0.7770535067924795]
Homomorphic OPE(Homomorphic OPE)は、クライアント側のストレージを排除し、クエリ実行中に追加のクライアントサーバ間のインタラクションを回避する新しいOPEスキームである。
我々は、広く受け入れられているIND-OCPAモデルの下で、HOPEの正式な暗号解析を行い、その安全性を証明した。
論文 参考訳（メタデータ） (2024-11-26T00:38:46Z) - Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations [50.37808220291108]
本稿では,専門家によるデモンストレーションの部分的な観察から,安全な出力フィードバック制御法を考察する。
まず,安全性を保証する手段として,ロバスト出力制御バリア関数(ROCBF)を提案する。
次に、安全なシステム動作を示す専門家による実証からROCBFを学習するための最適化問題を定式化する。
論文 参考訳（メタデータ） (2021-11-18T23:21:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。