Бутерин: гонка за скорость ZK-доказательств завершена, теперь приоритет — безопасность

Сооснователь Ethereum Виталик Бутерин заявил, что гонка за ускорением zero-knowledge-доказательств для сети завершена — теперь главным приоритетом должна стать безопасность.

Заявление прозвучало после того, как ZKsync объявила о достижении генерации доказательств в реальном времени на одной видеокарте. Новый генератор доказательств Airbender Prime показал на 7200 последовательных блоков мейннета результат 99% доказательств менее чем за 10 секунд. Ethereum добавляет новый блок каждые 12 секунд.

Zero-knowledge-доказательства позволяют валидаторам убедиться в корректности вычислений без повторного выполнения каждой транзакции — достаточно короткого доказательства. Это снижает нагрузку на валидаторов при проверке блоков.

По данным публичного рейтинга ETHproofs, Airbender Prime занимает первое место по среднему времени доказательства. ZKsync отмечает, что низкие требования к оборудованию открывают возможность генерации доказательств для большего числа организаций и независимых операторов.

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

Курс ETH потерял более 5% за последние сутки.