Cysic rend open-source son moteur Venus zkVM, refondant la génération de preuves comme un graphe de calcul global et positionnant ZisK au sein du marché émergent des preuves EIP-8025 d'Ethereum.
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 ainsi la pile ZisK de l'entreprise au cœur du débat émergent sur le marché des preuves L1 d'Ethereum. En annonçant cette initiative sur X, Cysic a décrit Venus comme "construit sur ZisK" et a déclaré que le système "abandonne le modèle HAL traditionnel" au profit d'une représentation basée sur un graphe de l'ensemble du pipeline de preuve. "Ce changement de paradigme offre trois avantages fondamentaux : l'optimisation globale du calcul, la réduction des mouvements de données inefficaces et une utilisation nettement améliorée du GPU", a écrit l'équipe.
Au lieu de traiter les backends matériels comme une séquence d'appels de fonction isolés, Venus encode la génération de preuves à connaissance nulle (zero-knowledge) comme un graphe de calcul explicite qui peut être planifié de bout en bout sur des GPU, des FPGA et de futurs ASIC. Cysic affirme que cela permet au compilateur de "réorganiser les instructions et de fusionner les opérations mémoire au-delà des limites du noyau", réduisant ainsi l'encombrement mémoire entre le CPU et l'accélérateur et mieux adapté au caractère massivement parallèle des opérations MSM et NTT. Lors de tests internes, le moteur Venus a permis "une amélioration du temps de preuve de bout en bout de plus de 9 % par rapport à ZisK 0.16.1", principalement en réduisant le surcoût de synchronisation CPU-GPU plutôt qu'en s'appuyant sur des gains de performances matérielles bruts.
L'annonce de Venus survient alors que la proposition EIP-8025 d'Ethereum, surnommée "Preuves d'exécution optionnelles", formalise un modèle multi-preuves pour la validation des blocs L1 à l'aide de zkVMs. Dans son explicatif, Cysic note que ZisK est "l'un des cinq zkVMs explicitement nommés comme candidats dans les discussions officielles de la communauté", aux côtés de systèmes tels que RISC Zero et openVM, et affirme que l'équipe peut déjà "achever la génération de preuves pour un bloc Ethereum en 7,4 secondes en utilisant 24 GPU", atteignant ainsi les objectifs en temps réel. Le projet est "déjà en ligne sur Ethproofs, soumettant des preuves en temps réel pour les blocs Ethereum en utilisant une seule RTX 4090", et est répertorié comme partenaire d'intégration Ethproofs alors que l'écosystème s'oriente vers un marché des preuves L1.eips.
Cysic présente Venus comme le cœur d'accélération logicielle au sein d'une pile plus large qui inclut le zkVM ZisK au point d'entrée du protocole, un matériel ASIC personnalisé comme base de calcul et un réseau ComputeFi pour la planification des tâches entre les prouveurs. "Le vrai problème n'est pas un calcul brut insuffisant, mais un déséquilibre architectural fondamental", affirme l'équipe, soutenant qu'une pile intégrée de zkVM, de matériel et de planification est nécessaire pour adapter à l'échelle massive la feuille de route zkEVM prévue d'Ethereum.university.
