Cysic își lansează motorul zkVM Venus ca open‑source, reformulând generarea de dovezi ca un graf de calcul global și poziționând ZisK în piața emergentă de dovezi EIP‑8025 a Ethereum.
Cysic a lansat Venus, un nou motor de calcul zkVM open‑source care restructurează generarea de dovezi în jurul unui graf de calcul global, mai degrabă decât un strat tradițional de abstracție hardware, poziționând stack-ul ZisK al companiei direct în dezbaterea pieței emergente de dovezi L1 a Ethereum. Anunțând mișcarea pe X, Cysic a descris Venus ca fiind „construit pe baza ZisK” și a declarat că sistemul „abandonează modelul tradițional HAL” în favoarea unei reprezentări bazate pe grafice a întregului flux de generare a dovezilor. „Această schimbare de paradigmă produce trei avantaje principale: optimizarea globală a calculului, reducerea mișcării ineficiente a datelor și o utilizare semnificativ îmbunătățită a GPU-ului”, a scris echipa.
În loc să trateze backend-urile hardware ca o secvență de apeluri de funcții izolate, Venus codifică generarea de dovezi cu zero cunoștințe ca un graf de calcul explicit care poate fi programat de la un capăt la altul pe GPU-uri, FPGA-uri și ASIC-uri viitoare. Cysic spune că acest lucru permite compilatorului să „reordoneze instrucțiunile și să fuzioneze operațiile de memorie peste limitele kernel-ului”, reducând aglomerarea memoriei între CPU și accelerator și potrivind mai bine caracterul masiv paralel al operațiilor MSM și NTT. În testele interne, motorul Venus a livrat o îmbunătățire de peste 9% a timpului de generare a dovezilor de la un capăt la altul, comparativ cu ZisK 0.16.1, în principal prin reducerea suprasarcinii de sincronizare CPU‑GPU, mai degrabă decât prin a se baza pe câștiguri de hardware brut.
Anunțul Venus vine pe măsură ce propunerea EIP‑8025 a Ethereum, denumită „Dovezi de Execuție Opționale”, formalizează un model multi-prover pentru validarea blocurilor L1 utilizând zkVM-uri. În explicația sa, Cysic menționează că ZisK este „unul dintre cele cinci zkVM-uri numite explicit ca și candidați în discuțiile oficiale ale comunității”, alături de sisteme precum RISC Zero și openVM, și spune că echipa poate deja „finaliza generarea unei dovezi pentru un bloc Ethereum în 7,4 secunde utilizând 24 de GPU-uri”, atingând obiectivele de timp real. Proiectul este „deja activ pe Ethproofs, trimițând dovezi în timp real pentru blocurile Ethereum folosind un singur RTX 4090” și este listat ca partener de integrare Ethproofs pe măsură ce ecosistemul se îndreaptă către o piață de dovezi L1.eips.
Cysic prezintă Venus ca fiind nucleul de accelerare software într-un stack mai amplu care include ZisK zkVM ca punct de intrare în protocol, hardware ASIC personalizat ca bază computațională și o rețea ComputeFi pentru programarea sarcinilor între prover-i. „Problema reală nu este puterea de calcul brută insuficientă, ci o nepotrivire arhitecturală fundamentală”, susține echipa, argumentând că este necesar un stack integrat strâns de zkVM, hardware și programare pentru a scala la scară largă foaia de parcurs planificată a Ethereum pentru zkEVM.university.
