Набор данных Verifier Alliance теперь насчитывает 8M+ проверенных контрактов! @ethereum имеет сильную культуру верификации, но данные разрозненны и труднодоступны. Мы открыли все это в формате Parquet для исследователей, аналитиков и AI-инженеров. Изучите схему и загрузите набор данных👇

@SourcifyEth @blockscout @routescan_io Для чего хорош этот набор данных? - Тестирование компилятора - Выявление уязвимостей в контрактах - Обучение моделей - Анализ данных EVM-контрактов ...множество других случаев использования, которые были бы невозможны без открытого набора данных Собрано благодаря @blockscout @routescan_io @SourcifyEth

Как выглядят данные? VerA — это база данных PostgreSQL, в которой каждая проверка представляет собой связь между "развертыванием" и "компиляцией". Байткоды и исходные коды дублируются в отдельных таблицах. Смотрите схему:

EVM байт-код неструктурирован. Поэтому "трансформации" обозначают изменения значений данных, необходимые для достижения ончейн байт-кода из перекомпилированного байт-кода. Это включает в себя неизменяемые значения, библиотеки, cborAuxdata, позиции и значения constructorArguments.

Вся база данных экспортируется ежедневно в формате Parquet, современном столбцовом формате данных, который можно запрашивать напрямую. Перейдите к документации и узнайте, как скачать: