論文の概要: How to Save My Gas Fees: Understanding and Detecting Real-world Gas
Issues in Solidity Programs
- arxiv url: http://arxiv.org/abs/2403.02661v1
- Date: Tue, 5 Mar 2024 05:12:10 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-06 16:10:23.336399
- Title: How to Save My Gas Fees: Understanding and Detecting Real-world Gas
Issues in Solidity Programs
- Title(参考訳): 私のガス料金を節約する方法:固形化プログラムにおける現実世界のガス問題を理解し、検出する
- Authors: Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu,
Linhai Song, Yiying Zhang
- Abstract要約: スマートコントラクトの実行は、その計算とデータストアの消費に対して、ガス料金と呼ばれる手数料を発生させる。
プログラマがスマートコントラクトを開発するとき、不要により多くのガス料金を発生させるコードスニペットを無意識に書くことができる。
本稿では,2つの重要なステップにおいて,ガス料金の削減を支援するためのイニシアティブについて述べる。
- 参考スコア(独自算出の注目度): 8.282190390923406
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: The execution of smart contracts on Ethereum, a public blockchain system,
incurs a fee called gas fee for its computation and data-store consumption.
When programmers develop smart contracts (e.g., in the Solidity programming
language), they could unknowingly write code snippets that unnecessarily cause
more gas fees. These issues, or what we call gas wastes, could lead to
significant monetary waste for users. Yet, there have been no systematic
examination of them or effective tools for detecting them. This paper takes the
initiative in helping Ethereum users reduce their gas fees in two important
steps: we conduct the first empirical study on gas wastes in popular smart
contracts written in Solidity by understanding their root causes and fixing
strategies; we then develop a static tool, PeCatch, to effectively detect gas
wastes with simple fixes in Solidity programs based on our study findings.
Overall, we make seven insights and four suggestions from our gas-waste study,
which could foster future tool development, language improvement, and
programmer awareness, and develop eight gas-waste checkers, which pinpoint 383
previously unknown gas wastes from famous Solidity libraries.
- Abstract(参考訳): パブリックブロックチェーンシステムであるethereum上でのスマートコントラクトの実行は、計算とデータストアの消費に対してガス料金と呼ばれる料金を請求する。
プログラマがスマートコントラクト(例えばSolidityプログラミング言語)を開発すると、不要により多くのガス料金を引き起こすコードスニペットを無意識に書くことができる。
これらの問題、あるいは私たちがガス廃棄物と呼ぶものは、ユーザにとって大きな金銭的浪費につながる可能性がある。
しかし、それらを検出するための体系的な検査や効果的なツールは行われていない。
本稿では,イーサリアムユーザがガス料金を2つの重要なステップで削減することを支援する。我々は,その根本原因を理解して固形で書かれた一般的なスマートコントラクトのガス廃棄物について,最初の実証研究を行い,その研究結果に基づいて,ガス廃棄物を効果的に検出するための静的ツールであるpecatchを開発した。
全体としては,将来的なツール開発,言語改善,プログラマの意識を高めるためのガス汚泥調査から7つの知見と4つの提案を導き,また,有名なSolidityライブラリの383のガス廃棄物を指摘できる8つのガス汚泥チェッカーを開発した。
関連論文リスト
- Don't Get Lost in the Trees: Streamlining LLM Reasoning by Overcoming Tree Search Exploration Pitfalls [83.89771461061903]
検証者による木探索アルゴリズムの最近の進歩は、大規模言語モデル(LLM)の推論能力を大幅に向上させた。
検証者による木探索アルゴリズムの最近の進歩は、大規模言語モデル(LLM)の推論能力を大幅に向上させた。
意味論的に等価なコンテンツを持つ冗長な状態による$textitover-Exploration$と、検証器のスコアリングにおける高いばらつきに起因する$textitunder-Exploration$である。
各種木探索アルゴリズムに適合するフレキシブルなプラグアンドプレイシステムであるFETCHを提案する。
論文 参考訳(メタデータ) (2025-02-16T16:12:01Z) - Demystification and Near-perfect Estimation of Minimum Gas Limit and Gas Used for Ethereum Smart Contracts [0.3277163122167433]
このシステムの2つの中心的な概念は、トランザクションの発行者によって割り当てられるエンファンガス制限と、トランザクションによって使用されるエンファンガスである。
その実践的関連性にもかかわらず、この概念は正しく扱われていない。
本稿では, 最小ガス限界の正確な概念と, 取引で使用するガスとの違いについて述べる。
論文 参考訳(メタデータ) (2025-01-08T13:07:34Z) - Dual-view Aware Smart Contract Vulnerability Detection for Ethereum [5.002702845720439]
本報告では,DVDet というデュアルビュー対応スマートコントラクト脆弱性検出フレームワークを提案する。
このフレームワークは最初、スマートコントラクトのソースコードとバイトコードを重み付きグラフに変換し、フローシーケンスを制御する。
データセットの総合的な実験により,我々の手法は脆弱性の検出において他者よりも優れていることが示された。
論文 参考訳(メタデータ) (2024-06-29T06:47:51Z) - Soley: Identification and Automated Detection of Logic Vulnerabilities in Ethereum Smart Contracts Using Large Language Models [1.081463830315253]
GitHubのコード変更から抽出された実世界のスマートコントラクトのロジック脆弱性を実証的に調査する。
本稿では,スマートコントラクトにおける論理的脆弱性の自動検出手法であるSoleyを紹介する。
スマートコントラクト開発者が実際のシナリオでこれらの脆弱性に対処するために使用する緩和戦略について検討する。
論文 参考訳(メタデータ) (2024-06-24T00:15:18Z) - Generative AI-enabled Blockchain Networks: Fundamentals, Applications,
and Case Study [73.87110604150315]
Generative Artificial Intelligence(GAI)は、ブロックチェーン技術の課題に対処するための有望なソリューションとして登場した。
本稿では、まずGAI技術を紹介し、そのアプリケーションの概要を説明し、GAIをブロックチェーンに統合するための既存のソリューションについて議論する。
論文 参考訳(メタデータ) (2024-01-28T10:46:17Z) - Lazy Contracts: Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts [0.0]
ほとんどのプログラム可能なブロックチェーンでは、DoS攻撃を防ぐためにガスの概念が導入されている。
各アトミック操作に対する固定コスト、および関数呼び出し開始器は、総ガスコストを取引手数料として支払う。
この論文は、これらのコストを軽減するソリューションとして"怠慢な契約"を提案している。
論文 参考訳(メタデータ) (2023-09-20T13:41:45Z) - IoT-based Route Recommendation for an Intelligent Waste Management
System [61.04795047897888]
本研究は, 空間制約を考慮したIoT対応廃棄物管理システムにおいて, 経路推薦のためのインテリジェントなアプローチを提案する。
我々のソリューションは、ビンの状態と座標を考慮に入れた複数レベルの意思決定プロセスに基づいている。
論文 参考訳(メタデータ) (2022-01-01T12:36:22Z) - Smart Contract Vulnerability Detection: From Pure Neural Network to
Interpretable Graph Feature and Expert Pattern Fusion [48.744359070088166]
従来のスマートコントラクトの脆弱性検出方法は、専門家の規則に大きく依存している。
最近のディープラーニングアプローチはこの問題を軽減するが、有用な専門家の知識をエンコードすることができない。
ソースコードから専門家パターンを抽出する自動ツールを開発する。
次に、深いグラフの特徴を抽出するために、コードをセマンティックグラフにキャストします。
論文 参考訳(メタデータ) (2021-06-17T07:12:13Z) - 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) - Profiling Gas Consumption in Solidity Smart Contracts [3.0378875015087567]
本稿では,ガス消費の観点から,スマートコントラクトのコード品質を静的に評価するためのメトリクススイートであるGasMetを提案する。
2,186のスマートコントラクトを含む実験では、提案されたメトリクスがデプロイメントコストと直接関連していることが示されている。
論文 参考訳(メタデータ) (2020-08-12T17:26:55Z) - Demand-Side Scheduling Based on Multi-Agent Deep Actor-Critic Learning
for Smart Grids [56.35173057183362]
家庭用家電をネットでスケジュールできるスマートメーターが各家庭に備わっている需要側エネルギー管理の問題点を考察する。
目標は、リアルタイムの料金体系の下で全体のコストを最小化することです。
マルコフゲームとしてスマートグリッド環境の定式化を提案する。
論文 参考訳(メタデータ) (2020-05-05T07:32:40Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。