Making Smart Contracts Easier To Understand
Emanuele Antonio Napoli, Lorenzo Gangemi, Silvio Meneguzzo, Noemi Romani, Valentina Gatteschi · 2025
This paper introduces a user-friendly tool designed to simplify smart contract analysis through a microservice architecture implemented in Golang and Flutter. The system combines four primary components: a Codec for contract encoding/decoding, an Auditor powered by Slither for security assessment, a Database for version control, and an AI Assistant leveraging gpt-3.5-turbo from OpenAI for automated annotations. User interaction is facilitated through UML-based visual representations that allow intuitive comprehension of the smart contract implementation. An evaluation through the NASA-TLX questionnaire demonstrated that the proposed tool could significantly reduce the overall workload (52.62 versus 71.74) compared to Remix IDE, with notable improvements in mental demand, temporal demand, and frustration levels.