Ici, nous faisons le point sur les progrès des principaux acteurs de l'écosystème zkVM, documentant les récentes sorties significatives, les percées techniques et les mises à jour générales. Avec : @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc et @openvm_org 👇

Succinct 🔹 Tech 🔹 @SuccinctLabs a introduit SP1-CC, un coprocesseur ZK pour @ethereum qui permet aux développeurs de lire l'état historique de la blockchain, d'exécuter des calculs complexes hors chaîne et de vérifier les résultats sur chaîne avec une seule preuve : SP1-CC supprime les contraintes de gaz et les limitations de l'EVM sans modifier le code L1, permettant de nouveaux cas d'utilisation dans la gouvernance, la DeFi, les airdrops et les divulgations de sécurité. Des équipes comme @eigenlayer l'utilisent déjà pour réduire les coûts et augmenter la flexibilité. 🔹 Partenariats 🔹 Le projet a récemment annoncé un certain nombre de nouveaux partenariats, notamment : 🔹 @Snarkify_ZKP : Rejoint le Succinct Prover Network en tant qu'équipe de preuve précoce, apportant un moteur de preuve SP1-SRT personnalisé optimisé pour la génération de ZKP en temps réel sur GPU et FPGA, aidant à réduire la latence et le coût à travers le réseau : 🔹 @a41_allforone : Intégré dans le réseau en tant que prouveur multi-nœuds avec un planificateur qui coordonne des centaines de GPU, ainsi qu'un backend optimisé pour Python, permettant une preuve à haut débit pour des applications comme les jeux, l'IA et les rollups : 🔹 @cysic_xyz : Ajouté au réseau en tant que prouveur accéléré par matériel fonctionnant avec de grands clusters de GPU et préparant le lancement d'un ASIC personnalisé pour les charges de travail zkVM, contribuant une expertise approfondie de ZPRIZE et d'une infrastructure ZK de qualité production : 🔹 @worldcoin : Collaboré pour prouver toutes les transactions sur World Chain en utilisant OP Succinct, exécutant une expérience mainnet de 7 jours avec vérification de preuve parallèle et démontrant des preuves de validité rapides et rentables pour l'une des plus grandes chaînes OP Stack : 🔹 @Mantle_Official : Soutenu la transition du Mantle Network vers OP Succinct sur testnet, s'alignant avec leur feuille de route pour améliorer la sécurité et la décentralisation avec des preuves de défaut alimentées par ZK et une infrastructure modulaire : 🔹 @zan_team : Rejoint en tant que prouveur multi-nœuds alimenté par @AntChainOpenLab, contribuant une infrastructure accélérée par matériel et une optimisation SP1 basée sur FPGA qui améliore la vitesse de preuve de 20x par rapport aux CPU, aidant à réduire les coûts du réseau et à ouvrir la voie aux ASIC ZK : 🔹 Médias 🔹 Enfin, le co-fondateur de Succinct @pumatheuma a rejoint @alicelingl dans le récent 'Succinct Special', où ils ont discuté des derniers développements de Succinct et de tout ce qui concerne ZK :

ZKM 🔹 Tech 🔹 @ProjectZKM a introduit Ziren - un zkVM accéléré par GPU avec preuve distribuée, anciennement connu sous le nom de zkMIPS : Construit sur l'architecture MIPS32r2 efficace en zk, Ziren alimente déjà des applications réelles comme @GOATRollup et réduit considérablement le temps de génération de preuves par rapport aux versions précédentes. 🔹 Recherche 🔹 ZKM a publié plusieurs nouveaux articles mettant en avant les dernières avancées de sa pile de preuves ZK : 🔹 Le premier article a présenté les mises à jour qui ont accompagné le rebranding de Ziren - accélération GPU, preuve distribuée et diverses optimisations de contraintes : 🔹 Le second a expliqué le Cadre Système Ziren, couvrant l'ensemble du pipeline du code de haut niveau aux preuves on-chain. Il détaille comment les traces d'exécution basées sur MIPS sont converties en STARKs, agrégées de manière récursive avec PLONK, et finalisées en Groth16 pour une vérification efficace : 🔹 Le troisième article a complété la trilogie de la série ISA de ZKM, se concentrant sur les raisons pour lesquelles ZKM a choisi MIPS32r2 plutôt que RISC-V. Il souligne la stabilité des circuits et la longévité des preuves, expliquant comment MIPS offre une ISA fixe et immuable, garantissant que les preuves restent valides pendant des années sans retravail : 🔹 Dans l'article le plus récent, ZKM a introduit les Engagements Polynomiaux Étagés - une méthode pour gérer des matrices irrégulières dans les zkVMs. En utilisant des conversions de sparse à dense et des protocoles de vérification de somme, cela permet des engagements évolutifs et efficaces à travers des structures de preuve dynamiques : 🔹 Médias 🔹 Enfin, @DacEconomy (scientifique en chef de ZKM) et @sd_eigen (contributeur principal au réseau GOAT) ont rejoint @alicelingl pour discuter de la manière dont le zkVM de ZKM alimente le Bitcoin L2 du réseau GOAT : Ils ont exploré l'infrastructure Entangled Rollup, la génération de preuves en temps réel et agrégées, et le remplacement de la confiance des validateurs par une certitude mathématique - mettant en avant l'architecture et le modèle de sécurité derrière l'approche de GOAT en matière de scalabilité Bitcoin.

RISC Zero/Boundless 🔹 Tech 🔹 @boundless_xyz par @RiscZero a lancé sa version bêta Mainnet sur @base, apportant les ZKPs dans l'utilisation réelle : 'Le Signal' a été introduit - un client ZK open-source qui compresse la finalité d'@ethereum en une seule preuve, permettant la vérification inter-chaînes. En séparant l'exécution du consensus, Boundless permet un calcul évolutif sans sacrifier la sécurité. La preuve est sans autorisation, avec de réels incitatifs et un support d'application en direct déjà en cours sur Base. 🔹 Partenariats 🔹 Le Signal de Boundless est désormais soutenu par @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject et @union_build. Ensemble, ces réseaux permettent à la finalité ZK basée sur @ethereum de devenir un primitif universel et vérifiable pour les applications inter-chaînes - sans oracles, ponts ou hypothèses de confiance :

Lors du dernier appel Ethproofs, @succinct_li de @brevis_zk a partagé des mises à jour sur le zkVM interne de Brevis, Pico : (Horodatage 11:06) Le prouveur basé sur GPU de Brevis, Pico v1.0, offre jusqu'à 20× d'améliorations de vitesse par rapport à leur version CPU et surpasse les principaux concurrents d'environ 25 à 27 %. L'équipe prévoit de sortir Pico v2.0 d'ici la fin août, visant une preuve en temps réel. Ils ont également l'intention de rendre le code GPU open-source après avoir terminé le support multi-GPU et multi-machine dans les mois à venir.

Lita @0xLita a présenté Valida 0.10.0, une mise à jour majeure de sa pile zkVM : La version ajoute des Continuations pour les preuves d'exécution partielle, une API WASM côté client pour les preuves zk basées sur le navigateur, et un support amélioré de l'outil Rust/LLVM. Elle inclut également des images Docker pour x86 et ARM, un support précoce pour Secp256k1 et memcpy, et Reva, un exécuteur de blocs @ethereum.

OpenVM @openvm_org a publié la version 1.3.0, introduisant des bibliothèques invitées remaniées qui séparent clairement les liaisons de bas niveau des API de haut niveau : La mise à jour inclut une nouvelle bibliothèque Rust pour vérifier les preuves STARK, des améliorations de l'interface en ligne de commande prenant en charge les options Cargo, et des correctifs pour des crates cryptographiques comme k256 et p256. Aucun changement de circuit n'a eu lieu. Les développeurs sont encouragés à migrer vers les nouvelles bibliothèques.