Le zkVM Dernières nouvelles Ici, nous rapportons 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 : @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm, et @ProjectZKM. 🔹 Visitez pour plus de rapports de l'industrie 🔹

Brevis 🔹 Livre blanc de ProverNet 🔹 @brevis_zk a publié son livre blanc ProverNet décrivant un marché décentralisé où les applications demandent une capacité de preuve ZK et où des proveurs spécialisés rivalisent pour l'offrir : Le système utilise un mécanisme d'enchères doubles en ligne véridiques pour faire correspondre des charges de travail hétérogènes avec des ressources appropriées tout en garantissant la qualité du service grâce à des incitations économiques. ProverNet introduit le token BREV pour les paiements, le staking et la gouvernance, et un mainnet beta avec une enchère simplifiée est prévu pour bientôt. 🔹 Médias 🔹 Dans un épisode récent de @HouseofZK Radio, @no89thkey, co-fondateur de Brevis, a abordé comment l'équipe est passée de ses origines DeFi à la construction de calculs vérifiables et de preuves quasi en temps réel : Il a parlé du Pico zkVM, du proveur distribué Pico Prism utilisé pour la preuve de blocs @Ethereum, et de la manière dont l'architecture modulaire de Brevis soutient la fidélité on-chain, les récompenses simplifiées et les intégrations de ponts CEX/DEX. Podcast complet : 🔹 Événements 🔹 Brevis a organisé et participé à plusieurs sessions clés lors de @EFDevcon, apportant des perspectives pratiques sur le calcul vérifiable et le passage à des modèles d'exécution basés sur des preuves hors chaîne : • Brevis a tenu ZKONNECT, avec House of ZK comme co-hôte, se concentrant sur la manière dont les zkVM, les coprocesseurs ZK, le zkML et le zkTLS passent de concepts à la production. Le programme a mis en avant des déploiements pratiques de calcul vérifiable, d'accès aux données inter-chaînes et d'inférence AI, ainsi que plusieurs discours et discussions décrivant comment les équipes appliquent l'infrastructure ZK à de vraies applications. • Michael a donné un discours principal à Verifying Intelligence 3.0, organisé par House of ZK et co-hébergé par Brevis : Il a expliqué pourquoi la plupart des calculs blockchain migreront hors chaîne et seront vérifiés par des ZKPs, présentant Brevis comme la couche de calcul infini qui exécute une logique lourde hors chaîne et renvoie des résultats succincts et vérifiables. La présentation a couvert le Pico zkVM, la preuve en temps réel sur Ethereum, l'architecture modulaire de Brevis et les intégrations actuelles alimentant le DeFi intelligent, les attestations préservant la vie privée et les systèmes d'incitation continue. 🔹 Partenariats 🔹 Enfin, Brevis et @vana ont présenté un modèle conjoint pour l'utilisation de données privées en AI en combinant des entrées authentifiées avec un calcul local qui ne révèle aucune information brute : Brevis zkTLS prouve l'origine des données, tandis que Pico zkVM les traite sur l'appareil de l'utilisateur. Vana gère le consentement et les récompenses, offrant aux développeurs des métriques vérifiées et permettant aux utilisateurs de conserver un contrôle total sur leurs données. 🔹 Visitez pour plus de rapports de l'industrie 🔹

Jolt (@a16zcrypto) 🔹 Appel Ethproofs 🔹 @SuccinctJT, chercheur chez @a16zcrypto, a présenté lors du récent appel @eth_proofs. Il a souligné comment les zkVMs actuels contrôlent la mémoire du prouveur en divisant les traces en morceaux et en agrégeant récursivement les preuves, mais cela ajoute de la complexité, des risques de bogues et des coûts de performance. Horodatage - 32:30 : Justin a ensuite expliqué comment Jolt vise à remplacer cela par une approche de streaming qui limite la mémoire du prouveur à quelques gigaoctets, quel que soit le nombre de cycles. Deux des vingt composants Sumcheck requis sont déjà en streaming, le reste du travail devant être terminé bientôt. 🔹 Recherche 🔹 Justin a également publié un article basé sur les résultats d'une enquête axée sur la manière dont la conception moderne des SNARK atteint une preuve rapide en se concentrant sur le protocole de vérification des sommes : L'article décrit pourquoi des techniques telles que l'évaluation par lots, les arguments de recherche, les polynômes virtuels et la préservation des petites valeurs réduisent le travail du prouveur et les coûts d'engagement. En utilisant Jolt comme étude de cas principale, il montre comment l'exploitation de la structure computationnelle répétée permet des zkVMs efficaces et guide les futures améliorations de performance. 🔹 Visitez pour plus de rapports de l'industrie 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden a publié son Testnet v0.12, introduisant des mises à jour majeures dans les flux de confidentialité, la gestion des clés, le traitement des adresses et les outils pour développeurs : La version ajoute un nouveau format d'adresse avec support de chiffrement, une couche de transport de notes privées avec @Nethermind, une signature ECDSA via des précompilations, et des améliorations dans le traitement des données dans le nœud. Elle inclut également des garde-fous de base pour la visibilité des données de transaction, le nouvel installateur midenup pour un onboarding simplifié, un devnet dédié pour l'expérimentation, et plusieurs améliorations au niveau de la VM pour la composition et le débogage. 🔹 Publications 🔹 Le projet a publié un article expliquant comment les multisigs privés deviennent réalisables grâce à un nouveau système appelé Gestion d'État Privé, co-développé avec @OpenZeppelin : L'article décrit pourquoi les multisigs traditionnels s'appuient sur un état public partagé, comment le modèle de confidentialité de Miden complique la coordination, et comment les couches de synchronisation, de coordination et d'authentification de PSM maintiennent les comptes privés alignés. Il se termine par des exemples de cas d'utilisation pratiques et note qu'un premier Proof-of-Concept est déjà disponible. 🔹 Événements 🔹 Lors de @EFDevcon, Miden a organisé et participé à plusieurs événements, notamment : • Le Privacy Salon, un événement organisé par Miden qui a rassemblé des bâtisseurs, des chercheurs et des fondateurs pour des discussions courtes, axées sur les idées, et des discussions ouvertes sur la confidentialité, les systèmes décentralisés, et les intersections évolutives entre crypto, web3 et finance traditionnelle. • Verifying Intelligence 3.0, organisé par @HouseofZK, où @huitseeker, Responsable de l'ingénierie chez Miden, a parlé du rôle des zkVM dans le zkML, expliquant les différences entre la preuve d'inférence et l'entraînement, les limitations des TEE, et comment la conception de Miden soutient des scénarios de vérification d'IA pratiques et résistants aux adversaires. Horodatage - 02:50:12: 🔹 Intégrations 🔹 Le projet a introduit deux nouveaux partenariats qui étendent son écosystème à travers la confidentialité, l'onboarding et l'infrastructure, notamment : • @get_para : Intégration du portefeuille intégré de Para et de l'authentification MPC distribuée pour permettre un onboarding non-custodial sans friction pour les applications Miden. La collaboration a introduit une connexion sans mot de passe, la création instantanée de portefeuille, et des flux utilisateurs sans friction, alignant la pile UX de Para avec le modèle de confidentialité conforme de Miden pour soutenir les applications DeFi privées, fintech, gaming et institutionnelles construites sur l'exécution ZK : • @gateway_eth : Partenariat avec pour fournir une infrastructure de niveau entreprise pour le réseau blockchain évolutif et axé sur la confidentialité de Miden. Le partenariat garantit une haute disponibilité, un accès rapide aux données, et une fiabilité opérationnelle à mesure que Miden se développe, avec Gateway exécutant des composants clés tels que le pont natif, les prouveurs, et l'explorateur de blocs pour soutenir le déploiement de l'architecture d'exécution de Miden : 🔹 Visitez pour plus de rapports de l'industrie 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs a lancé la version Alpha de sa bourse de contrats à terme perpétuels décentralisée dans le cadre de son Testnet III, offrant une plateforme CLOB simplifiée et non-custodiale construite sur une infrastructure vérifiable : La sortie se concentre sur les fonctions de trading essentielles, un onboarding simplifié et des fonds de test au lieu d'actifs réels. Bien que l'interface soit minimale, le carnet de commandes sous-jacent est conçu pour des performances à faible latence et s'élargira avec les retours de la communauté et l'introduction progressive de preuves cryptographiques. 🔹 État du Réseau 🔹 Nexus a publié son rapport réseau de novembre : Les points forts incluent : • Le réseau a traité 87,198 millions de transactions, avec 87,038 millions complétées, montrant une grande fiabilité et un écart très faible entre l'activité initiée et finalisée. • Le débit de preuves a été ajusté de 5,810 à 4,16 preuves par seconde au cours du mois, reflétant un retour à une base de preuve plus stable après le pic rapide d'octobre. • Les contrats vérifiés ont atteint 2,548 millions, démontrant la confiance continue des développeurs dans l'environnement de preuve malgré une latence plus élevée et un débit modéré. • Les frais de transaction ont été en moyenne de 0,048 NEX, maintenant le coût de vérifiabilité bas et laissant de la place pour une itération rapide et des interactions fréquentes sur la chaîne. 🔹 Événements 🔹 Le scientifique en chef de Nexus @JensGroth16 a participé à une discussion informelle lors de l'événement Verifying Intelligence de @HouseofZK pendant @EFDevcon, discutant de l'évolution des ZKPs depuis les premiers travaux théoriques jusqu'aux applications d'aujourd'hui dans l'IA vérifiable : Il a souligné l'accent mis par Nexus sur la combinaison de la correction prouvable avec la sécurité économique et a souligné la nécessité de normes, d'éducation et d'une confiance institutionnelle plus large pour garantir que les systèmes vérifiables deviennent utilisables et largement adoptés. 🔹 Visitez pour plus de rapports de l'industrie 🔹

Risc Zero & Boundless 🔹 Appel Ethproofs 🔹 Lors du récent appel @eth_proofs #6, @BruestleJeremy, PDG et co-fondateur de @RiscZero, a partagé comment l'équipe a réussi à démarrer un véritable noyau Linux à l'intérieur du zkVM après avoir ajouté le support S-mode Risc-V, un MMU complet et une mémoire virtualisée. Horodatage - 20:30 : La démonstration a montré plusieurs processus en cours d'exécution et un environnement presque déterministe adapté à des piles logicielles plus larges. Risс Zero prévoit de livrer cela dans la prochaine version du circuit alors que les progrès sur le prouveur se poursuivent. 🔹 Événements 🔹 @boundless_xyz a participé à plusieurs événements lors de Devconnect à Buenos Aires, y compris : • Une session de lecture de livre blanc organisée par @HouseofZK en partenariat avec @WPReadingClub et @invisiblgarden, où Boundless, @citrea_xyz, @MinaProtocol et @o1_labs ont participé à des discussions en table ronde sur les développements de recherche récents et les idées émergentes dans l'écosystème Web3 et ZK. • Un panel Verifying Intelligence 3.0, où @reka_eth, Directeur Marketing chez Boundless, a contribué à une discussion sur la preuve de la contribution humaine à une époque façonnée par l'IA et la robotique, aux côtés des intervenants @humpty0x de @OntologyNetwork, @zKsisyfos de @StarkWareLtd, @DacEconomy de @ProjectZKM, et @Viggy_117 de @eigencloud. Horodatage - 00:57:54 : 🔹 Visitez pour plus de rapports de l'industrie 🔹

Succinct 🔹 SP1 Hypercube 🔹 @SuccinctLabs a rapporté que la dernière version de son SP1 Hypercube zkVM peut prouver 99,7 % des blocs L1 d'@ethereum en moins de 12 secondes sur 16 GPU RTX 5090, prolongeant son précédent jalon de preuve en temps réel : La version ajoute d'importantes améliorations de performance, la vérification formelle de toutes les contraintes RISC-V, la suppression des dépendances à la conjecture de proximité, et de nouvelles mesures de sécurité. Hypercube est en train de finaliser des audits et sera publié en open source et via le Succinct Prover Network. 🔹 Recherche 🔹 Dans une étude récente menée par @ronrothblum, Responsable de la Cryptographie chez Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL), et @kleptographic (@NYU_Courant), les auteurs présentent TensorSwitch, un schéma d'engagement polynomial basé sur le hachage presque optimal : Il aborde deux limitations principales des SNARGs basés sur le hachage : le temps de preuve et la taille des preuves. En utilisant des codes tensoriels et des preuves d'oracle interactives, TensorSwitch atteint des temps d'engagement et d'ouverture linéaires par rapport à la taille d'entrée, des coûts de hachage sous-linéaires, et des requêtes de vérificateur asymptotiquement minimales, sans dépendre d'une configuration de confiance ou de cryptographie basée sur des groupes. 🔹 C2PA 🔹 Succinct a rejoint @C2PA_org, travaillant aux côtés d'autres participants développant des normes ouvertes pour la vérification de contenu numérique : Alors que les médias générés par l'IA augmentent, le projet introduit la vérification ZK pour renforcer les flux de provenance avec confidentialité et attestations évolutives. Succinct vise à soutenir des normes de métadonnées unifiées et à améliorer l'interopérabilité entre les plateformes. En rejoignant C2PA, le projet prévoit de contribuer à la recherche et d'aider à déployer des outils d'authenticité de contenu dans des contextes pratiques. 🔹 OP Succinct Lite 🔹 @Celo a mis à niveau son testnet Sepolia vers OP Succinct Lite grâce au hardfork Jello, se rapprochant du lancement du mainnet : Plus tôt cette année, Celo a migré vers un Ethereum L2 pour soutenir les paiements du monde réel et est devenu la première chaîne à adopter OP Succinct Lite avec EigenDA v2. 🔹 Visitez pour plus de rapports de l'industrie 🔹

ZKM 🔹 Audit 🔹 Le Ziren de ZKM est en cours d'audit par @VeridiseInc, utilisant sa plateforme de vérification Picus : Veridise a adapté les contraintes Plonky3 de Ziren et a effectué des analyses via @AuditHubDev. Les résultats initiaux ont confirmé un comportement déterministe pour l'addition et la soustraction dans la puce AddSub. Les équipes prévoient d'étendre la vérification aux circuits complets et d'intégrer des contrôles dans le flux de développement de ZKM. 🔹 Publications 🔹 @ProjectZKM a publié un article expliquant comment le protocole GKR vérifie les calculs de circuits arithmétiques en vérifiant de manière récursive la cohérence à travers les couches de circuits en utilisant le protocole multivarié Sumcheck : L'article explique la structure des circuits en couches, le rôle des extensions multilinéaires, comment Sumcheck réduit la vérification à des évaluations ponctuelles, et comment la récursion se termine à la couche d'entrée. Il montre pourquoi GKR est efficace pour les grands circuits et fondamental dans les systèmes ZK modernes. 🔹 Événements 🔹 ZKM a publié un article sur leur temps passé à @EFDevcon, avec les points forts suivants : • ZKONNECT par @brevis_zk et House of ZK : Le CTO de ZKM @sd_eigen a rejoint le panel de preuve en temps réel EVM Proved in 10 Seconds discutant des systèmes de preuve accélérés par GPU. • Verifying Intelligence par House of ZK et Brevis : Stephen a parlé de la confidentialité basée sur ZK dans les flux de travail AI et a passé en revue l'audit de Ziren avec @VeridiseInc. Le co-fondateur @DacEconomy a rejoint le panel AI et Travail sur la vérification des contributions humaines. • @EtherArgentina Hackathon : ZKM a sponsorisé l'événement avec Stephen en tant que juge et le responsable de l'éducation @alicelingl mentorant les équipes. • Native BTCFi Summit par @babylonlabs_io et @build_on_bob : discussions sur la finance alignée sur @Bitcoin et l'évolutivité de BTC. • StarkConnect par @Starknet : Stephen a participé à une session sur l'évolutivité de Bitcoin avec Starknet, @AlpenLabs et @atomiqlabs. • ZK Real World Summit : panel sur les chaînes préservant la vie privée avec @MantaNetwork, @ZKVProtocol et @nillion. • Cultural Vivo par @invisiblgarden : ZKM est revenu en tant que sponsor soutenant le hub pour les constructeurs ZK et AI. 🔹 Visitez pour plus de rapports de l'industrie 🔹