Cysic publie en open‑source son moteur zkVM Venus, en reconfigurant la génération de preuves comme un graphe de calcul global et en positionnant ZisK sur le marché émergent des preuves EIP‑8025 d’Ethereum.
Résumé
- Venus remplace une couche d’abstraction matérielle traditionnelle par une vue basée sur des graphes de l’ensemble du pipeline de génération de preuves, permettant une optimisation du calcul à l’échelle mondiale et une meilleure utilisation des GPU.
- Cysic indique des gains de temps de preuve de bout en bout supérieurs à 9 % par rapport à ZisK 0.16.1 en réduisant la surcharge de synchronisation CPU‑GPU, plutôt qu’en s’appuyant sur de nouveaux matériels.
- ZisK est déjà en ligne sur Ethproofs et cité dans les discussions autour d’EIP‑8025, l’équipe affirmant des preuves de blocs Ethereum en 7,4 secondes sur 24 GPU et une génération de preuves en temps réel sur un seul RTX 4090.
Cysic a publié Venus, un nouveau moteur de calcul zkVM open‑source qui restructure la génération de preuves autour d’un graphe de calcul global plutôt que d’une couche d’abstraction matérielle traditionnelle, positionnant la pile ZisK de l’entreprise au cœur du débat sur le marché L1 des preuves d’Ethereum en émergence. En annonçant le changement sur X, Cysic a décrit Venus comme « construit au‑dessus de ZisK » et a déclaré que le système « abandonne le modèle HAL traditionnel » au profit d’une représentation basée sur des graphes de l’ensemble du pipeline de preuves. « Ce changement de paradigme apporte trois avantages clés : optimisation du calcul global, réduction des déplacements de données inefficaces et amélioration nettement supérieure de l’utilisation des GPU », a écrit l’équipe.
Conception zkVM axée sur le graphe {#graphfirst-zkvm-design}
Au lieu de traiter les backends matériels comme une séquence d’appels de fonctions isolées, Venus encode la génération de preuves à connaissance nulle comme un graphe de calcul explicite pouvant être planifié de bout en bout sur des GPU, des FPGA et de futurs ASIC. Cysic affirme que cela permet au compilateur de « réordonner les instructions et fusionner les opérations mémoire à travers les limites de kernel », en réduisant les frictions de mémoire entre le CPU et l’accélérateur et en s’accordant mieux au caractère massivement parallèle des opérations de MSM et NTT. Lors de tests internes, le moteur Venus a délivré « plus de 9 % d’amélioration du temps de preuve de bout en bout par rapport à ZisK 0.16.1 », principalement en rognant la surcharge de synchronisation CPU‑GPU plutôt qu’en s’appuyant sur des gains matériels bruts.
Accès direct au volet preuves d’Ethereum {#direct-line-into-ethereums-proof-track}
L’annonce de Venus arrive alors que la proposition d’EIP‑8025 d’Ethereum, baptisée « Optional Execution Proofs », formalise un modèle multi‑proveur pour la validation des blocs L1 à l’aide de zkVM. Dans son explicatif, Cysic note que ZisK est « l’un des cinq zkVM explicitement nommés comme candidats dans les discussions communautaires officielles », aux côtés de systèmes tels que RISC Zero et openVM, et affirme que l’équipe peut déjà « finaliser la génération de preuves pour un bloc Ethereum en 7,4 secondes en utilisant 24 GPU », en atteignant des objectifs de temps réel. Le projet est « déjà en ligne sur Ethproofs, en soumettant des preuves en temps réel pour des blocs Ethereum à l’aide d’un seul RTX 4090 », et il est listé comme partenaire d’intégration sur Ethproofs, alors que l’écosystème se dirige vers un marché L1 des preuves.eips.
Opération d’infrastructure ZK full‑stack {#fullstack-zk-infrastructure-play}
Cysic présente Venus comme le cœur d’accélération logicielle au sein d’une pile plus large qui inclut la zkVM ZisK au point d’entrée du protocole, un matériel ASIC sur mesure comme base de calcul et un réseau ComputeFi pour planifier des jobs entre proveurs. « Le problème réel n’est pas un manque de puissance de calcul brute, mais un décalage architectural fondamental », soutient l’équipe, affirmant qu’une pile de zkVM, de matériel et de planification étroitement intégrée est nécessaire pour hyperscaler la feuille de route zkEVM prévue d’Ethereum.university.
