Сооснователь ethereum Виталик Бутерин говорит, что гонка за достижение достаточной скорости доказательств с нулевым разглашением для ethereum однозначно завершена. Бутерин говорит, что приоритетом для zkEVM теперь должно полностью стать обеспечение безопасности. Комментарий Бутерина последовал за заявлением ZKsync о реальном времени доказательства на одном графическом процессоре.
Собственная оценка ZKsync показала, что Airbender Prime сгенерировал 99% доказательств менее чем за 10 секунд на протяжении 7200 последовательных блоков мейннета. Ethereum добавляет блок каждые 12 секунд. ZKsync утверждает, что ни один блок в выборке не занимал столько времени на доказательство. ZKsync также отмечает, что ETHproofs — публичный рейтинг провайдеров доказательств — ранжирует Airbender Prime на первом месте по среднему времени доказательства. ZKsync считает, что более низкие требования к оборудованию открывают возможность для большего числа институциональных участников и независимых операторов участвовать в процессе доказательства.
Валидаторы ethereum сейчас повторно выполняют каждую транзакцию для проверки блока. Доказательства с нулевым разглашением подтверждают, что вычисление было выполнено корректно, без повторного выполнения вычисления. Доказательства с нулевым разглашением позволят валидаторам проверять короткое доказательство вместо этого. Такой переход может сократить объем работы, которую валидаторы выполняют на каждый блок.
Бутерин назвал три требования к zkEVM — системам, которые доказывают выполнение Ethereum. Бутерин утверждает, что zkEVM должны соответствовать спецификации Ethereum. Бутерин говорит, что zkEVM должны ограничивать стоимость доказательства по газу блока. Бутерин говорит, что zkEVM должны опираться на надежную систему доказательств. Бутерин хочет, чтобы каждое требование было формально верифицировано, то есть математически доказано, а не только протестировано.
Более быстрое доказательство напрямую не влияет на цену Ethereum. Airbender Prime — это инструмент ZKsync, а не изменение протокола Ethereum. Airbender Prime не изменяет предложение ETH, комиссии и вознаграждения за стейкинг в Ethereum. Любое влияние на цену, скорее всего, будет связано с настроениями относительно дорожной карты Ethereum, а также макроэкономическими условиями и потоками капитала.
Более серьезная проблема — это доверие. ZKsync продвигает технологию среди банков, утверждая, что даже скомпрометированный сервер не сможет внести обновление реестра, нарушающее проверенные правила. Быстрый провайвер с ошибкой свел бы эту цель на нет. Формальная верификация и аудиты теперь могут определить, какие zkEVM-решения Ethereum может доверять.