[Одна видеокарта доказала возможность работы с Ethereum. Но реальные испытания на практике — другие.] @zksync продемонстрировал доказательство 7200 последовательных блоков Ethereum Mainnet с использованием всего одной видеокарты. 99% из них были доказаны менее чем за 10 секунд, а все блоки — менее чем за 12 секунд. Однако согласно реальным показателям работы EthProofs, поддерживаемым Ethereum Foundation, из восьми оцениваемых провайдеров доказательств лишь два соответствовали недельным критериям пригодности за последнюю неделю. Эти два результата нельзя напрямую сравнивать по производительности, поскольку они измеряются в разных условиях и на разных объектах. Наоборот, именно это различие выявляет следующую задачу для ZK-технологий. Краткое резюме: - Airbender Prime продемонстрировал возможность обработки одного GPU блоков Ethereum с интервалом примерно в 12 секунд. - В реальных условиях эксплуатации провайдера необходимо учитывать не только скорость генерации доказательств, но и доступность, частоту сбоев и требования к оборудованию. - В долгосрочной перспективе конкурентоспособность zkEVM будет определяться не скоростью обработки доказательств, а точностью верификации, стоимостью доказательства в худшем случае и устойчивостью операционной работы. Airbender Prime, представленный ZKsync 13 октября, успешно доказал 7200 последовательных блоков Ethereum Mainnet с использованием одной видеокарты NVIDIA RTX PRO 6000 Blackwell. Поскольку Ethereum генерирует блоки примерно каждые 12 секунд, 7200 блоков соответствуют примерно 24 часам блоков в номинальном смысле. Значимость заключается в том, что 99% блоков были обработаны менее чем за 10 секунд — даже с учётом времени на подготовку входных данных (witness). Если скорость генерации доказательств превышает скорость появления новых блоков, верификаторы могут подтверждать результат выполнения транзакций не путём повторного выполнения, а с помощью криптографических доказательств. Это значительно снижает вычислительные затраты на верификацию. Однако тест производительности на 7200 блоках и постоянная поставка доказательств в реальной эксплуатационной среде — это разные задачи. EthProofs публично измеряет производительность и состояние эксплуатации нескольких систем, генерирующих доказательства для блоков Ethereum в реальном времени. На момент проверки 26 октября на панели управления отображались следующие данные: - 8 оцениваемых провайдеров доказательств, из которых 2 соответствовали недельным критериям пригодности; - 69,7% всех оцениваемых блоков были доказаны за 10 секунд или быстрее; - 26,2% провайдеров были классифицированы как офлайн. Эти цифры — не результаты теста Airbender Prime на одной видеокарте. Это агрегированные показатели эксплуатации множества провайдеров, отличающихся по оборудованию, среде выполнения и критериям оценки. Однако они демонстрируют: для практического использования доказательств в сети необходимо обеспечить не только индивидуальную производительность, но и надёжность эксплуатации. Даже если провайдер генерирует доказательства в среднем за 5 секунд, частые прерывания или неспособность обрабатывать определённые блоки сделают систему ненадёжной при полной зависимости от него. Необходимо проверить: может ли другая реализация предоставить доказательство при сбое конкретного провайдера; способна ли система справляться с накоплением задержек при последовательном поступлении сложных блоков. Требования к оборудованию также требуют отдельной проверки. В руководстве по GPU в открытом репозитории Airbender указано, что для базовых и рекурсивных этапов доказательства используется GPU, а для финального этапа требуется CPU и около 150 ГБ оперативной памяти. Не подтверждено, совпадает ли эта конфигурация с той, что использовалась в последнем бенчмарке Prime. Следовательно, результат «одна видеокарта» не позволяет однозначно определить общие требования к памяти или операционные затраты всей системы. 15 октября @VitalikButerin высоко оценил достижение команды Airbender и обозначил три следующие задачи для zkEVM: Первая — математически подтвердить соответствие вычислений, используемых для доказательства, реальным спецификациям выполнения Ethereum. Вторая — установить строгий верхний предел стоимости доказательства относительно использования газа в блоке. Третья — проверить криптографическую безопасность самой системы доказательств. Второе требование напрямую связано с реальными операционными затратами. Что произойдёт, если кто-то намеренно создаст блок с вычислениями, которые крайне сложно доказать, но при этом находятся в пределах разрешённого лимита газа? Блок будет корректно выполнен с оплатой газа, но для генерации доказательства потребуется чрезмерно много вычислений и времени. Если такая ситуация возможна, то даже при очень низком среднем времени доказательства на блок невозможно точно предсказать максимальную нагрузку, которую сеть сможет стабильно обрабатывать. Экономическая эффективность реального времени доказательств зависит не только от средней стоимости доказательства для обычного блока, но и от того, сколько ресурсов потребуется в худшем случае. Роадмап EthProofs также развивается в этом направлении.Текущий этап улучшения производительности завершен, и сейчас проходит этап проверки безопасности. Далее запланированы этапы интеграции доказательств задержки, обязательных доказательств и прямой интеграции доказательств в протокол. Этот порядок важен, потому что создание одного быстрого доказательства и заставление Ethereum доверять этому доказательству в процессе согласия — это разные задачи. Анонс Airbender Prime предоставил убедительные доказательства того, что можно снизить аппаратную нагрузку при реальных доказательствах. Следующий результат будет сложно оценить только по более быстрым показателям. Важно, насколько долго система сможет поддерживать высокий процент успешных доказательств в реальных условиях эксплуатации, ограничены ли затраты на доказательства даже в худших блоках и одинаково ли точно разные реализации подтверждают одинаковые результаты выполнения Ethereum. Технологии ZK-доказательств переходят от этапа демонстрации быстрых вычислений к этапу становления надежной инфраструктуры, на которую сеть сможет реально полагаться. #Ethereum #zkEVM