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

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

Cysic випустила Venus — новий open‑source рушій обчислень zkVM, який перебудовує генерацію доказів навколо глобального обчислювального графа, а не традиційного рівня апаратної абстракції, позиціонуючи стек ZisK компанії прямо в центрі дискусії щодо ринку proof‑доказів L1 в Ethereum, що формується. Анонсуючи цей крок у X, Cysic описала Venus як «побудовану поверх ZisK» та сказала, що система «відмовляється від традиційної моделі HAL» на користь графового представлення всього пайплайна генерації доказів. «Ця зміна парадигми дає три ключові переваги: оптимізацію глобальних обчислень, зменшення неефективного переміщення даних і помітно покращене використання GPU», — написала команда.

Графо‑перший дизайн zkVM {#graphfirst-zkvm-design}

Замість того, щоб розглядати апаратні бекенди як послідовність ізольованих викликів функцій, Venus кодує генерацію zk‑доказів як явний обчислювальний граф, який можна планувати end‑to‑end на GPU, FPGA та майбутніх ASIC. Cysic каже, що це дозволяє компілятору «переставляти інструкції та зливати операції з пам’яттю через межі ядер (kernel boundaries)», зменшуючи «помітання» пам’яті між CPU та акселератором і краще відповідно відображаючи масивно‑паралельний характер операцій MSM та NTT. У внутрішніх тестах рушій Venus забезпечив «понад 9% покращення загального часу генерації доказів порівняно з ZisK 0.16.1», головним чином урізаючи накладні витрати на синхронізацію CPU‑GPU, а не покладаючись на чисті прирости від «сирого» обладнання.

Прямий вихід на proof‑траєкторію в Ethereum {#direct-line-into-ethereums-proof-track}

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

Повноцінний план ZK‑інфраструктури {#fullstack-zk-infrastructure-play}

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