У наборі даних Verifier Alliance тепер 8M+ перевірених контрактів! @ethereum має потужну культуру верифікації, але дані розрізнені та важкодоступні. Ми відкрили все це у форматі Parquet для дослідників, аналітиків та інженерів зі штучного інтелекту. Ознайомтеся зі схемою та завантажте набір👇 даних

@SourcifyEth @blockscout @routescan_io Чим корисний цей набір даних? - Тестування компілятора - Виявлення вразливостей у контрактах - Моделі тренувань - Аналіз даних EVM-контрактів ... багато інших кейсів використання, які були неможливі без відкритого набору даних Об'єднані @blockscout @routescan_io @SourcifyEth

Як виглядають дані? VerA — це база даних PostgreSQL, кожна перевірка якої є сполучною ланкою між "розгортанням" та "компіляцією". Байт-коди і джерела дедуплікуються в окремих таблицях. Дивіться схему:

Байт-код EVM неструктурований. Таким чином, «перетворення» позначають зміни значень даних, необхідні для досягнення байт-коду в ланцюжку з перекомпільованого байт-коду. Сюди входять незмінні таблиці, бібліотеки, cborAuxdata, позиції та значення constructorArguments

Весь БД щодня експортується в Parquet, Сучасний формат даних на основі стовпців, який можна запитувати безпосередньо. Перейдіть до документації та подивіться, як завантажити: