19 февраля горячие проекты @paradigm Твиттер-обзор I. Введение в проект Paradigm — это ведущая исследовательская и инвестиционная компания, сосредоточенная на области криптовалют и Web3. Основные направления включают инфраструктуру блокчейна, инструменты для разработчиков и безопасность криптовалют, с целью долгосрочного развития ключевых технологий, таких как смарт-контракты, через научные исследования. II. Горячие темы сегодня 1. Paradigm совместно с OpenAI опубликовали исследовательскую работу, сосредоточенную на безопасности смарт-контрактов. В этой работе рассматривается применение AI-агентов в эксплуатации уязвимостей смарт-контрактов EVM, что знаменует собой передовое пересечение AI и безопасности блокчейна. 2. Исследовательская команда представила инструмент для бенчмаркинга evmbench и инструменты для агентов. Этот инструмент используется для оценки и эксплуатации уязвимостей в смарт-контрактах, предоставляя новые методологии и стандарты тестирования для автоматизированного аудита безопасности. 3. Модель AI достигла прорывных успехов в эффективности обнаружения уязвимостей. Несколько месяцев назад оптимальная модель могла обнаружить менее 20% критических уязвимостей кражи средств; теперь, при тех же условиях, уровень обнаружения модели увеличился до более чем 70%. 4. Инструмент для разработчиков Foundry от Paradigm сыграл ключевую роль в этом исследовании. Этот инструмент использовался для продвижения технологических достижений в тестировании безопасности смарт-контрактов, что подчеркивает его реальное влияние в экосистеме разработчиков. 5. Партнерами являются такие платформы аудита безопасности, как Tempo и Code4rena. Эти платформы предоставили реальные примеры уязвимостей и тестовые среды, что сделало исследование основанным на данных с реального поля, увеличив доверие к результатам. 6. Исследование подчеркивает долгосрочную важность смарт-контрактов как финансовой инфраструктуры. Смарт-контракты рассматриваются как ключевая основа будущих платежей и финансов на протяжении следующего века, их безопасность напрямую связана со стабильностью всей криптоэкосистемы. 7. Этот прогресс может способствовать обновлению стандартов безопасности в отрасли. С помощью автоматизированных аудиторских инструментов, усиленных AI, проектные команды и группы безопасности могут более эффективно выявлять и устранять высокие уязвимости, снижая финансовые риски. 8. Междисциплинарное сотрудничество демонстрирует потенциал сочетания науки, бизнеса и исследований. Сотрудничество ведущих инвестиционных компаний, AI-лабораторий и сообществ безопасности предлагает новые модели для решения сложных технических проблем. III. Ключевые данные и показатели В бенчмаркинге evmbench уровень обнаружения критических уязвимостей кражи средств Code4rena AI-моделью значительно увеличился с менее 20% несколько месяцев назад до более 70% в настоящее время. Эти данные напрямую отражают прогресс возможностей AI в области аудита безопасности смарт-контрактов. IV. Риски проекта (В твите не упоминаются конкретные риски, уязвимости или события безопасности, этот раздел опущен.) 1. Георгиос Константопулос @gakonst отметил, что увидел упоминание Paradigm и Tempo в исследовательской работе OpenAI о безопасности смарт-контрактов, полагая, что смарт-контракты являются ключевой инфраструктурой будущих платежей. 2. Альпин Юкселоглу @0xalpo представил evmbench, совместно разработанный Paradigm и OpenAI, который является инструментом для тестирования уязвимостей смарт-контрактов.