LLMs for Smart Contract Audits

За последний год LLM совершили огромный скачок вперёд, однако могут ли они заменить аудиторов смарт-контрактов или хотя бы значительно облегчить их работу?

На этом стриме Кирилл Балахонов из команды Nethermind подробно разбирает текущие возможности и ограничения искусственного интеллекта для аудита кода смарт-контрактов, делится личным опытом создания AI-инструментов для обнаружения уязвимостей, а также объясняет, какие подходы работают на практике, а какие лишь создают иллюзию безопасности.

• 🔹 Как использовать LLM для поиска багов и уязвимостей в Solidity-коде
• 🔹 Какие ошибки LLM находят лучше, чем статические анализаторы, а какие пропускают
• 🔹 Почему GPT-4 и GPT-4o существенно отличаются в эффективности аудита смарт-контрактов
• 🔹 Реальные кейсы применения AI-аудитора от Nethermind: обнаружение критических уязвимостей, пропущенных обычными аудиторами
• 🔹 Будущее аудита: как агентные системы и комбинация LLM с другими инструментами (символическое исполнение, фаззинг, формальная верификация) изменят подход к проверке кода