рынокBittalk · по материалам Incrypted

Бутерин: блокчейны отходят от повторного исполнения вычислений

Бутерин: блокчейны отходят от повторного исполнения вычислений

Сооснователь Ethereum Виталик Бутерин выступил на Global Blockchain Summit в Шанхае и описал смену архитектуры блокчейнов: вместо повторного исполнения одних и тех же операций всеми узлами — доказательства SNARK и STARK. По его словам, ИИ возьмёт на себя написание кода и формальную верификацию, а сеть перестанет сводиться к базовому уровню и станет вычислительным конвейером из L1, L2, мемпулов и локальных операций.

Сооснователь Ethereum Виталик Бутерин выступил на 12-м Global Blockchain Summit в рамках Shanghai Blockchain International Week. Он говорил о том, как доказательства с нулевым разглашением, формальная верификация и искусственный интеллект меняют устройство блокчейнов.

По словам Бутерина, за 15 лет изменились не только технические возможности отрасли, но и представление о том, какие свойства должны обеспечивать децентрализованные системы. Сначала блокчейн отвечал на вопрос, кому принадлежат активы и кто вправе ими распоряжаться. Следующий этап — программируемая конфиденциальность, когда код определяет ещё и то, кому доступна информация.

Ранняя архитектура требовала от множества участников повторно выполнять одни и те же операции. Проверяемость это обеспечивало, но ограничивало производительность и конфиденциальность. Развитие SNARK и STARK постепенно меняет модель: один участник выполняет операцию и формирует криптографическое доказательство, остальные проверяют только его корректность.

«Эпоха, когда все должны повторять все, подходит к концу», — следует из выступления Бутерина.

Рекурсивные STARK и структура транзакций

Одним из ключевых направлений Бутерин назвал рекурсивные STARK: они объединяют множество доказательств в одно и сокращают объём данных и вычислений, которые обрабатываются непосредственно в блокчейне.

Ранее он предлагал использовать такой подход в рамках EIP-8288. Инициатива предполагает агрегирование криптографических подписей и STARK-доказательств ещё на уровне мемпула с последующей публикацией компактного подтверждения их корректности. Бутерин рассчитывает, что это удешевит приватные и постквантовые транзакции, а часть сложных криптографических операций уйдёт из основного пути исполнения Ethereum.

Подход связан с более масштабным изменением структуры транзакций сети. В начале сентября сооснователь Ethereum рассказывал о EIP-8141, который разделяет транзакцию на отдельные действия и зависимости: часть операций можно обрабатывать параллельно вместо последовательного выполнения.

В новом выступлении он обратил внимание на FOCIL — механизм распределённого формирования блоков. Его задача — снизить зависимость от одного участника при включении транзакций в блок и повысить устойчивость сети к цензуре.

В перспективе блокчейн, считает Бутерин, следует рассматривать не только как L1. Это будет более широкий вычислительный конвейер: локальные операции на устройстве пользователя, мемпулы с разными характеристиками конфиденциальности, агрегация доказательств, L2 и базовый уровень сети. Такая архитектура, по его ожиданиям, заметно увеличит масштабируемость без полного отказа от гарантий децентрализации.

Летом 2026 года Бутерин говорил о переходе Ethereum к условной «третьей эре», среди приоритетов которой — масштабирование, приватность и устойчивость к квантовым вычислениям.

ИИ как инструмент разработки и аудита

Отдельную роль Бутерин отвёл искусственному интеллекту. Современные криптографические системы, по его словам, настолько сложны, что ручная разработка и аудит кода становятся ограничивающим фактором.

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

Недостатки современных L2 он также связал с ограниченными возможностями проверки сложного кода: проекты вынуждены добавлять механизмы защиты, включая несколько систем доказательств и комитеты безопасности.

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

Применение ИИ не ограничивается разработкой. Бутерин считает, что агенты смогут самостоятельно работать со сложной инфраструктурой из L1, L2 и промежуточных сервисов, подбирая инструменты под конкретную операцию. В феврале 2026 года он представлял обновлённое видение развития ИИ и Ethereum с акцентом на децентрализацию, приватность и проверяемость.

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

Источник

Incrypted · права на исходный материал принадлежат автору.

Материал носит информационный характер и не является индивидуальной инвестиционной рекомендацией. Операции с криптовалютами связаны с риском полной потери вложенных средств. Подробнее — «Отказ от ответственности».

Bittalk в Telegram

Разборы событий, итоги дня и то, что двигает рынок. Без сигналов и обещаний — только факты и что они значат.

Читать в Telegram →

По теме