Fugu-MT 論文翻訳(概要): DeFi composability as MEV non-interference

論文の概要: DeFi composability as MEV non-interference

arxiv url: http://arxiv.org/abs/2309.10781v2
Date: Mon, 8 Jan 2024 09:56:06 GMT
ステータス: 処理完了
システム内更新日: 2024-03-19 04:20:31.625299
Title: DeFi composability as MEV non-interference
Title（参考訳）: MEV非干渉としてのDeFiコンポーザビリティ
Authors: Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino,
Abstract要約: 複雑なDeFiサービスは、通常、より単純なスマートコントラクトを構成することで構築される。これらのスマートコントラクトが実行されるブロックチェーンの無許可の性質によって、DeFiサービスはセキュリティ上のリスクにさらされる。我々は,スマートコントラクトの安全な構成可能性という新たな概念を導入し,その依存関係に干渉することで,敵が複合コントラクトを経済的に傷つけないようにした。
参考スコア（独自算出の注目度）: 0.8192907805418581
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Complex DeFi services are usually constructed by composing a variety of simpler smart contracts. The permissionless nature of the blockchains where these smart contracts are executed makes DeFi services exposed to security risks, since adversaries can target any of the underlying contracts to economically damage the compound service. We introduce a new notion of secure composability of smart contracts, which ensures that adversaries cannot economically harm the compound contract by interfering with its dependencies.
Abstract（参考訳）: 複雑なDeFiサービスは、通常、より単純なスマートコントラクトを構成することで構築される。これらのスマートコントラクトが実行されるブロックチェーンの無許可の性質により、DeFiサービスはセキュリティ上のリスクにさらされる。我々は,スマートコントラクトの安全な構成可能性という新たな概念を導入し,その依存関係に干渉することで,敵が複合コントラクトを経済的に傷つけないようにした。

関連論文リスト

Toward Mixture-of-Experts Enabled Trustworthy Semantic Communication for 6G Networks [82.3753728955968]
本稿では,新しいMixture-of-Experts(MoE)ベースのSemComシステムを提案する。このシステムはゲーティングネットワークと複数の専門家で構成され、それぞれ異なるセキュリティ課題に特化している。ゲーティングネットワークは、ユーザ定義のセキュリティ要件に基づいて、異種攻撃に対抗するための適切な専門家を適応的に選択する。車両ネットワークにおけるケーススタディは、MoEベースのSemComシステムの有効性を示す。
論文参考訳（メタデータ） (2024-09-24T03:17:51Z)
Versioned Analysis of Software Quality Indicators and Self-admitted Technical Debt in Ethereum Smart Contracts with Ethstractor [2.052808596154225]
本稿では、バージョン管理されたスマートコントラクトのデータセットを収集する最初のスマートコントラクト収集ツールであるEthstractorを提案する。収集されたデータセットは、スマートコントラクトの脆弱性の指標として、コードメトリクスの信頼性を評価するために使用される。
論文参考訳（メタデータ） (2024-07-22T18:27:29Z)
Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey [0.6554326244334866]
本稿では,開発者がセキュアなスマート技術を開発するのを支援することを目的とした,文献レビューと実験報告を組み合わせる。頻繁な脆弱性とそれに対応する緩和ソリューションのリストを提供する。サンプルのスマートコントラクト上でそれらを実行し、テストすることで、コミュニティが最も広く使用しているツールを評価します。
論文参考訳（メタデータ） (2024-03-28T19:36:53Z)
A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文参考訳（メタデータ） (2024-01-19T14:52:04Z)
Automated Invariant Generation for Solidity Smart Contracts [2.4181711081104282]
本稿では,Solidityスマートコントラクトのための新しい不変生成フレームワークINVCON+を提案する。 INVCON+は既存の不変検出器であるInvConを拡張して、検証された契約不変量を自動生成する。我々は、361 ERC20と10 ERC721実世界の契約と、一般的なERC20脆弱性ベンチマークに基づいてINVCON+を評価する。
論文参考訳（メタデータ） (2024-01-01T03:37:30Z)
Gradual Verification for Smart Contracts [0.4543820534430522]
Algosはスマートコントラクトを通じてセキュアなリソーストランザクションを実現する。従来の検証技術は、包括的なセキュリティ保証の提供に不足している。本稿では,段階的検証という段階的なアプローチを紹介する。
論文参考訳（メタデータ） (2023-11-22T12:42:26Z)
Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair [36.46679501556185]
分散ファイナンス(DeFi)はピアツーピア金融エコシステムとして台頭している。スマートコントラクトには膨大な価値があります攻撃の魅力的なターゲットになります本稿では,脆弱性検出と自動修復の観点から,スマートコントラクトとDeFiセキュリティの分野における進歩を概観する。
論文参考訳（メタデータ） (2023-09-05T17:00:42Z)
Formally Verifying a Real World Smart Contract [52.30656867727018]
われわれは、Solidityの最新バージョンで書かれた現実世界のスマートコントラクトを正式に検証できるツールを検索する。本稿では,最近のSolidityで書かれた実世界のスマートコントラクトを正式に検証できるツールについて紹介する。
論文参考訳（メタデータ） (2023-07-05T14:30:21Z)
Semantic Information Marketing in The Metaverse: A Learning-Based Contract Theory Framework [68.8725783112254]
仮想サービスプロバイダ(VSP)によるインセンティブのメカニズム設計の問題に対処し,センサデータ販売にIoTデバイスを採用。帯域幅が限られているため,センサIoTデバイスによる配信データを削減するためにセマンティック抽出アルゴリズムを提案する。本稿では,新しい反復型契約設計を提案し,マルチエージェント強化学習(MARL)の新たな変種を用いて,モデル付き多次元契約問題の解法を提案する。
論文参考訳（メタデータ） (2023-02-22T15:52:37Z)
Detecting Logical Relation In Contract Clauses [94.85352502638081]
契約における節間の論理的関係の抽出を自動化する手法を開発する。結果として得られたアプローチは、コントラクト作者が節間の潜在的な論理的衝突を検出するのに役立つだろう。
論文参考訳（メタデータ） (2021-11-02T19:26:32Z)
ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep Neural Network and Transfer Learning [80.85273827468063]
既存の機械学習ベースの脆弱性検出方法は制限され、スマートコントラクトが脆弱かどうかのみ検査される。スマートコントラクトのための初のDeep Neural Network(DNN)ベースの脆弱性検出フレームワークであるESCORTを提案する。 ESCORTは6種類の脆弱性に対して平均95%のF1スコアを達成し,検出時間は契約あたり0.02秒であることを示す。
論文参考訳（メタデータ） (2021-03-23T15:04:44Z)

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