Venus zkVM de Cysic devient open source alors qu'Ethereum protège les marchés
Cysic ouvre son moteur Venus zkVM, transformant la génération de preuves en un graphe de calcul global et positionnant ZisK sur le 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 directement dans le débat émergent sur le marché des preuves L1 d'Ethereum. Annonçant le passage à X, Cysic a décrit Vénus comme « construite sur ZisK » et a déclaré que le système « abandonne le modèle HAL traditionnel » au profit d'une représentation graphique de l'ensemble du pipeline de preuves. "Ce changement de paradigme présente trois avantages fondamentaux : une optimisation globale du calcul, une réduction des mouvements de données inefficaces et une utilisation nettement améliorée du GPU", a écrit l'équipe.
Conception zkVM d’abord graphique
Au lieu de traiter les backends matériels comme une séquence d’appels de fonctions isolés, Venus code la génération de preuves à connaissance nulle sous la forme d’un graphe de calcul explicite qui peut être planifié de bout en bout sur les GPU, les FPGA et les futurs ASIC. Cysic affirme que cela permet au compilateur de « réorganiser les instructions et de fusionner les opérations de mémoire au-delà des limites du noyau », réduisant ainsi les pertes de mémoire entre le processeur et l'accélérateur et correspondant mieux au caractère massivement parallèle des opérations MSM et NTT. Lors de tests internes, le moteur Venus a apporté « 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 la surcharge de synchronisation CPU-GPU plutôt qu'en s'appuyant sur des gains matériels bruts.
Ligne directe vers la piste de preuve d'Ethereum
L’annonce de Venus arrive alors que la proposition EIP-8025 d’Ethereum, baptisée « Preuves d’exécution facultatives », formalise un modèle multi-preuve pour la validation de bloc L1 à l’aide de zkVM. Dans son explication, Cysic note que ZisK est « l’un des cinq zkVM 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à « terminer la génération de preuves pour un bloc Ethereum en 7,4 secondes en utilisant 24 GPU », atteignant 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 à l’aide d’un seul RTX 4090 » et est répertorié comme partenaire d’intégration d’Ethproofs alors que l’écosystème évolue vers un marché de preuves L1.eips.
Jeu d’infrastructure ZK full-stack
Cysic présente Venus comme le noyau d'accélération logicielle au sein d'une pile plus grande qui comprend le ZisK zkVM au point d'entrée du protocole, du matériel ASIC personnalisé comme base de calcul et un réseau ComputeFi pour planifier les tâches entre les prouveurs. "Le vrai problème n'est pas un calcul brut insuffisant mais une inadéquation architecturale fondamentale", affirme l'équipe, affirmant qu'une pile zkVM, matérielle et de planification étroitement intégrée est nécessaire pour hyperscaler la feuille de route zkEVM prévue par Ethereum.