Генеральный директор Helius Labs Mert Mumtaz предупредил, что криптовалюты вступают в новую эпоху безопасности, в которой искусственный интеллект, формальная верификация и более высокие стандарты программного обеспечения могут отделить серьёзные команды инфраструктуры от хрупких протоколов. В широко обсуждаемом посте на X он заявил, что криптовалюта "вот-вот вступит в космическую эру", поскольку неизменяемый финансовый код требует строгости, сравнимой с аэрокосмической отраслью, производством чипов и другими отраслями, не терпящими сбоев.
Ключевой аргумент Mumtaz заключается в том, что большинство программного обеспечения исторически допускало определённый уровень небрежности, который криптовалюта больше не может себе позволить. В традиционных интернет-бизнесах ошибка может вызвать простой, потерю доходов или неприятный сбой, но централизованные операторы обычно могут вмешаться, исправить систему, откатить изменения или компенсировать пользователям. Криптовалюта, по его словам, структурно отличается, поскольку её основное обещание зависит от необратимого исполнения во враждебной среде.
"Неизменяемый финансовый код подобен космическому кораблю, покидающему Землю, над которым у вас больше нет контроля. Он должен работать, иначе произойдет катастрофа", — сказал Mumtaz. "Такой кризис уже возникал. В конце 1960-х конференция НАТО объявила о 'кризисе программного обеспечения', поскольку отрасль становилась все более небрежной, и никто не мог по-настоящему анализировать эти системы в большом масштабе."
Безопасность криптовалют должна достичь уровня космических полётов
Он связал тот ранний кризис программного обеспечения с интеллектуальными корнями формальной верификации, сославшись на Эдсгера Дейкстру и давний аргумент, что тестирование может показать наличие ошибок, но не их отсутствие. Для систем, где важна корректность, по словам Mumtaz, программное обеспечение следует рассматривать не как итеративный потребительский продукт, а скорее как математический объект, который можно анализировать и доказывать.
Такая концепция особенно актуальна для криптовалют, поскольку блокчейн-системы обрабатывают миллиарды долларов активов через код, который является публичным, неизменяемым и постоянно исследуется злоумышленниками. Mumtaz утверждает, что индустрия часто принимает профиль риска авиации или космических полётов, сохраняя при этом культуру разработки веб-приложений. По его словам, криптовалюта попадает в категорию отраслей ПО с низким запасом прочности, но "большая часть индустрии построена с использованием небрежных стандартов прежних, управляемых человеком систем".
Генеральный директор Helius Labs также раскритиковал то, что он назвал "фасадом децентрализации", который смягчил воспринимаемую срочность проблемы. Административные ключи, контролируемые наборы валидаторов, социальная координация и аварийные вмешательства, по его словам, создали краткосрочное ощущение комфорта. Но эти механизмы также размывают различие между подлинно автономными системами и системами, которые всё ещё могут быть спасены человеческими операторами при сбое.
Mumtaz ожидает, что это различие станет труднее игнорировать по мере развития ИИ. Вместо того чтобы рассматривать ИИ только как вектор угрозы, он представил его как силу, которая сделает строгие методы разработки ПО более доступными. Написание спецификаций, помощь в доказательствах, символьные рассуждения, фаззинг, аудиты, проверка инвариантов и рабочие процессы формальной верификации, по его словам, могут стать значительно проще в использовании в больших масштабах.
"Светлая сторона в том, что ИИ значительно упростит процесс формальной верификации и повышения строгости программ. То, что когда-то было чрезвычайно ручным и дорогим, теперь станет выполнимым в масштабе: написание спецификаций, помощь в доказательствах, символьные рассуждения, фаззинг, аудиты, проверка инвариантов и рабочие процессы формальной верификации станут значительно более доступными", — написал он. "Этот набор обстоятельств приведёт к раскрытию конечного потенциала криптовалют, но, полагаю, только через суровое испытание."
Это "суровое испытание" — суть его предупреждения. Mumtaz заявил, что "агрессивный механизм естественного отбора" уже начался и может продолжаться несколько лет. По его мнению, сильные команды появятся с более устойчивыми системами, в то время как слабые архитектуры рухнут под давлением более высоких ожиданий безопасности и всё более совершенных инструментов атаки.
Он был осторожен, чтобы не представлять эти провалы исключительно как злонамеренные или халатные. "Серьёзные команды выйдут сильнее, чем когда-либо, а соломенные домики рухнут", — написал Mumtaz, добавив, что последнее не обязательно следует воспринимать как оскорбление, потому что эти системы действительно сложно строить.
Более широкий смысл заключается в том, что следующий конкурентный цикл в криптовалютах может определяться не только пропускной способностью, стимулами ликвидности или дистрибуцией, но и доказуемой корректностью. Конечное состояние, которое видит Mumtaz, — это индустрия, где безопасность, строгость и конфиденциальность снова станут первоочередными задачами, позволяя криптовалюте стать "доказуемо безопаснее, устойчивее и более проверенной временем (линди), чем любая централизованная финансовая система". Его заключительная фраза была прямой: "Я вкладываюсь в математику и я вкладываюсь в криптовалюту."
Время публикации Mert примечательно, потому что она появилась сразу после выпуска Anthropic 9 июня Claude Fable 5 и Claude Mythos 5, что подчеркнуло, как быстро ИИ движется в сторону наступательных и оборонительных исследований в области безопасности. Anthropic заявила, что Fable 5 — её самая способная общедоступная модель, но добавила меры безопасности вокруг запросов по кибербезопасности, поскольку те же возможности могут быть использованы не по назначению; Mythos 5, менее ограниченная версия, изначально ограничена для выбранных защитников киберпространства и поставщиков инфраструктуры через Project Glasswing в сотрудничестве с правительством США.
Для DeFi это неудобная часть истории. Если модели могут всё лучше анализировать большие кодовые базы, выявлять тонкие логические ошибки и помогать превращать уязвимости в работающие эксплойты, то публичные смарт-контракты становятся естественной мишенью для поиска ошибок с помощью ИИ. Таким образом, предупреждение Mumtaz о "соломенных домиках" не абстрактно: ИИ может резко сократить время, необходимое как аудиторам, так и злоумышленникам, чтобы найти следующий сломанный инвариант, небезопасное предположение или эксплуатируемый крайний случай в финансовом коде криптовалют.
На момент публикации общая рыночная капитализация криптовалют составляла 2,12 триллиона долларов.
