Interactive smart contract auditing with ChatGPT
In this paper, we will analyse the efficacy of a web-based smart contract auditor that uses LLMs to audit smart contracts in Solidity. First, we propose a set of pre-defined prompts to help smart contract developers query the LLM. Next, we allow users different follow-up queries to harness the uniqu...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project |
| Language: | English |
| Published: |
Nanyang Technological University
2024
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/175342 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Nanyang Technological University |
| Language: | English |
| Summary: | In this paper, we will analyse the efficacy of a web-based smart contract auditor that uses LLMs to audit smart contracts in Solidity. First, we propose a set of pre-defined prompts to help smart contract developers query the LLM. Next, we allow users different follow-up queries to harness the unique language capabilities of GPT, improving the detection and user experience of the auditing tool. Our solution: AuditGPT is a web-based interface that allows users to select different prompting styles for their code. Our experiments show that flexibility in prompting styles can aid human developers in understanding code vulnerabilities as well as improved detection rates compared to trivial vulnerability checking |
|---|