Cysic відкриває вихідний код свого рушія Venus zkVM, переосмислюючи генерацію доказів як глобальний граф обчислень та позиціонуючи ZisK на ринку доказів EIP‑8025, що формується в Ethereum.
Cysic випустила Venus, новий рушій обчислень zkVM з відкритим вихідним кодом, який реструктурує генерацію доказів навколо глобального графа обчислень, а не традиційного рівня апаратних абстракцій, чітко позиціонуючи стек ZisK компанії всередині дискусії про ринок доказів L1, що формується в Ethereum. Анонсуючи цей крок у X, Cysic описала Venus як "побудовану на базі ZisK" і заявила, що система "відмовляється від традиційної моделі HAL" на користь графічного представлення всього конвеєра доведення. "Цей парадигмальний зсув дає три ключові переваги: глобальну оптимізацію обчислень, зменшення неефективного переміщення даних та помітно покращене використання GPU", — написала команда.
Замість того, щоб розглядати апаратні бекенди як послідовність ізольованих викликів функцій, Venus кодує генерацію доказів з нульовим розголошенням як явний граф обчислень, який може бути запланований від початку до кінця для GPU, FPGA та майбутніх ASIC. Cysic стверджує, що це дозволяє компілятору "змінювати порядок інструкцій та об'єднувати операції з пам'яттю через межі ядер", зменшуючи накладні витрати на обмін даними між CPU та прискорювачем і краще відповідаючи масивно паралельному характеру операцій MSM та NTT. У внутрішніх тестах рушій Venus забезпечив "понад 9% покращення часу доведення від початку до кінця порівняно з ZisK 0.16.1", переважно за рахунок зменшення накладних витрат на синхронізацію CPU-GPU, а не за рахунок виключно апаратних досягнень.
Анонс Venus з'явився, оскільки пропозиція Ethereum EIP‑8025, названа "Опціональні докази виконання," формалізує модель з кількома доказувачами для валідації блоків L1 за допомогою zkVM. У своєму поясненні Cysic зазначає, що ZisK є "однією з п'яти zkVM, прямо названих кандидатами в офіційних обговореннях спільноти," поряд з такими системами, як RISC Zero та openVM, і заявляє, що команда вже може "завершити генерацію доказу для блоку Ethereum за 7,4 секунди, використовуючи 24 GPU," відповідаючи вимогам реального часу. Проєкт "вже працює на Ethproofs, подаючи докази в реальному часі для блоків Ethereum, використовуючи одну RTX 4090," і вказаний як партнер з інтеграції Ethproofs, оскільки екосистема рухається до ринку доказів L1.eips.
Cysic позиціонує Venus як ядро програмного прискорення в рамках ширшого стеку, який включає zkVM ZisK як точку входу протоколу, спеціалізоване апаратне забезпечення ASIC як обчислювальну базу та мережу ComputeFi для планування завдань між доказувачами. "Справжня проблема полягає не в недостатній необробленій обчислювальній потужності, а в фундаментальній архітектурній невідповідності," — стверджує команда, заявляючи, що для гіпермасштабування запланованої дорожньої карти zkEVM Ethereum потрібен тісно інтегрований стек zkVM, апаратного забезпечення та планування.university.
ETH
