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.

Making Smart Contracts Easier To Understand / Napoli, Emanuele Antonio; Gangemi, Lorenzo; Meneguzzo, Silvio; Romani, Noemi; Gatteschi, Valentina. - (2025), pp. 1752-1757. (Intervento presentato al convegno 49th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2025 tenutosi a Toronto (CAN) nel 8-11 July 2025) [10.1109/compsac65507.2025.00238].

Making Smart Contracts Easier To Understand

Napoli, Emanuele Antonio;Gangemi, Lorenzo;Romani, Noemi;Gatteschi, Valentina
2025

Abstract

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.
2025
979-8-3315-7434-5
File in questo prodotto:
File Dimensione Formato  
Making_Smart_Contracts_Easier_To_Understand.pdf

accesso riservato

Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 816.52 kB
Formato Adobe PDF
816.52 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/3003437