logo móvil
Contáctanos

Sligpt: Un enfoque basado en un modelo de lenguaje grande para el análisis de dependencias de datos en contratos inteligentes de Solidity

Autores: Ren, Xiaolei; Wei, Qiping

Idioma: Inglés

Editor: MDPI

Año: 2024

Descargar PDF

Acceso abierto

Artículo científico
2024

Sligpt: Un enfoque basado en un modelo de lenguaje grande para el análisis de dependencias de datos en contratos inteligentes de Solidity


Categoría

Ingeniería y Tecnología

Subcategoría

Ingeniería de Software

Palabras clave

Tecnología blockchain
Contratos inteligentes
Análisis de dependencia de datos
Metodología Sligpt
Vulnerabilidades de seguridad
Herramientas de análisis estático

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 33

Citaciones: Sin citaciones


Descripción
La llegada de la tecnología blockchain ha revolucionado varios sectores al proporcionar transparencia, inmutabilidad y automatización. En el centro de esta revolución se encuentran los contratos inteligentes, que facilitan transacciones automatizadas y sin necesidad de confianza en diversos dominios. Sin embargo, la proliferación de contratos inteligentes ha expuesto vulnerabilidades de seguridad significativas, lo que requiere técnicas de análisis avanzadas. El análisis de dependencia de datos es un método crítico de análisis de programas utilizado para mejorar las pruebas y la seguridad de los contratos inteligentes. Este documento presenta Sligpt, una metodología innovadora que integra un modelo de lenguaje grande (LLM), específicamente GPT-4o, con la herramienta de análisis estático Slither, para realizar análisis de dependencia de datos en contratos inteligentes de Solidity. Nuestro enfoque aprovecha tanto las avanzadas capacidades de comprensión de código de GPT-4o como las ventajas de una herramienta de análisis tradicional. Evaluamos empíricamente Sligpt utilizando un conjunto de datos curado de contratos inteligentes de Ethereum. Sligpt logra mejoras significativas en precisión, recuperación y profundidad general del análisis en comparación con Slither y GPT-4o, proporcionando una solución robusta para el análisis de dependencia de datos. Este documento también discute los desafíos encontrados, como los requisitos de recursos computacionales y la variabilidad inherente en las salidas de LLM, mientras propone direcciones de investigación futuras para mejorar aún más la metodología. Sligpt representa un avance significativo en el campo del análisis estático de contratos inteligentes, ofreciendo un marco práctico para integrar LLMs con herramientas de análisis estático.

Otros recursos que podrían interesarte

Temas Virtualpro