Cysic open‑sourced zijn Venus zkVM-engine, waarbij de proof-generatie wordt geherdefinieerd als een globale computationele graaf en ZisK wordt gepositioneerd binnen de opkomende EIP‑8025 proof-markt van Ethereum.
Cysic heeft Venus uitgebracht, een nieuwe open-source zkVM rekenengine die de proof-generatie herstructureert rondom een globale computationele graaf in plaats van een traditionele hardware-abstractielaag, waarmee de ZisK-stack van het bedrijf stevig wordt gepositioneerd binnen de opkomende L1 proof-marktdiscussie van Ethereum. Bij de aankondiging op X omschreef Cysic Venus als "gebouwd bovenop ZisK" en zei dat het systeem "het traditionele HAL-model verlaat" ten gunste van een graaf-gebaseerde representatie van de gehele proof-pijplijn. "Deze paradigmaverschuiving levert drie kernvoordelen op: globale rekenoptimalisatie, verminderde ineffectieve gegevensverplaatsing en aanzienlijk verbeterde GPU-benutting," schreef het team.
In plaats van hardware-backends te behandelen als een reeks geïsoleerde functieaanroepen, codeert Venus zero-knowledge proof-generatie als een expliciete computationele graaf die end-to-end kan worden gepland over GPU's, FPGA's en toekomstige ASIC's. Cysic zegt dat dit de compiler in staat stelt om "instructies te herordenen en geheugenoperaties over kernelgrenzen heen samen te voegen," wat de geheugenoverschrijving tussen CPU en versneller vermindert en beter aansluit bij het massaal parallelle karakter van MSM- en NTT-operaties. In interne tests leverde de Venus-engine "meer dan 9% end-to-end proof-tijdverbetering op vergeleken met ZisK 0.16.1," voornamelijk door de CPU-GPU-synchronisatie-overhead te verminderen in plaats van te vertrouwen op ruwe hardwarewinsten.
De Venus-aankondiging komt op het moment dat Ethereums EIP‑8025-voorstel, genaamd "Optional Execution Proofs," een multi-prover-model formaliseert voor L1-blokvalidatie met behulp van zkVM's. In zijn toelichting merkt Cysic op dat ZisK "een van de vijf zkVM's is die expliciet worden genoemd als kandidaten in officiële gemeenschapsdiscussies," naast systemen zoals RISC Zero en openVM, en zegt dat het team al "proof-generatie voor een Ethereum-blok kan voltooien in 7,4 seconden met behulp van 24 GPU's," waarmee real-time doelen worden gehaald. Het project is "al live op Ethproofs, waar het real-time proofs voor Ethereum-blokken indient met behulp van een enkele RTX 4090," en staat vermeld als een Ethproofs-integratiepartner nu het ecosysteem zich beweegt naar een L1 proof-markt.eips.
Cysic ziet Venus als de software-acceleratiekern binnen een grotere stack die de ZisK zkVM omvat als protocol-ingangspunt, aangepaste ASIC-hardware als de computationele basis en een ComputeFi-netwerk voor het plannen van taken over provers. "Het echte probleem is niet onvoldoende ruwe rekenkracht, maar een fundamentele architecturale wanverhouding," stelt het team, stellende dat een strak geïntegreerde zkVM-, hardware- en planningsstack nodig is om de geplande zkEVM-roadmap van Ethereum te hyperscalen.university.
