¡El conjunto de datos de Verifier Alliance ahora tiene más de 8 millones de contratos verificados! @ethereum tiene una fuerte cultura de verificación, pero los datos están aislados y son difíciles de acceder. Hemos abierto todo en formato Parquet para investigadores, analistas e ingenieros de IA. Explora el esquema y descarga el conjunto de datos👇

@SourcifyEth @blockscout @routescan_io ¿Para qué es útil este conjunto de datos? - Pruebas de compilador - Identificación de patrones de vulnerabilidad en contratos - Entrenamiento de modelos - Análisis de datos de contratos EVM ...muchos otros casos de uso que no eran posibles sin un conjunto de datos abierto Reunido por @blockscout @routescan_io @SourcifyEth

¿Cómo se ve la data? VerA es una base de datos PostgreSQL donde cada verificación es un emparejamiento entre un "despliegue" y una "compilación". Los bytecodes y las fuentes están desduplicados en tablas separadas. Consulta el esquema:

El bytecode de EVM es no estructurado. Por lo tanto, las "transformaciones" marcan los cambios en los valores de datos necesarios para alcanzar un bytecode en cadena a partir de un bytecode recompilado. Esto incluye inmutables, bibliotecas, cborAuxdata, posiciones y valores de constructorArguments.

Toda la base de datos se exporta diariamente en Parquet, un formato de datos moderno basado en columnas que se puede consultar directamente. Dirígete a la documentación y ve cómo descargarlo: