Datová sada Verifier Alliance má nyní 8M+ ověřených smluv! @ethereum má silnou kulturu ověřování, ale data jsou izolovaná a obtížně přístupná. Vše jsme otevřeli ve formátu Parquet pro výzkumníky, analytiky a inženýry AI. Prozkoumání schématu a stažení datové sady👇

@SourcifyEth @blockscout @routescan_io K čemu je tato datová sada dobrá? - Testování kompilátoru - Identifikace vzorců zranitelností ve smlouvách - Tréninkové modely - Analýza dat smluv EVM ... mnoho dalších případů použití, které by bez otevřené datové sady nebylo možné Spojuje @blockscout @routescan_io @SourcifyEth

Jak data vypadají? VerA je PostgreSQL databáze, kde každé ověření je spojením mezi "nasazením" a "kompilací". Bajtové kódy a zdroje jsou odstraněny v samostatných tabulkách. Viz schéma:

Bajtový kód EVM je nestrukturovaný. Proto "transformace" označují změny datových hodnot potřebných k dosažení onchain bytecode z rekompilovaného bytecode. To zahrnuje neměnné tabulky, knihovny, pozice a hodnoty cborAuxdata, constructorArguments

Celá DB je denně exportována v Parquet, Moderní sloupcový datový formát, na který lze přímo dotazovat. Přejděte na dokumenty a podívejte se, jak je stáhnout: