論文の概要: IDOL: Improved Different Optimization Levels Testing for Solidity Compilers
- arxiv url: http://arxiv.org/abs/2506.12760v1
- Date: Sun, 15 Jun 2025 08:00:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-17 17:28:46.806349
- Title: IDOL: Improved Different Optimization Levels Testing for Solidity Compilers
- Title（参考訳）: IDOL: ソリデーティコンパイラの最適化レベルテストの改善
- Authors: Lantian Li, Yejian Liang, Zhongxing Yu,
- Abstract要約: 本稿では、Solidityコンパイラをテストするために、IDOL(Improved Different Optimization Levels)と呼ばれる手法を提案する。
IDOLは、テスト中のスマートコントラクトのセマンティックに等価な変種を生成し、コンパイラの最適化ロジックを起動する機会を最大化する。
- 参考スコア（独自算出の注目度）: 5.629307939256417
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: As blockchain technology continues to evolve and mature, smart contracts have become a key driving force behind the digitization and automation of transactions. Smart contracts greatly simplify and refine the traditional business transaction processes, and thus have had a profound impact on various industries such as finance and supply chain management. However, because smart contracts cannot be modified once deployed, any vulnerabilities or design flaws within the contract cannot be easily fixed, potentially leading to significant financial losses or even legal issues. The compiler, as a critical component in the development process, directly affects the quality and security of smart contracts. This paper innovatively proposes a method, known as the Improved Different Optimization Levels (IDOL), for testing the Solidity compiler. The key idea behind IDOL is to perform reverse optimization transformations (i.e., change optimized form into unoptimized form) to generate semantically equivalent variants of the smart contracts under test, aiming to maximize the opportunities to trigger the optimization logic of compilers. We conducted a preliminary evaluation of IDOL and three confirmed compiler optimization bugs have been uncovered at the time of writing.
- Abstract（参考訳）: ブロックチェーン技術が進化し、成熟するにつれて、スマートコントラクトは、トランザクションのデジタル化と自動化の背後にある重要な原動力になっています。
スマートコントラクトは従来のビジネストランザクションプロセスを大幅に単純化し、洗練し、金融やサプライチェーン管理といった様々な産業に大きな影響を与えました。
しかし、スマートコントラクトは一度デプロイしても修正できないため、コントラクト内の脆弱性や設計上の欠陥は簡単には修正できないため、大きな損失や法的問題につながる可能性がある。
コンパイラは、開発プロセスにおける重要なコンポーネントとして、スマートコントラクトの品質とセキュリティに直接影響を与えます。
本稿では,Solidityコンパイラをテストするために,IDOL(Improved Different Optimization Levels)と呼ばれる手法を革新的に提案する。
IDOLの主な考え方は、テスト中のスマートコントラクトの意味論的に等価な変種を生成するために、逆最適化変換(すなわち、最適化フォームを最適化されていない形式に変更すること)を行うことであり、コンパイラの最適化ロジックを起動する機会を最大化することを目的としている。
我々は,IDOLの予備評価を行い,コンパイラ最適化のバグが3つ確認された。
関連論文リスト
- Ai-Driven Vulnerability Analysis in Smart Contracts: Trends, Challenges and Future Directions [0.2797210504706914]
数値オーバーフロー、再侵入攻撃、不正アクセス許可などの脆弱性は、数百万ドルの損失をもたらしている。
従来のスマートコントラクト監査技術は、拡張性、自動化、開発パターンの進化への適応性の制限に直面しています。
本稿では、機械学習、ディープラーニング、グラフニューラルネットワーク、トランスフォーマーベースモデルに焦点をあて、スマートコントラクトにおける脆弱性検出のための新しいAI駆動技術について検討する。
論文 参考訳（メタデータ） (2025-06-07T09:44:26Z) - FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain [0.16752458252726457]
FlexiContractsは、過去のデータを失うことなく、セキュアでインプレースなアップグレードを可能にすることによって、スマートコントラクトの進化を想像する。
その合理化された設計は、スマートコントラクト開発をシンプルにすることで、現在のデザインパターンの限界を超越している。
この進歩は、継続的な改善と新しい要求への適応の環境を育みます。
論文 参考訳（メタデータ） (2025-04-15T02:20:42Z) - Review, Refine, Repeat: Understanding Iterative Decoding of AI Agents with Dynamic Evaluation and Selection [71.92083784393418]
Best-of-N (BON) サンプリングのような推論時間法は、パフォーマンスを改善するための単純で効果的な代替手段を提供する。
本稿では,反復的改良と動的候補評価,検証器による選択を併用した反復的エージェント復号(IAD)を提案する。
論文 参考訳（メタデータ） (2025-04-02T17:40:47Z) - SolBench: A Dataset and Benchmark for Evaluating Functional Correctness in Solidity Code Completion and Repair [51.0686873716938]
コード補完モデルによって生成されたSolidityスマートコントラクトの機能的正しさを評価するベンチマークであるSolBenchを紹介する。
本稿では,スマートコントラクトの機能的正当性を検証するための検索拡張コード修復フレームワークを提案する。
その結果、コード修復と検索技術は、計算コストを削減しつつ、スマートコントラクト完了の正しさを効果的に向上することを示した。
論文 参考訳（メタデータ） (2025-03-03T01:55:20Z) - CodeDPO: Aligning Code Models with Self Generated and Verified Source Code [52.70310361822519]
我々は、コード生成に好み学習を統合するフレームワークであるCodeDPOを提案し、コードの正確性と効率性という2つの重要なコード優先要因を改善した。
CodeDPOは、コードとテストケースを同時に生成、評価するセルフジェネレーション・アンド・バリデーションメカニズムを利用して、新しいデータセット構築方法を採用している。
論文 参考訳（メタデータ） (2024-10-08T01:36:15Z) - Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability [0.717789756063617]
本研究は、アップグレード可能なコントラクトを特定し、そのアップグレード履歴を調べて、変更に関連するトレンド、好み、課題を明らかにする。
4400万以上の契約を分析した結果、アップグレード可能な特性を持つのはわずか3%、アップグレード中のアップグレードは0.34%に過ぎなかった。
アップグレードとユーザアクティビティの関係は複雑で、進化を超えてスマートコントラクトの使用に大きな影響を与えることが示唆されている。
論文 参考訳（メタデータ） (2024-07-01T17:35:37Z) - Automated Invariant Generation for Solidity Smart Contracts [2.4181711081104282]
本稿では,Solidityスマートコントラクトのための新しい不変生成フレームワークINVCON+を提案する。
INVCON+は既存の不変検出器であるInvConを拡張して、検証された契約不変量を自動生成する。
我々は、361 ERC20と10 ERC721実世界の契約と、一般的なERC20脆弱性ベンチマークに基づいてINVCON+を評価する。
論文 参考訳（メタデータ） (2024-01-01T03:37:30Z) - PrAIoritize: Automated Early Prediction and Prioritization of Vulnerabilities in Smart Contracts [1.081463830315253]
スマートコントラクトは、未公表の脆弱性とコードの弱点のために、数多くのセキュリティ脅威を引き起こす。
スマートコントラクトのセキュリティには、効率的な優先順位付けが不可欠です。
我々の研究は、重要なコードの弱点を優先順位付けし予測するための自動アプローチPrAIoritizeを提供することを目的としています。
論文 参考訳（メタデータ） (2023-08-21T23:30:39Z) - Learning Performance-Improving Code Edits [107.21538852090208]
本稿では,大規模言語モデル(LLM)を高レベルプログラム最適化に適用するためのフレームワークを提案する。
まず、競争力のある77,000以上のC++プログラミングサブミッションペアによる、人間のプログラマによるパフォーマンス改善編集のデータセットをキュレートする。
提案手法は,検索をベースとした少数ショットプロンプトとチェーン・オブ・シンクレットを提案し,その微調整には,自己再生に基づく性能条件付き生成と合成データ拡張が含まれる。
論文 参考訳（メタデータ） (2023-02-15T18:59:21Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。