Основатель Ethereum Виталик Бутерин (Vitalik Buterin) заявил на 12-м Глобальном блокчейн-саммите в Шанхае, что новые криптографические возможности блокчейнов стали достижимы в первую очередь благодаря ИИ. По его словам, технологии ускоряют каждый этап рабочего процесса — от написания кода до его проверки — и позволяют создавать системы, которые раньше невозможно было сделать безопасными. Бутерин считает, что ИИ заслуживает значительную долю заслуг за то, что планы превращению Ethereum в криптографический компьютер превратились в конкретные предложения по улучшению сети. Даже слайды для выступления, как он в шутку отметил, стали заметно аккуратнее с помощью модели Qwen.
Две стороны ИИ для приватности
Бутерин отдельно указал, что ИИ влияет на блокчейны не только как инструмент разработки. Ответ из white paper Сатоши Накамото (Satoshi Nakamoto) 2009 года на вопрос о приватности — имя человека не привязано напрямую к его транзакции — когда-то считался приемлемым. Сегодня существуют мощный анализ данных и мощный ИИ, поэтому такой уровень защиты, по оценке спикера, очевидно недостаточен. Именно это подталкивает отрасль к более сильным криптографическим решениям, а ИИ помогает их создавать.
Почему раньше криптография оставалась простой
До появления ИИ доказательства с нулевым разглашением уже существовали, но практически применять можно было лишь довольно простые криптографические схемы. Одна из причин — ошибки в коде. Когда объём программы превышал примерно 100 или 1 000 строк, наличие бага становилось почти неизбежным.
ИИ меняет это условие. Для проверки можно использовать избыточные тесты, спецификации и автоматизированный анализ, а значит, безопасными становятся гораздо более крупные и сложные системы. По словам Бутерина, в эпоху после ИИ внутрь криптографии можно поместить всё, что делает разработчик.
Накладные расходы падают
Вторая проблема — стоимость вычислений. Используемые алгоритмы раньше требовали очень высоких накладных расходов. Теперь, как отметил Бутерин, их уровень в 100 раз или ниже часто достижим. Он привёл несколько примеров:
- для zk-SNARK при инференсе ИИ накладные расходы уже составляют менее 10 раз;
- для некоторых видов хеширования они тоже ниже 10 раз;
- для решения Flock показатель держится около 250 раз, но, по оценке Бутерина, быстро снижается.
Формальная верификация вместо ручной проверки
Ещё одно практическое узкое место касалось безопасности L2. Бутерин связал недостаточную эффективность этих сетей с пределом их защищённости: требовались избыточность, несколько систем доказательств и советы по безопасности (security councils). Раньше корректность проверяли вручную.
Новый подход — формальная верификация. Допускается несколько спецификаций при одной реализации. Разные люди, агенты и команды по-своему описывают, какую именно работу должна выполнять система, после чего математически доказывается, что все описания совпадают. Если они расходятся, остаётся гораздо меньший объём материала, по которому можно определить, какая из версий верна.
ИИ расширяет круг участников
По словам Бутерина, ИИ не только ускоряет и делает безопаснее создание таких систем, но и облегчает понимание протокола. Для этого, впрочем, нужно действительно решить заботиться о безопасности — в Ethereum, как он подчеркнул, это решение принято. Он призвал разработчиков и исследователей разобраться в частях создаваемой архитектуры, определить свойства компонентов и выбрать направление для собственного вклада. Участие в развитии технологий, по его мнению, становится доступнее для всех, кто готов учиться и вкладывать усилия. Уже проходят открытые конкурсы по улучшению алгоритмов и формальной верификации этих улучшений.
Отдельно Бутерин предложил переосмыслить приложения, созданные на Ethereum пять, 10 и 15 лет назад. Их разрабатывали без расчёта на программируемую приватность и гарантированную безопасность сложного кода. Теперь такие возможности появились, и они позволяют объединять Ethereum, другие децентрализованные сети и задачи реального мира.
Главный тезис выступления: ИИ снимает два ограничения, которые сдерживали прикладную криптографию, — риск ошибок в большом коде и высокую стоимость вычислений. Формальная верификация при этом заменяет ручную проверку.
Мнение ИИ
Анализ исторических паттернов показывает: когда производство дешевеет, его объём растёт быстрее, чем экономия. Так было с вычислительной мощностью, и так может случиться с кодом. Ещё в январе Бутерин призвал запустить в разработке Ethereum «сборку мусора»: протокол, по его оценке, превращается в монстра из сотен тысяч строк кода. Теперь ИИ делает посильными написание и проверку больших программ, и исчезает естественный тормоз сложности, то есть цена человеческого внимания. Новая широкая магистраль не освобождает дороги от пробок, просто выезжают все.
Выходит, дисциплина «сборки мусора» нужна протоколу не вопреки ИИ, а именно из-за него. Чем дешевле становится строка кода, тем ценнее решение её не писать.
▼
Самые интересные и важные новости на нашем канале в Telegram