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...
Huvudupphovsman: | |
---|---|
Övriga upphovsmän: | |
Materialtyp: | Final Year Project (FYP) |
Språk: | English |
Publicerad: |
Nanyang Technological University
2024
|
Ämnen: | |
Länkar: | https://hdl.handle.net/10356/175342 |