paper-with-me

홈 › Papers

Teaching Machines to Code: Smart Contract Translation with LLMs

2024-03-13 · Rabimba Karanjai, Lei Xu, Weidong Shi

The advent of large language models (LLMs) has marked a significant milestone in the realm of artificial intelligence, with their capabilities often matching or surpassing human expertise in various domains. Among these achievements, their adeptness in translation tasks stands out, closely mimicking the intricate and preliminary processes undertaken by human translators to ensure the fidelity and quality of the translated content. Despite the advancements in utilizing LLMs for translating programming code across different languages, the domain of smart contract translation, particularly into languages not previously encountered by the LLM, remains largely unexplored. In our research, we present a pioneering approach, SolMover, which harnesses the synergy of two distinct LLMs within a unified framework. This framework is designed to grasp coding principles and apply this understanding to the translation of code into an unfamiliar language. Our study delves into the capacity of LLMs to mimic human learning processes, offering an in-depth evaluation of our methodology for converting smart contracts written in Solidity to Move, a language with limited resources. The framework employs one LLM to decipher coding conventions for the new language, creating a blueprint for the second LLM, which, lacking planning abilities, possesses coding expertise. The empirical evidence from our experiments suggests that SolMover substantially enhances performance compared to gpt-3.5-turbo-1106, and achieves superior results over competitors such as Palm2 and Mixtral-8x7B-Instruct. Additionally, our analysis highlights the efficacy of our bug mitigation strategy in elevating code quality across all models, even outside the SolMover framework.

📄 PDF Abstract BibTeX arXiv:2403.09740

Code (0)

등록된 구현이 없습니다.

Tasks

Translation

Similar Papers 제목 키워드 기반

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…

Towards Secure and Trusted-by-Design Smart Contracts

2024-03-25 · Zaynah Dargaye, Önder Gürcan, Florent Kirchner, Sara Tucci-Piergiovanni

Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve the exchange of any form of physical evide…

MTVHunter: Smart Contracts Vulnerability Detection Based on Multi-Teacher Knowledge Translation

2025-02-24 · Guokai Sun, Yuan Zhuang, Shuo Zhang, Xiaoyu Feng 외

Smart contracts, closely intertwined with cryptocurrency transactions, have sparked widespread concerns about considerable financial losses of security issues. To counteract this, a variety of tools have been developed t…

DenoisingVulnerability Detection

An end-to-end agentic pipeline for smart contract translation and quality evaluation

2026-02-14 · Abhinav Goel, Chaitya Shah, Agostino Capponi, Alfio Gliozzo arxiv

We present an end-to-end framework for systematic evaluation of LLM-generated smart contracts from natural-language specifications. The system parses contractual text into structured schemas, generates Solidity code, and…

A Bytecode-based Approach for Smart Contract Classification

2021-05-31 · Chaochen Shi, Yong Xiang, Robin Ram Mohan Doss, Jiangshan Yu 외

With the development of blockchain technologies, the number of smart contracts deployed on blockchain platforms is growing exponentially, which makes it difficult for users to find desired services by manual screening. T…

ClassificationEnsemble Learningfeature selection