Главный научный сотрудник Certora Мули Сагив: безопасность блокчейна — это не только код

Согласно сообщению CoinWorld, главный научный сотрудник Certora Мули Сагив считает, что наибольшие риски для безопасности в криптоиндустрии связаны не со сложными уязвимостями в коде, а с более простыми проблемами, такими как управление ключами и человеческий фактор. На конференции Breakpoint 2025 он подчеркнул, что аудит не может гарантировать безопасность, и выступил за сочетание формальной верификации с ручной проверкой. Сагив отметил, что формальная верификация, интегрированная в pipeline непрерывной интеграции (CI), может выявлять «неизвестные неизвестности», однако предупредил, что её эффективность зависит от правильного определения свойств. Он также преуменьшил значимость искусственного интеллекта как экзистенциальной угрозы, считая, что ИИ является инструментом как для атакующих, так и для защитников.