paper-with-me

홈 › Papers

On LLM-Assisted Generation of Smart Contracts from Business Processes

2025-07-30 · Fabian Stiehle, Hans Weytjens, Ingo Weber arxiv

Large language models (LLMs) have changed the reality of how software is produced. Within the wider software engineering community, among many other purposes, they are explored for code generation use cases from different types of input. In this work, we present an exploratory study to investigate the use of LLMs for generating smart contract code from business process descriptions, an idea that has emerged in recent literature to overcome the limitations of traditional rule-based code generation approaches. However, current LLM-based work evaluates generated code on small samples, relying on manual inspection, or testing whether code compiles but ignoring correct execution. With this work, we introduce an automated evaluation framework and provide empirical data from larger data sets of process models. We test LLMs of different types and sizes in their capabilities of achieving important properties of process execution, including enforcing process flow, resource allocation, and data-based conditions. Our results show that LLM performance falls short of the perfect reliability required for smart contract development. We suggest future work to explore responsible LLM integrations in existing tools for code generation to ensure more reliable output. Our benchmarking framework can serve as a foundation for developing and evaluating such integrations.

📄 PDF Abstract BibTeX arXiv:2507.23087

Code (0)

등록된 구현이 없습니다.

Tasks

Code Generation

Similar Papers 제목 키워드 기반

Logical foundations of Smart Contracts

2025-02-13 · Kalonji Kalala

Nowadays, sophisticated domains are emerging which require appropriate formalisms to be specified accurately in order to reason about them. One such domain is constituted of smart contracts that have emerged in cyber phy…

Modelling Business Agreements in the Multimodal Transportation Domain through Ontological Smart Contracts

2022-09-05 · Mario Scrocca, Marco Comerio, Alessio Carenini, Irene Celino

The blockchain technology provides integrity and reliability of the information, thus offering a suitable solution to guarantee trustability in a multi-stakeholder scenario that involves actors defining business agreemen…

Retrieval

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications

2026-05-10 · Abhinav Goel, Agostino Capponi, Alfio Gliozzo, Chaitya Shah arxiv

We introduce SmartEval, a benchmark for systematically evaluating the quality of Solidity smart contracts generated by large language models (LLMs) from natural language specifications. SmartEval provides a corpus of 9,0…

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models

2025-06-01 · Chanuka Wijayakoon, Hai Dong, H. M. N. Dilum Bandara, Zahir Tari 외

Smart contracts can implement and automate parts of legal contracts, but ensuring their legal compliance remains challenging. Existing approaches such as formal specification, verification, and model-based development re…

Code Generation

Profiling Gas Consumption in Solidity Smart Contracts

2020-08-12 · Andrea Di Sorbo, Sonia Laudanna, Anna Vacca, Corrado A. Visaggio 외

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 pro…