Venus zkVM от Cysic становится открытым исходным кодом, поскольку Ethereum видит надежные рынки

Cysic открывает исходный код своего движка Venus zkVM, превращая генерацию доказательств в глобальный граф вычислений и позиционируя ZisK на развивающемся рынке доказательств EIP-8025 Ethereum.

Cysic выпустила Venus, новый вычислительный движок zkVM с открытым исходным кодом, который реструктурирует генерацию доказательств вокруг глобального вычислительного графа, а не традиционного уровня аппаратной абстракции, помещая стек ZisK компании прямо в зарождающуюся дискуссию о рынке доказательств Ethereum L1. Объявляя о переходе на X, Цисик описал Venus как «построенную на основе ZisK» и сказал, что система «отказывается от традиционной модели HAL» в пользу графического представления всего конвейера доказательств. «Этот сдвиг парадигмы дает три основных преимущества: глобальную оптимизацию вычислений, сокращение неэффективного перемещения данных и заметное улучшение использования графического процессора», — написала команда.

Проектирование zkVM на основе графов

Вместо того, чтобы рассматривать аппаратные серверные части как последовательность изолированных вызовов функций, Venus кодирует генерацию доказательства с нулевым разглашением как явный граф вычислений, который можно планировать сквозным образом для графических процессоров, FPGA и будущих ASIC. Цисик утверждает, что это позволяет компилятору «переупорядочивать инструкции и объединять операции с памятью за пределами ядра», сокращая нагрузку на память между ЦП и ускорителем и лучше соответствуя массовому параллельному характеру операций MSM и NTT. В ходе внутренних тестов движок Venus продемонстрировал «более 9% общего улучшения времени проверки по сравнению с ZisK 0.16.1», в первую очередь за счет сокращения накладных расходов на синхронизацию ЦП и графического процессора, а не за счет чистого аппаратного выигрыша.

Прямая линия на путь доказательства Ethereum

Анонс Venus появился в виде предложения Ethereum EIP-8025, получившего название «Дополнительные доказательства выполнения», формализует модель с несколькими доказательствами для проверки блоков L1 с использованием zkVM. В своем пояснении Cysic отмечает, что ZisK является «одной из пяти zkVM, явно названных кандидатами в официальных обсуждениях сообщества» наряду с такими системами, как RISC Zero и openVM, и говорит, что команда уже может «завершить генерацию доказательства для блока Ethereum за 7,4 секунды, используя 24 графических процессора», достигая целей в реальном времени. Проект «уже работает на Ethproofs, отправляя доказательства блоков Ethereum в режиме реального времени с использованием одного RTX 4090» и указан в качестве партнера по интеграции Ethproofs, поскольку экосистема движется к рынку доказательств L1.eips.

Полнофункциональная инфраструктура ZK

Cysic представляет Venus как ядро программного ускорения внутри более крупного стека, включающего ZisK zkVM в точке входа протокола, специализированное оборудование ASIC в качестве вычислительной базы и сеть ComputeFi для планирования заданий между проверочными устройствами. «Настоящая проблема заключается не в недостаточности сырых вычислений, а в фундаментальном архитектурном несоответствии», — утверждает команда, утверждая, что для гипермасштабирования запланированного Ethereum zkEVM roadmap.university необходим тесно интегрированный стек zkVM, аппаратного обеспечения и планирования.