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