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

• Venus заменяет традиционный уровень аппаратной абстракции (HAL) графовым представлением всего конвейера построения доказательств, обеспечивая оптимизацию глобальных вычислений и более эффективное использование GPU.
• Cysic сообщает о приросте более 9% по общему времени генерации доказательств по сравнению с ZisK 0.16.1 за счет сокращения накладных расходов на синхронизацию CPU‑GPU, а не за счет опоры на новые аппаратные средства.
• ZisK уже запущен на Ethproofs и упоминается в обсуждениях EIP‑8025: команда утверждает, что доказательства для блоков Ethereum занимают 7,4 секунды на 24 GPU, а генерация в режиме реального времени выполняется на одном RTX 4090.

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

Проектирование zkVM с приоритетом графа {#graphfirst-zkvm-design}

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

Прямая линия в трек доказательств Ethereum {#direct-line-into-ethereums-proof-track}

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

Игра про ZK‑инфраструктуру end‑to‑end {#fullstack-zk-infrastructure-play}

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