Виталик Бутерин представил подход, при котором блокчейн постепенно отказывается от необходимости многократно выполнять одинаковые операции на разных узлах. По его словам, развитие криптографии позволяет разделить выполнение вычисления и его проверку: один участник обрабатывает задачу и формирует доказательство корректности, а остальные узлы проверяют уже компактный криптографический результат. Такой принцип опирается на технологии SNARK и STARK и должен одновременно уменьшить вычислительную нагрузку и расширить возможности программируемой конфиденциальности. Если ранние блокчейны в основном решали задачу подтверждения права распоряжаться активами, то следующая архитектура может позволить самим программам определять, какие данные доступны различным участникам. Особое значение Бутерин придает рекурсивным STARK, которые позволяют объединять большое количество доказательств в одно и тем самым сокращать объем информации, передаваемой и обрабатываемой базовым уровнем сети.
Эта идея связана с изменением всей структуры вычислительного процесса Ethereum. В числе рассматриваемых направлений – предварительная агрегация подписей и доказательств, разделение транзакций на отдельные действия и зависимости, а также возможность выполнять независимые операции параллельно. Дополнительным элементом архитектуры становится распределенное формирование блоков, уменьшающее зависимость от одного участника при определении их содержимого. В более широком представлении блокчейн превращается из единственного уровня исполнения в многоступенчатый вычислительный конвейер. В него могут входить операции на устройстве пользователя, мемпулы с различными параметрами конфиденциальности, системы агрегации доказательств, решения второго уровня и базовый слой сети. Часть сложных вычислений в такой модели выполняется за пределами основного исполнения, а блокчейн получает компактное подтверждение их корректности. Это должно позволить масштабировать систему без пропорционального увеличения объема работы каждого узла.
Отдельное место в концепции Бутерина занимает искусственный интеллект. По его оценке, усложнение криптографических протоколов делает ручную разработку, тестирование и проверку кода все более трудоемкими задачами. ИИ может использоваться для подготовки программ, анализа реализации, создания спецификаций, поиска ошибок и формальной верификации, при которой соответствие кода заданным требованиям проверяется математическими методами. Несколько независимых спецификаций и автоматизированная проверка способны дополнительно снизить вероятность ошибок при создании сложных систем. ИИ, по этой логике, сможет работать не только с отдельными фрагментами кода, но и взаимодействовать с инфраструктурой из L1, L2 и промежуточных сервисов, выбирая необходимые инструменты для выполнения конкретных операций. В результате развитие криптографии и ИИ рассматривается как часть единого перехода к блокчейнам, где вычисления выполняются более распределенно, а их корректность подтверждается компактными доказательствами.
Похожие статьи
