Compass Investments

– Развитие Ethereum способно войти в иную структурную фазу. Виталик Бутерин недавно упомянул, что искусственный интеллект существенно ускоряет кодирование и процесс проверки в рамках экосистемы, что потенциально может ускорить реализацию плана развития Ethereum и повысить его безопасность сверх прежних ожиданий.

Речь идет не просто об увеличении темпа создания кода. Суть в более глубоком изменении ограничений в самом софтверном инжиниринге: стоимость кода снижается, тогда как спецификация и верификация становятся основными “бутылочными горлышками”.

Для такого критически важного с точки зрения защищенности протокола, как Ethereum, такая перестановка является поворотной.

Это весьма примечательный эксперимент. Возможность “свэг”-кодирования всего плана до 2030 года за считанные недели.

В прошлом создание протоколов было ограничено человеческой производительностью. Написание, аудит, тестирование и строгая проверка криптографического и консенсусного кода это трудоемкая и узкоспециализированная работа.

ИИ меняет эту картину в двух направлениях:

Разработчики теперь могут на порядки быстрее создавать прототипы архитектур, конкретных реализаций и тестов для пограничных ситуаций. Виталик отметил, что даже локальные модели способны генерировать сложный софт за минуты такая возможность была немыслима всего пару месяцев назад.

Следствием этого становится резкое сокращение циклов внесения изменений в протокол.

По мере того как скорость генерации кода растет, лимитирующим фактором становится точность. Код, созданный ИИ, не лишен сбоев, противоречий и незавершенных участков. Однако те же самые инструменты позволяют расширить область проверки.

Виталик выделил два главных позитивных момента в аспекте безопасности:

Инициативы по формальной верификации, например, в стиле Lean, нацелены на математическое подтверждение корректности частей протокола. ИИ может содействовать в построении доказательств, исследовании крайних случаев и подтверждении логической непротиворечивости всех реализаций.

Это приближает Ethereum к давно желанной цели: созданию компонентов протокола с доказанной безопасностью.

Инициатива Lean Ethereum стремится математически, с возможностью машинной проверки, формализовать ключевые криптографические и протокольные допущения Ethereum. Этот подход рассматривает безопасность протоколов как теорему, а не как аксиому.

Недавние тесты показывают, что ИИ теперь способен помогать в получении проверяемых машиной доказательств для сложных теорем, связанных со STARK, задач, которые ранее требовали огромного ручного труда по формализации.