論文の概要: A formal framework for the economic security of DeFi compositions
- arxiv url: http://arxiv.org/abs/2606.05418v1
- Date: Wed, 03 Jun 2026 20:33:59 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-05 22:39:44.392857
- Title: A formal framework for the economic security of DeFi compositions
- Title（参考訳）: DeFiコンポジションの経済安全のための形式的枠組み
- Authors: Massimo Bartoletti, Riccado Marchesin, Roberto Zunino,
- Abstract要約: 我々は、DeFiコンポーザビリティの正式なセキュリティ概念であるMEVノン干渉を導入する。
我々は、有界および非有界な富を持つ2つの敵モデルを研究し、十分な条件と局所性原理を確立する。
本フレームワークは,交換,AMM,オプション,貸し出しプール,ルータ,仲裁契約を含む,DeFi構成の表現に応用する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Decentralized Finance (DeFi) services are usually constructed by composing a variety of smart contracts. While composability is a key driver of the success of DeFi, it also creates security risks: adversaries may exploit interactions between newly deployed contracts and the pre-existing ones to inflict economic losses. We introduce MEV non-interference, a formal security notion for DeFi composability requiring that the maximal extractable value from a set of newly deployed contracts is not increased by interactions with the existing blockchain state. To support this notion, we define local MEV, a novel measure of economic attacks that focusses on the loss of a given set of victim contracts. We study two adversarial models, with bounded and unbounded wealth, and establish sufficient conditions and locality principles that enable modular reasoning about secure composability. We apply the framework to representative DeFi compositions, including exchanges, AMMs, options, lending pools, routers, and arbitrage contracts, showing how it distinguishes secure compositions from vulnerable ones. Our results provide a formal foundation for reasoning about the economic security of DeFi compositions.
- Abstract（参考訳）: 分散ファイナンス(DeFi)サービスは、通常、さまざまなスマートコントラクトを構成することで構築される。
コンポーザビリティはDeFiの成功の鍵となる要因であるが、セキュリティ上のリスクも生み出している。
我々は、DeFiコンポーザビリティの正式なセキュリティ概念であるMEVノンインターオペラビリティを導入し、既存のブロックチェーン状態とのインタラクションによって、新しくデプロイされたコントラクトの集合から最大の抽出可能な値が増加しないように要求する。
この概念を支持するために、我々は、所定の一連の被害者契約の喪失に焦点を当てた、新たな経済攻撃尺度であるローカルMEVを定義した。
我々は,有界・非有界な富を持つ2つの対立モデルについて検討し,セキュアな構成可能性に関するモジュラー推論を可能にする十分な条件と局所性原理を確立する。
このフレームワークは、交換、AMM、オプション、貸し出しプール、ルータ、仲裁契約を含むDeFi構成を代表し、セキュアな構成と脆弱な構成をいかに区別するかを示す。
以上の結果から,DeFi コンポジションの経済的安全性を論じる公式な基盤が得られている。
関連論文リスト
- Provably Secure Agent Guardrail [89.79561918065122]
既存の防衛アーキテクチャは経験的セマンティックガードレールと確率論的大モデル調整器に依存している。
本稿では,論理的推論の基本的制約に基づくエージェントのための新しいセキュリティパラダイムを提案する。
論文 参考訳（メタデータ） (2026-05-28T02:12:41Z) - Byzantine-Robust and Differentially Private Federated Optimization under Weaker Assumptions [89.52532304099522]
フェデレートラーニング(FL)は、クライアントが生データを集中せずに共有モデルを共同でトレーニングすることを可能にし、固有のプライバシーレベルを提供する。
グラデーションとモデル更新は機密情報を漏洩する可能性があるが、悪意のあるサーバはビザンティン操作のような敵攻撃をマウントする可能性がある。
これらの脆弱性は、統合されたフレームワーク内の差分プライバシー(DP)とビザンチンの堅牢性に対処する必要性を強調している。
Byz-Clip21-SGD2Mを提案する。
論文 参考訳（メタデータ） (2026-03-24T17:39:09Z) - Zero-Trust Foundation Models: A New Paradigm for Secure and Collaborative Artificial Intelligence for Internet of Things [61.43014629640404]
Zero-Trust Foundation Models (ZTFM)は、ゼロトラストセキュリティの原則をIoT(Internet of Things)システムの基盤モデル(FM)のライフサイクルに組み込む。
ZTFMは、分散、異質、潜在的に敵対的なIoT環境にわたって、セキュアでプライバシ保護のAIを可能にする。
論文 参考訳（メタデータ） (2025-05-26T06:44:31Z) - A quantitative notion of economic security for smart contract compositions [0.4604003661048266]
単一コンポーネントに対する攻撃がシステム全体の経済的損失を増幅する方法を測定する量的セキュリティの概念を導入する。
特に、貸し出しプロトコルと分散型取引所からなるシステムにおける過度の担保ローン攻撃を分析します。
論文 参考訳（メタデータ） (2025-05-25T07:10:55Z) - Economic Security of Multiple Shared Security Protocols [5.335834405397044]
我々は、多重SSP問題を形式化し、2つのアーキテクチャを解析する。
Model $mathbbM$と呼ばれる独立した断片化モデルと、Model $mathbbS$と呼ばれる共有統一モデルが研究されている。
以上の結果から,Model $mathbbM$はデプロイの柔軟性を提供するが,最小コストの攻撃脆弱性を継承する一方で,Model $mathbbS$は単一のバリデータセットと集約スラッシュロジックを通じて,より厳密なセキュリティ保証を実現することがわかった。
論文 参考訳（メタデータ） (2025-05-05T08:40:16Z) - Rethinking Byzantine Robustness in Federated Recommendation from Sparse Aggregation Perspective [65.65471972217814]
フェデレーションラーニング(FL)に基づいたフェデレーションレコメンデーション(FR)が出現し、個人データをローカルクライアントに保持し、モデルを協調的に更新する。
FR には独自のスパース集約機構があり、各項目の埋め込みは、一般の FL の密集集合において、完全なクライアントではなく、部分的なクライアントによって更新される。
本稿では,単一項目の集約を最小の実行単位として定義することにより,スパースアグリゲーションの下でのビザンチンのロバスト性を再構成する。
本研究では,スパースアグリゲーションの脆弱性を悪用し,敵の知識と能力に沿って分類する,Sp attackという効果的な攻撃戦略のファミリーを提案する。
論文 参考訳（メタデータ） (2025-01-06T15:19:26Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts [15.071155232677643]
DeFi(Decentralized Finance)は、30億ドルを超える損失を計上している。
現在の検出ツールは、攻撃活動を効果的に識別する上で重大な課題に直面している。
敵契約を公開することでDeFi攻撃を検出する新しいフレームワークであるLookAheadを提案する。
論文 参考訳（メタデータ） (2024-01-14T11:39:33Z) - DeFi composability as MEV non-interference [0.8192907805418581]
複雑なDeFiサービスは、通常、より単純なスマートコントラクトを構成することで構築される。
これらのスマートコントラクトが実行されるブロックチェーンの無許可の性質によって、DeFiサービスはセキュリティ上のリスクにさらされる。
我々は,スマートコントラクトの安全な構成可能性という新たな概念を導入し,その依存関係に干渉することで,敵が複合コントラクトを経済的に傷つけないようにした。
論文 参考訳（メタデータ） (2023-09-19T17:32:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。