中文
相关论文

相关论文: AuditGPT: Auditing Smart Contracts with ChatGPT

200 篇论文

Turing completeness has made Ethereum smart contracts attractive to blockchain developers and attackers alike. To increase code security, many tools can now spot most known vulnerabilities$-$at the cost of production efficiency. Recent…

密码学与安全 · 计算机科学 2024-10-23 Tommaso Oss , Carlos E. Budde

Blockchain and Cryptocurrencies are gaining unprecedented popularity and understanding. Meanwhile, Ethereum is gaining a significant popularity in the blockchain community, mainly due to the fact that it is designed in a way that enables…

密码学与安全 · 计算机科学 2018-07-06 TonTon Hsien-De Huang

ERC-20 is the most prominent Ethereum standard for fungible tokens. Tokens implementing the ERC-20 interface can interoperate with a large number of already deployed internet-based services and Ethereum-based smart contracts. In recent…

密码学与安全 · 计算机科学 2021-07-08 Reza Rahimian , Jeremy Clark

Poorly designed smart contracts are particularly vulnerable, as they may allow attackers to exploit weaknesses and steal the virtual currency they manage. In this study, we train a model using unsupervised learning to identify…

密码学与安全 · 计算机科学 2025-04-15 Hong-Sheng Huang , Jen-Yi Ho , Hao-Wen Chen , Hung-Min Sun

Smart contracts are essential to decentralized finance (DeFi) and blockchain ecosystems but are increasingly vulnerable to exploits due to coding errors and complex attack vectors. Traditional static analysis tools and existing…

密码学与安全 · 计算机科学 2025-02-20 Jun Kevin , Pujianto Yugopuspito

Smart contracts are autonomous and immutable pieces of code that are deployed on blockchain networks and run by miners. They were first introduced by Ethereum in 2014 and have since been used for various applications such as security…

软件工程 · 计算机科学 2024-07-08 Mahdi Fooladgar , Fathiyeh Faghih

The widespread lack of broad source code verification on blockchain explorers such as Etherscan, where despite 78,047,845 smart contracts deployed on Ethereum (as of May 26, 2025), a mere 767,520 (< 1%) are open source, presents a severe…

密码学与安全 · 计算机科学 2025-06-25 Isaac David , Liyi Zhou , Dawn Song , Arthur Gervais , Kaihua Qin

With the rapid growth of blockchain technology, smart contracts are now crucial to Decentralized Finance (DeFi) applications. Effective vulnerability detection is vital for securing these contracts against hackers and enhancing the accuracy…

软件工程 · 计算机科学 2024-12-25 Jango Zhang

Smart contracts provide the means to stipulate rules of interaction between mutually distrustful organizations. They encode contractual agreements on the basis of source code, which else need to be contractualized in natural language. While…

分布式、并行与集群计算 · 计算机科学 2022-07-07 Tobias Eichinger , Marcel Ebermann

Smart contracts are immutable, verifiable, and autonomous pieces of code that can be deployed and ran on blockchain networks like Ethereum. Due to the immutability nature of blockchain, no change is possible on a deployed smart contract or…

软件工程 · 计算机科学 2019-12-25 Erfan Andesta , Fathiyeh Faghih , Mahdi Fooladgar

Smart contracts are programs deployed on a blockchain and are immutable once deployed. Reentrancy, one of the most important vulnerabilities in smart contracts, has caused millions of dollars in financial loss. Many reentrancy detection…

软件工程 · 计算机科学 2023-03-27 Zibin Zheng , Neng Zhang , Jianzhong Su , Zhijie Zhong , Mingxi Ye , Jiachi Chen

This paper presents a dynamic, real-time approach to detecting anomalous blockchain transactions. The proposed tool, BlockGPT, generates tracing representations of blockchain activity and trains from scratch a large language model to act as…

密码学与安全 · 计算机科学 2023-05-02 Yu Gai , Liyi Zhou , Kaihua Qin , Dawn Song , Arthur Gervais

Ethereum smart contracts operate in a concurrent environment where multiple transactions can be submitted simultaneously. However, the Ethereum Virtual Machine (EVM) enforces sequential execution of transactions within each block to prevent…

分布式、并行与集群计算 · 计算机科学 2025-07-23 Atefeh Zareh Chahoki , Marco Roveri

Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers on networks without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make…

软件工程 · 计算机科学 2018-08-06 Bo Jiang , Ye Liu , W. K. Chan

Front-running attacks have been a major concern on the blockchain. Attackers launch front-running attacks by inserting additional transactions before upcoming victim transactions to manipulate victim transaction executions and make profits.…

软件工程 · 计算机科学 2023-05-04 Wuqi Zhang , Lili Wei , Shing-Chi Cheung , Yepang Liu , Shuqing Li , Lu Liu , Michael R. Lyu

Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programming languages running on a blockchain and govern how tokens…

密码学与安全 · 计算机科学 2022-07-11 Margarita Capretto , Martin Ceresa , Cesar Sanchez

We investigate the feasibility of employing large language models (LLMs) for conducting the security audit of smart contracts, a traditionally time-consuming and costly process. Our research focuses on the optimization of prompt engineering…

密码学与安全 · 计算机科学 2023-06-23 Isaac David , Liyi Zhou , Kaihua Qin , Dawn Song , Lorenzo Cavallaro , Arthur Gervais

Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone to errors and may present vulnerabilities, which malicious…

计算机科学中的逻辑 · 计算机科学 2021-11-29 Kunjian Song , Nedas Matulevicius , Eddie B. de Lima Filho , Lucas C. Cordeiro

Ethereum smart contracts are highly powerful, immutable, and able to retain massive amounts of tokens. However, smart contracts keep attracting attackers to benefit from smart contract flaws and Ethereum unexpected behavior. Thus,…

密码学与安全 · 计算机科学 2024-04-10 Wejdene Haouari , Abdelhakim Senhaji Hafid , Marios Fokaefs

Identifying reputable Ethereum projects remains a critical challenge within the expanding blockchain ecosystem. The ability to distinguish between legitimate initiatives and potentially fraudulent schemes is non-trivial. This work presents…

密码学与安全 · 计算机科学 2025-03-21 Cyrus Malik , Josef Bajada , Joshua Ellul