19 лютого було організовано «гарячий проєкт» — десять @paradigm твітів 1. Вступ до проєкту Paradigm — провідна дослідницька та інвестиційна установа, що спеціалізується на криптовалютах і Web3. Основні напрямки включають блокчейн-інфраструктуру, інструменти розробників та криптографічну безпеку, і вона прагне сприяти довгостроковій розробці ключових об'єктів, таких як смарт-контракти, через технологічні дослідження та розробки. По-друге, сьогоднішні гарячі точки 1. Paradigm та OpenAI спільно опублікували наукову статтю, присвячену галузі безпеки смарт-контрактів. У статті досліджується застосування агентів ШІ для експлуатації вразливостей у смарт-контрактах EVM, що позначає перетин ШІ та безпеки блокчейну. 2. Дослідницька команда запустила інструмент бенчмарку та агента EVMbench. Цей інструмент використовується для оцінки та експлуатації вразливостей у смарт-контрактах, надаючи нові методології та стандарти тестування для автоматизованих аудитів безпеки. 3. Моделі ШІ зробили прориви в ефективності виявлення вразливостей. Кілька місяців тому оптимальна модель могла виявити лише менше 20% критичних вразливостей крадіжки коштів; Сьогодні рівень відкриття моделей зріс до понад 70% за тим самим бенчмарком. 4. Інструмент розробки Paradigm Foundry відіграв ключову роль у цьому дослідженні. Цей інструмент використовується для технологічного прогресу у тестуванні безпеки смарт-контрактів, демонструючи його практичний вплив на екосистему розробників. 5. Партнерами є платформи аудиту безпеки, такі як Tempo та Code4rena. Ці платформи надають реальні випадки вразливостей і тестові середовища, проводячи дослідження на основі реальних даних з поля бою, підвищуючи достовірність результатів. 6. Дослідження підкреслює довгострокове значення смарт-контрактів як фінансової інфраструктури. Смарт-контракти вважаються ядром платежів і фінансів у наступному столітті, а їхня безпека безпосередньо пов'язана зі стабільністю всієї криптоекосистеми. 7. Цей прогрес може сприяти підвищенню галузевих стандартів безпеки. Завдяки автоматизованим інструментам аудиту на основі ШІ сторони проєкту та команди безпеки можуть ефективніше виявляти та усувати високоризикові вразливості, знижуючи фінансові ризики. 8. Міжгалузева співпраця демонструє потенціал поєднання промисловості, освіти та досліджень. Співпраця провідних інвестиційних інституцій, лабораторій штучного інтелекту та спільнот безпеки пропонує нову модель для розв'язання складних технічних задач. 3. Ключові дані та індикатори У бенчмарку evmbench рівень виявлення критичних вразливостей Code4rena, пов'язаних із крадіжкою коштів, значно зріс — з менш ніж 20% кілька місяців тому до понад 70% зараз. Ці дані безпосередньо відображають прогрес ШІ у сфері аудиту безпеки смарт-контрактів. По-четверте, ризики проєкту (У твіті не згадуються конкретні ризики, вразливості чи інциденти безпеки, і цей розділ опущено.) ） 1. Георгіос Константопулос @gakonst сказав, що бачив цитати Paradigm і Tempo у дослідницькій статті OpenAI про безпеку смарт-контрактів, вважаючи, що смарт-контракти є ключовою інфраструктурою для майбутніх платежів. 2. Alpin Yukseloglu @0xalpo представила evmbench — інструмент бенчмаркінгу та проксі для виявлення вразливостей смарт-контрактів, запущений компанією Paradigm у співпраці з OpenAI.