Cysic оприлюднює вихідний код свого рушія Venus zkVM, перетворюючи генерацію доказів на глобальний граф обчислень та позиціонуючи ZisK на ринку доказів EIP‑8025, що розвивається в Ethereum.
Cysic випустила Venus, новий обчислювальний рушій zkVM з відкритим кодом, який реструктуризує генерацію доказів навколо глобального графа обчислень, а не традиційного рівня апаратної абстракції, позиціонуючи стек ZisK компанії безпосередньо в дискусії щодо ринку доказів L1, що розвивається в Ethereum. Оголошуючи про цей крок щодо X, Cysic описав Venus як «побудовану на ZisK» і сказав, що система «відмовляється від традиційної моделі HAL» на користь графового представлення всього конвеєра доказів. «Цей зсув парадигми дає три основні переваги: глобальну оптимізацію обчислень, зменшення неефективного переміщення даних та помітне покращення використання графічного процесора», – написала команда.
Графоорієнтований дизайн zkVM
Замість того, щоб розглядати апаратні серверні частини як послідовність ізольованих викликів функцій, Venus кодує генерацію доказів з нульовим розголошенням як явний граф обчислень, який можна планувати наскрізно на графічних процесорах, FPGA та майбутніх ASIC. Cysic каже, що це дозволяє компілятору «змінювати порядок інструкцій та об'єднувати операції з пам'яттю між межами ядра», зменшуючи перевантаження пам'яті між процесором та прискорювачем і краще узгоджуючи масово паралельний характер операцій 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.
Повноцінна інфраструктура ZK
Cysic розглядає Venus як ядро програмного прискорення всередині більшого стеку, що включає ZisK zkVM у точці входу протоколу, спеціалізоване обладнання ASIC як обчислювальну базу та мережу ComputeFi для планування завдань між випробувачами. «Справжня проблема полягає не в недостатній кількості вихідних обчислень, а в фундаментальній архітектурній невідповідності», — стверджує команда, стверджуючи, що для гіпермасштабування запланованої дорожньої карти zkEVM для Ethereum необхідна тісно інтегрована zkVM, апаратне забезпечення та стек планування.