Nous rendons compte ici de l’avancement des principaux constructeurs du service d’essai ZKonomy, en documentant les récentes versions importantes, les percées techniques et les mises à jour 👇 générales

ZkCloud @thezkcloud a reçu une subvention de la part de @ethereumfndn pour générer en continu des ZKPs pour les blocs du mainnet @ethereum tout au long du T2 2025. Toutes les preuves sont publiées publiquement via @eth_proofs. L'objectif est de démontrer une infrastructure évolutive pour la preuve en temps réel. ZkCloud utilise un cluster de 24 GPU et des outils open-source modifiés, avec des plans pour adopter les zkVM les plus rapides disponibles et réduire la latence pour des preuves de blocs en moins de 12 secondes : De plus, le projet a ajouté quatre nouveaux validateurs à son Testnet : @kintsugi_tech, @DeSpreadTeam, @CalBlockchain et @AhnLab_ABC. Ces groupes apportent des forces diverses - de l'infrastructure localisée et de la cybersécurité à la recherche et aux opérations de validation. Leur participation renforce la preuve décentralisée alors que ZkCloud se rapproche du Mainnet et intensifie ses capacités de preuve en temps réel au sein de son réseau : En outre, ZkCloud était l'un des principaux sponsors du Sommet Ethproofs de House of ZK pendant @BerBlockWeek. Le responsable produit @NorbertVadas a participé à trois sessions lors de l'événement : 1) Tout d'abord, il a donné un discours principal où il a parlé des goulets d'étranglement architecturaux et techniques de l'évolutivité de la preuve ZK - de l'optimisation de la récupération des données RPC à la gestion de la variance inattendue dans la complexité des blocs en raison des opcodes EVM avec un surcoût de preuve disproportionné : 2) Plus tard, Norbert a rejoint @Khovr de la Fondation Ethereum, @0xAlecJames de @NexusLabs, @MayaD09111862 de @StarkWareLtd et @alicelingl de @HouseofZK pour discuter de la manière dont les benchmarks zkVM standardisés peuvent induire en erreur lorsqu'ils sont optimisés pour des métriques étroites, de l'importance de l'évaluation des performances consciente du matériel et de la nécessité de cadres transparents et multidimensionnels qui reflètent les charges de travail du monde réel et renforcent la confiance dans le calcul vérifiable : 3) Enfin, avec @carlo_cretino50 de @0xLita, @DacEconomy de @ProjectZKM, @schmiddominik1 de @0xMiden et Alice Liu de House of ZK, il a exploré l'évolution de l'interopérabilité des zkVM, soulignant le potentiel d'aller au-delà des ponts traditionnels, le rôle des fournisseurs de preuves décentralisés et l'importance de normes partagées pour des applications blockchain évolutives et sécurisées :

Ingonyama @Ingo_zk a publié une implémentation accélérée de ML-KEM, un protocole d'encapsulation de clé basé sur des réseaux sélectionné par le NIST pour la cryptographie post-quantique. Le code basé sur CUDA est open-source sous la licence MIT et atteint jusqu'à 30 % de débit en plus par rapport aux implémentations actuelles. ML-KEM prend en charge trois niveaux de sécurité alignés avec Kyber512, Kyber768 et Kyber1024 : De plus, @BagadSuyash et @yuval_domb d'Ingonyama, @QuangVDao de @CarnegieMellon, et @SuccinctJT de @a16zcrypto ont publié un article décrivant l'intégration de deux optimisations clés qui accélèrent considérablement le protocole de vérification de somme, un composant fondamental des SNARKs. Les techniques ciblent les entrées polynomiales de petite valeur et les formes polynomiales d'égalité, permettant des réductions de temps de preuve de 2 à 4 fois dans le Jolt zkVM, avec des améliorations encore plus grandes lorsque la mémoire est contrainte. Ces résultats s'attaquent directement aux goulets d'étranglement des prouveurs dans des systèmes comme Spartan au sein de Jolt :

Fermah @fermah_xyz a lancé la Phase 2 de son testnet, qui comprend l'intégration de nœuds Prover externes, l'amélioration des outils pour développeurs et l'exécution de benchmarks personnalisés. La phase est nommée d'après le professeur Amit Sahai, dont le travail a considérablement façonné les fondements de la cryptographie ZK. Fermah note que les phases futures élargiront la participation au-delà du réseau d'infrastructure actuel, signalant une croissance continue et une implication plus large de la communauté : De plus, @vanishree_rao, fondatrice de Fermah, lors de l'appel #2 de @eth_proofs, a partagé que Fermah s'est intégré avec @RiscZero et @openvm_org pour générer localement des preuves, visant à prendre en charge tous les zkVMs et à soumettre les plus efficaces à Ethproofs. Elle a également partagé une proposition pour une nouvelle définition de sécurité - l'extractabilité de preuve choisie - soulignant les lacunes dans les normes actuelles. [Timestamp - 02:04:50]:

Cysic @cysic_xyz présente ComputeFi, visant à décentraliser la puissance de calcul, qui est essentielle tant pour l'IA que pour les technologies ZK. La plateforme permet aux utilisateurs de monétiser leur matériel et offre aux développeurs un accès abordable et transparent aux ressources informatiques. En réduisant la dépendance aux fournisseurs centralisés, Cysic affirme que les créateurs peuvent innover librement, en toute sécurité et de manière économique - ouvrant la voie à une participation numérique plus large et à des applications axées sur la confidentialité : De plus, le projet a lancé la Phase III : Ignition de son testnet - s'appuyant sur les étapes précédentes qui ont introduit un système à double jeton, des fournisseurs GPU et des vérificateurs mobiles. Ignition est une bêta publique offrant aux utilisateurs la possibilité de participer à un calcul décentralisé et de gagner des récompenses de testnet. L'accès est actuellement sur invitation uniquement, avec un support mobile à venir bientôt : Enfin, lors du récent @eth_proofs Call #2, le co-fondateur de Cysic, @leofanxiong, a partagé des mises à jour sur leurs ASIC personnalisés conçus pour les ZKPs. Les puces prennent en charge des domaines ZK clés et délivrent plus de 1,3 million de hachages Keccak/sec. Elles utilisent un réseau sur puce personnalisé pour un réarrangement efficace des données et associent du matériel à fonction fixe avec des CPU pour plus de flexibilité. Bien qu'elles soient encore sur FPGA, elles surpassent le débit typique des GPU :

Snarkify Lors du dernier appel @eth_proofs, @drouyang, co-fondateur et PDG de @Snarkify_ZKP, a informé les participants que Snarkify a construit le prouveur H2 GPU le plus rapide sur le mainnet @Scroll_ZKP et a dépassé 750 MHz en vitesse d'émulation RISC-V. L'équipe a déplacé la génération de traces complètes vers les GPU, augmentant considérablement le débit. Leur produit, permettant une preuve en temps réel pour tout zkVM, sera lancé d'ici la fin juin. [Timestamp - 01:12:30]:

Marlin @MarlinProtocol a annoncé que les développeurs construisant sur le @SuiNetwork auront un accès sans restriction à son marché de calcul TEE via Nautilus. Ils pourront choisir entre des VM confidentielles dédiées ou une exécution sans serveur, payables en USDC. Les outils incluent le support de Docker, la gestion des clés et l'attestation : De plus, Marlin a annoncé que ses Environnements d'Exécution de Confiance prennent désormais en charge la couche de règlement de @cyclenetwork_GO et l'infrastructure de liquidité sans pont, améliorant le traitement sécurisé des données hors chaîne. Cette mise à niveau répond aux besoins de confidentialité institutionnelle tout en permettant un règlement à haut débit :