#Cardano founder Чарльз Хоскинсон отреагировал на сообщения о краже 4,000 биткоинов из федерационного кошелька Liquid Network.
Liquid подтвердила инцидент в публикации в X вчера, заявив, что хакеры вывели из федерационного кошелька приблизительно 4,000 биткоинов на сумму $320 млн. Согласно информации сети, злоумышленники перевели средства через сервис SideSwap Peg-out Authorization Key (PAK).
Однако Liquid и SideSwap заявили, что сам PAK не был скомпрометирован. Вместо этого SideSwap сообщил, что L-BTC, участвовавшие в транзакции, были получены из уязвимости в Elements — в программном обеспечении, производном от Bitcoin, которое поддерживает сайдчейн Liquid.
После инцидента Liquid отключила свои мостовые ноды и приостановила сетевую активность, пока участники федерации расследовали утечку. Тем временем биржи получили уведомления и начали приостанавливать, или готовиться приостановить, депозиты и выводы L-BTC.
Транзакция также содержала сообщение OP_RETURN, в котором злоумышленники, заявившие, что они «белые хакеры», просили связаться с ними в цепочке блоков.
Хоскинсон предупреждает о рисках кибербезопасности, связанных с ИИ
Реагируя на инцидент, Хоскинсон использовал случившееся, чтобы подчеркнуть то, что он считает растущей киберугрозой со стороны ИИ.
Он утверждал, что формальные методы могут стать одной из самых сильных защит от атак, которые становятся все более способными благодаря ИИ. По мере того как ИИ-системы лучше анализируют исходный код, выявляют уязвимости и автоматизируют сложные атаки, разработчикам блокчейна приходится сталкиваться со все более узким временным промежутком между обнаружением слабости в ПО и ее эксплуатацией.
ИИ уже начал менять ландшафт криптовалютной безопасности: он помогает злоумышленникам находить потенциальные цели, анализировать сложный код и автоматизировать фишинговые и социально-инженерные кампании. Сообщаемый взлом Coldcard, в ходе которого было похищено биткоинов на $130 млн, еще больше усилил опасения по поводу того, как продвинутые ИИ-инструменты могут сделать трудные уязвимости проще для выявления и эксплуатации.
На этом фоне Хоскинсон утверждает, что одного обычного тестирования уже может быть недостаточно для обеспечения надежной защиты. Вместо этого он указывает на формальные методы, которые используют математические спецификации и доказательства, чтобы установить, ведет ли программное обеспечение себя в соответствии с замыслом.
Акцент Cardano на формальной верификации
Предупреждение Хоскинсона также согласуется с давним акцентом Cardano на математически строгой разработке блокчейна.
Философия разработки Cardano включает академические исследования, рецензирование и формальную верификацию как важные элементы ее подхода к безопасности. Например, протокол консенсуса Ouroboros возник в результате формальных академических исследований, а более широкая экосистема делает акцент на доказательстве критически важных свойств протоколов и программного обеспечения, а не полагается исключительно на экспериментальное тестирование.
Такой подход поддерживает довод Хоскинсона, поскольку формальная верификация стремится математически доказать, что заданные свойства выполняются. В результате разработчики потенциально могут выявлять целые классы уязвимостей еще до того, как код будет передан в эксплуатацию.
Cardano также опирается на технологии функционального программирования, такие как Haskell и Plutus. Их развитые системы типов и математическая основа могут помочь разработчикам выявлять определенные категории ошибок программирования раньше в процессе разработки.
Примечательно, что подход Cardano нацелен на предотвращение уязвимостей еще до того, как они попадут в продакшн, а не полагаться только на тестирование и традиционные практики безопасности.