Cysic udostępnia jako open-source swój silnik Venus zkVM, przekształcając generowanie dowodów w globalny graf obliczeniowy i pozycjonując ZisK na wschodzącym rynku dowodów EIP-8025 Ethereum.
Cysic wypuścił Venus, nowy, otwarty silnik obliczeniowy zkVM, który restrukturyzuje generowanie dowodów wokół globalnego grafu obliczeniowego, zamiast tradycyjnej warstwy abstrakcji sprzętu, pozycjonując stos ZisK firmy bezpośrednio w ramach wschodzącej debaty o rynku dowodów L1 Ethereum. Ogłaszając to na X, Cysic opisał Venus jako „zbudowany na ZisK” i stwierdził, że system „porzuca tradycyjny model HAL” na rzecz grafowej reprezentacji całego potoku dowodowego. „Ta zmiana paradygmatu przynosi trzy kluczowe korzyści: globalną optymalizację obliczeń, ograniczenie nieefektywnego przenoszenia danych i znacznie lepsze wykorzystanie GPU” – napisał zespół.
Zamiast traktować backendy sprzętowe jako sekwencję izolowanych wywołań funkcji, Venus koduje generowanie dowodów zero-knowledge jako jawny graf obliczeniowy, który może być planowany od początku do końca na GPU, FPGA i przyszłych ASIC. Cysic twierdzi, że to pozwala kompilatorowi na „zmienianie kolejności instrukcji i łączenie operacji pamięci przez granice jądra”, redukując marnotrawstwo pamięci między CPU a akceleratorem i lepiej dopasowując się do masowo równoległego charakteru operacji MSM i NTT. W testach wewnętrznych silnik Venus zapewnił „ponad 9% poprawę czasu generowania dowodów end-to-end w porównaniu do ZisK 0.16.1”, głównie poprzez redukcję narzutu synchronizacji CPU-GPU, zamiast polegać na surowych zyskach sprzętowych.
Ogłoszenie Venus pojawia się, gdy propozycja Ethereum EIP-8025, nazwana „Opcjonalnymi Dowodami Wykonania”, formalizuje model wielu weryfikatorów dla walidacji bloków L1 za pomocą zkVM. W swoim wyjaśnieniu Cysic zauważa, że ZisK jest „jednym z pięciu zkVM-ów wyraźnie wymienionych jako kandydaci w oficjalnych dyskusjach społeczności”, obok systemów takich jak RISC Zero i openVM, i twierdzi, że zespół może już „ukończyć generowanie dowodów dla bloku Ethereum w 7,4 sekundy, używając 24 GPU”, spełniając cele czasu rzeczywistego. Projekt jest „już dostępny na Ethproofs, przesyłając dowody w czasie rzeczywistym dla bloków Ethereum za pomocą pojedynczej karty RTX 4090” i jest wymieniony jako partner integracyjny Ethproofs, w miarę jak ekosystem zmierza w kierunku rynku dowodów L1.eips.
Cysic przedstawia Venus jako rdzeń akceleracji oprogramowania w ramach większego stosu, który obejmuje ZisK zkVM jako punkt wejścia protokołu, niestandardowy sprzęt ASIC jako podstawę obliczeniową oraz sieć ComputeFi do planowania zadań pomiędzy weryfikatorami. „Prawdziwym problemem nie jest niewystarczająca surowa moc obliczeniowa, ale fundamentalne niedopasowanie architektoniczne” – argumentuje zespół, twierdząc, że ściśle zintegrowany stos zkVM, sprzętu i planowania jest potrzebny do hiper-skalowania planowanej mapy drogowej zkEVM Ethereum.university.
