論文の概要: Profiling Gas Consumption in Solidity Smart Contracts
- arxiv url: http://arxiv.org/abs/2008.05449v3
- Date: Wed, 15 Dec 2021 15:49:09 GMT
- ステータス: 処理完了
- システム内更新日: 2022-10-31 05:50:44.093287
- Title: Profiling Gas Consumption in Solidity Smart Contracts
- Title（参考訳）: 固体スマートコントラクトにおけるガス消費量のプロファイリング
- Authors: Andrea Di Sorbo, Sonia Laudanna, Anna Vacca, Corrado A. Visaggio,
Gerardo Canfora
- Abstract要約: 本稿では,ガス消費の観点から,スマートコントラクトのコード品質を静的に評価するためのメトリクススイートであるGasMetを提案する。
2,186のスマートコントラクトを含む実験では、提案されたメトリクスがデプロイメントコストと直接関連していることが示されている。
- 参考スコア（独自算出の注目度）: 3.0378875015087567
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Nowadays, more and more applications are developed for running on a
distributed ledger technology, namely dApps. The business logic of dApps is
usually implemented within smart contracts developed through Solidity, a
programming language for writing smart contracts on different blockchain
platforms, including the popular Ethereum. In Ethereum, the smart contracts run
on the machines of miners and the gas corresponds to the execution fee
compensating such computing resources. However, the deployment and execution
costs of a smart contract depend on the implementation choices done by
developers. Unappropriated design choices could lead to higher gas consumption
than necessary. In this paper, we (i) identify a set of 19 Solidity code smells
affecting the deployment and transaction costs of a smart contract, and (ii)
assess the relevance of such smells through a survey involving 34 participants.
On top of these smells, we propose GasMet, a suite of metrics for statically
evaluating the code quality of a smart contract from the gas consumption
perspective. An experiment involving 2,186 smart contracts demonstrates that
the proposed metrics have direct associations with deployment costs. The
metrics in our suite can be used for more easily identifying source code
segments that need optimizations.
- Abstract（参考訳）: 現在、分散台帳技術、すなわちdapps上で動作するアプリケーションがますます多く開発されている。
dAppsのビジネスロジックは通常、一般的なEthereumを含むさまざまなブロックチェーンプラットフォームでスマートコントラクトを記述するためのプログラミング言語であるSolidityを通じて開発されたスマートコントラクト内で実装される。
ethereumでは、スマートコントラクトはマイナのマシン上で動作し、ガスはそのようなコンピューティングリソースを補償する実行費用に相当する。
しかし、スマートコントラクトのデプロイと実行コストは、開発者が行う実装選択に依存します。
設計上の不適切な選択は、必要以上に高いガス消費をもたらす可能性がある。
本稿では,
(i)スマートコントラクトのデプロイメントやトランザクションコストに影響を与える19の固形コードの臭いを識別する。
(ii)34名を対象にした調査により,臭気との関連性を評価する。
これらの臭いに加えて,ガス消費の観点から,スマートコントラクトのコード品質を静的に評価するための指標セットであるGasMetを提案する。
2,186のスマートコントラクトを含む実験では、提案されたメトリクスがデプロイメントコストと直接関連していることが示されている。
私たちのスイートのメトリクスは、最適化が必要なソースコードセグメントをより簡単に特定するために使用できます。
関連論文リスト
- Codev-Bench: How Do LLMs Understand Developer-Centric Code Completion? [60.84912551069379]
Code-Development Benchmark (Codev-Bench)は、細粒度で現実世界、リポジトリレベル、開発者中心の評価フレームワークです。
Codev-Agentは、リポジトリのクローリングを自動化し、実行環境を構築し、既存のユニットテストから動的呼び出しチェーンを抽出し、データ漏洩を避けるために新しいテストサンプルを生成するエージェントベースのシステムである。
論文 参考訳（メタデータ） (2024-10-02T09:11:10Z) - 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) - Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction [10.723903783651537]
過去の取引履歴から契約仕様を推測するための仕様マイニング手法を提案する。
提案手法は,トランザクション履歴から統計的に推測されるプログラム不変量とともに,関数呼び出しの高レベルな挙動自動化を導出する。
論文 参考訳（メタデータ） (2024-03-20T03:39:51Z) - Contract Usage and Evolution in Android Mobile Applications [45.44831696628473]
JavaやKotlinで記述されたAndroidアプリケーションにおけるコントラクトの存在と使用に関する,最初の大規模な実証的研究を紹介する。
F-Droidリポジトリから2,390のAndroidアプリケーションを解析し,51,749 KLOC以上を処理した。
私たちの発見は、JavaとKotlinでコントラクト仕様を標準化するライブラリを持つことが望ましいことを示しています。
論文 参考訳（メタデータ） (2024-01-25T15:36:49Z) - Automated Invariant Generation for Solidity Smart Contracts [2.4181711081104282]
本稿では,Solidityスマートコントラクトのための新しい不変生成フレームワークINVCON+を提案する。
INVCON+は既存の不変検出器であるInvConを拡張して、検証された契約不変量を自動生成する。
我々は、361 ERC20と10 ERC721実世界の契約と、一般的なERC20脆弱性ベンチマークに基づいてINVCON+を評価する。
論文 参考訳（メタデータ） (2024-01-01T03:37:30Z) - A Comparative Gas Cost Analysis of Proxy and Diamond Patterns in EVM Blockchains for Trusted Smart Contract Engineering [0.0]
本研究の目的は, アップグレード可能な2つのスマートコントラクトパターン, Proxyパターンとダイアモンドパターンに関する, ガスコストの詳細な分析を行うことである。
従来のアップグレード不可能なスマートコントラクトとは対照的に,両パターンのガスコストの比較分析を行う。
論文 参考訳（メタデータ） (2023-12-14T13:54:25Z) - 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) - Smart Contract Vulnerability Detection: From Pure Neural Network to
Interpretable Graph Feature and Expert Pattern Fusion [48.744359070088166]
従来のスマートコントラクトの脆弱性検出方法は、専門家の規則に大きく依存している。
最近のディープラーニングアプローチはこの問題を軽減するが、有用な専門家の知識をエンコードすることができない。
ソースコードから専門家パターンを抽出する自動ツールを開発する。
次に、深いグラフの特徴を抽出するために、コードをセマンティックグラフにキャストします。
論文 参考訳（メタデータ） (2021-06-17T07:12:13Z) - A Bytecode-based Approach for Smart Contract Classification [10.483992071557195]
ブロックチェーンプラットフォームにデプロイされるスマートコントラクトの数は指数関数的に増えているため、ユーザは手動のスクリーニングによって望ましいサービスを見つけることが難しくなっている。
スマートコントラクト分類に関する最近の研究は、契約ソースコードに基づく自然言語処理(NLP)ソリューションに焦点を当てている。
本稿では,これらの問題を解決するために,ソースコードの代わりにコントラクトバイトコードの特徴に基づく分類モデルを提案する。
論文 参考訳（メタデータ） (2021-05-31T03:00:29Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。