AuditGPT: Auditing Smart Contracts with ChatGPT

arXiv:2404.04306v1 Announce Type: new
Abstract: To govern smart contracts running on Ethereum, multiple Ethereum Request for Comment (ERC) standards have been developed, each containing a set of rules to guide the behaviors of smart contracts. Violating the ERC rules could cause serious security issues and financial loss, signifying the importance of verifying smart contracts follow ERCs. Today's practices of such verification are to either manually audit each single contract or use expert-developed, limited-scope program-analysis tools, both of which are far …

arxiv auditing chatgpt contracts cs.ai cs.cl cs.cr cs.cy ethereum financial govern guide loss request rules running security security issues serious serious security smart smart contracts standards