paper-with-me

홈 › Papers

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning

2025-02-20 · Ye Liu, Yuqing Niu, Chengyan Ma, Ruidong Han, Wei Ma, Yi Li, Debin Gao, David Lo

Smart contracts are highly susceptible to manipulation attacks due to the leakage of sensitive information. Addressing manipulation vulnerabilities is particularly challenging because they stem from inherent data confidentiality issues rather than straightforward implementation bugs. To tackle this by preventing sensitive information leakage, we present PartitionGPT, the first LLM-driven approach that combines static analysis with the in-context learning capabilities of large language models (LLMs) to partition smart contracts into privileged and normal codebases, guided by a few annotated sensitive data variables. We evaluated PartitionGPT on 18 annotated smart contracts containing 99 sensitive functions. The results demonstrate that PartitionGPT successfully generates compilable, and verified partitions for 78% of the sensitive functions while reducing approximately 30% code compared to function-level partitioning approach. Furthermore, we evaluated PartitionGPT on nine real-world manipulation attacks that lead to a total loss of 25 million dollars, PartitionGPT effectively prevents eight cases, highlighting its potential for broad applicability and the necessity for secure program partitioning during smart contract development to diminish manipulation vulnerabilities.

📄 PDF Abstract BibTeX arXiv:2502.14215

Code (0)

등록된 구현이 없습니다.

Tasks

In-Context Learning

Similar Papers 제목 키워드 기반

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…

CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain

2025-04-28 · LingXiang Wang, Hainan Zhang, Qinnan Zhang, Ziwei Wang 외

Large language models (LLMs) excel at generating code from natural language instructions, yet they often lack an understanding of security vulnerabilities. This limitation makes it difficult for LLMs to avoid security ri…

Code GenerationLanguage ModelingLanguage ModellingLarge Language Model

A Multi-Agent Framework for Automated Vulnerability Detection and Repair in Solidity and Move Smart Contracts

2025-02-22 · Rabimba Karanjai, Sam Blackshear, Lei Xu, Weidong Shi

The rapid growth of the blockchain ecosystem and the increasing value locked in smart contracts necessitate robust security measures. While languages like Solidity and Move aim to improve smart contract security, vulnera…

Vulnerability Detection

SolBench: A Dataset and Benchmark for Evaluating Functional Correctness in Solidity Code Completion and Repair

2025-03-03 · Zaoyu Chen, Haoran Qin, Nuo Chen, Xiangyu Zhao 외

Smart contracts are crucial programs on blockchains, and their immutability post-deployment makes functional correctness vital. Despite progress in code completion models, benchmarks for Solidity, the primary smart contr…

Code CompletionCode RepairRetrieval

Efficacy of Various Large Language Models in Generating Smart Contracts

2024-06-28 · Siddhartha Chatterjee, Bina Ramamurthy

This study analyzes the application of code-generating Large Language Models in the creation of immutable Solidity smart contracts on the Ethereum Blockchain. Other works have previously analyzed Artificial Intelligence …

Code Generation