論文の概要: Dataset of Yul Contracts to Support Solidity Compiler Research
- arxiv url: http://arxiv.org/abs/2506.19153v1
- Date: Mon, 23 Jun 2025 21:43:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-25 19:48:23.403135
- Title: Dataset of Yul Contracts to Support Solidity Compiler Research
- Title（参考訳）: 固形化コンパイラ研究を支援するYul契約のデータセット
- Authors: Krzysztof Fonal,
- Abstract要約: YulCodeは、約135,013のユニークなコントラクトを含む348,840のYulベースのスマートコントラクトインスタンスの包括的なコレクションを提供する。
これらのコントラクトは、メインネットにデプロイされたSolidityソースファイルのコンパイルによって生成される。
YulCodeは、機械学習アプリケーションに限らず、さまざまな研究開発タスクのための豊富な基盤を提供する。
- 参考スコア（独自算出の注目度）: 1.0878040851637998
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The YulCode dataset presents a comprehensive collection of 348,840 Yul-based smart contract instances, comprising approximately 135,013 unique contracts. These contracts were generated through the compilation of Solidity source files that have been deployed on the Ethereum mainnet, making the dataset directly representative of real-world decentralized applications. YulCode provides a rich foundation for a variety of research and development tasks, including but not limited to machine learning applications, formal verification, optimization analysis, and software engineering tool evaluation in the context of low-level smart contract code. To the best of our knowledge at the time of writing, YulCode is the first and only publicly available dataset that focuses specifically on Yul, an intermediate language designed for the Ethereum Virtual Machine (EVM). As such, it fills a critical gap in the current ecosystem of smart contract datasets and opens new avenues for research and tooling aimed at low-level contract analysis and generation.
- Abstract（参考訳）: YulCodeデータセットは、約135,013のユニークなコントラクトからなる348,840のYulベースのスマートコントラクトインスタンスの包括的なコレクションを提供する。
これらの契約はEthereumのメインネット上にデプロイされたSolidityソースファイルのコンパイルによって生成され、データセットは現実世界の分散アプリケーションを直接表現する。
YulCodeは、機械学習アプリケーション、正式な検証、最適化分析、低レベルのスマートコントラクトコードのコンテキストにおけるソフトウェアエンジニアリングツール評価など、さまざまな研究および開発タスクのための豊富な基盤を提供する。
執筆時点での私たちの知る限りでは、YulCodeはEthereum仮想マシン(EVM)用に設計された中間言語であるYulに特化して、初めて、公開された唯一のデータセットです。
そのため、スマートコントラクトデータセットの現在のエコシステムにおける重要なギャップを埋め、低レベルのコントラクト分析と生成を目的とした調査とツーリングのための新たな道を開く。
関連論文リスト
- Decompiling Smart Contracts with a Large Language Model [51.49197239479266]
Etherscanの78,047,845のスマートコントラクトがデプロイされているにも関わらず(2025年5月26日現在)、わずか767,520 (1%)がオープンソースである。
この不透明さは、オンチェーンスマートコントラクトバイトコードの自動意味解析を必要とする。
バイトコードを可読でセマンティックに忠実なSolidityコードに変換する,先駆的な逆コンパイルパイプラインを導入する。
論文 参考訳（メタデータ） (2025-06-24T13:42:59Z) - An Infrastructure for Systematically Collecting Smart Contract Lineages for Analyses [3.1635449133608486]
既存のプラットフォームには、スマートコントラクトの系統内の前者と後継の関係をトレースする機能がない。
SCLineageは、プロキシ契約を利用してスマートコントラクトの系統を正確に識別し、収集する自動化インフラストラクチャである。
SCLineageSetは、スマートコントラクトの進化に関する広範な研究を促進する、最新のオープンソースデータセットである。
論文 参考訳（メタデータ） (2024-12-30T11:10:22Z) - Commit0: Library Generation from Scratch [77.38414688148006]
Commit0は、AIエージェントにスクラッチからライブラリを書くよう促すベンチマークである。
エージェントには、ライブラリのAPIを概説する仕様文書と、インタラクティブなユニットテストスイートが提供されている。
Commit0はまた、モデルが生成したコードに対して静的解析と実行フィードバックを受け取る、インタラクティブな環境も提供する。
論文 参考訳（メタデータ） (2024-12-02T18:11:30Z) - Smart Contract Vulnerabilities, Tools, and Benchmarks: An Updated Systematic Literature Review [2.4646766265478393]
スマートコントラクトはブロックチェーンプラットフォーム上でのセルフエグゼクティブプログラムであり、信頼性のないトランザクションと分散アプリケーションの運用を可能にして、分散金融に革命をもたらした。
その可能性にもかかわらず、スマートコントラクトのセキュリティは、悪意のあるアクターに公開する不変性と透明性のために、依然として重要な懸念事項である。
本稿では,スマートコントラクトの脆弱性を調査し,自動検出ツールとベンチマーク評価に焦点を当てた系統的な文献レビューを行う。
論文 参考訳（メタデータ） (2024-12-02T17:08:48Z) - Codev-Bench: How Do LLMs Understand Developer-Centric Code Completion? [60.84912551069379]
Code-Development Benchmark (Codev-Bench)は、細粒度で現実世界、リポジトリレベル、開発者中心の評価フレームワークです。
Codev-Agentは、リポジトリのクローリングを自動化し、実行環境を構築し、既存のユニットテストから動的呼び出しチェーンを抽出し、データ漏洩を避けるために新しいテストサンプルを生成するエージェントベースのシステムである。
論文 参考訳（メタデータ） (2024-10-02T09:11:10Z) - VersiCode: Towards Version-controllable Code Generation [58.82709231906735]
大規模言語モデル(LLM)は、コード生成において大きな進歩を遂げていますが、既存の研究は、ソフトウェア開発の動的な性質を説明できません。
バージョン別コード補完(VSCC)とバージョン別コードマイグレーション(VACM)の2つの新しいタスクを提案する。
VersiCodeについて広範な評価を行い、バージョン管理可能なコード生成が確かに重要な課題であることを示した。
論文 参考訳（メタデータ） (2024-06-11T16:15:06Z) - DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts [8.242194776558897]
DISLデータセットには、メインネットにデプロイされた514,506ドルのユニークなSolidityファイルのコレクションが含まれている。
現実世界のスマートコントラクトの大規模で多様なデータセットの必要性に対処する。
論文 参考訳（メタデータ） (2024-03-25T15:26:10Z) - An Empirical Study of AI-based Smart Contract Creation [4.801455786801489]
スマートコントラクト生成のためのChatGPTやGoogle Palm2のような大規模言語モデル(LLM)は、AIペアプログラマとして初めて確立されたインスタンスであるようだ。
本研究の目的は,LLMがスマートコントラクトに対して提供する生成コードの品質を評価することである。
論文 参考訳（メタデータ） (2023-08-05T21:38:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。