➥ La couche GPU pour les blockchains - Coprocessors ZK Les blockchains déplacent de la valeur, pas de la computation. Lorsque les contrats exécutent une logique complexe ou des requêtes de données, ils atteignent le mur des frais. Les Coprocessors ZK corrigent cela. Ils agissent comme la couche GPU pour les blockchains, exécutant des tâches hors chaîne et prouvant les résultats sur chaîne. Laissez-moi expliquer en 30s 🧵 — — — ► Que sont les Coprocessors ZK ? Les Coprocessors ZK sont des couches de calcul hors chaîne qui permettent aux contrats intelligents de gérer une logique complexe sans frais élevés ni problèmes de confiance. Ils exécutent des tâches hors chaîne, génèrent des preuves à divulgation nulle de connaissance, et permettent à la chaîne de les vérifier à moindre coût. En résumé, ils augmentent la computation tout en restant vérifiables. Caractéristiques principales : ➤ Exécution hors chaîne : Exécute des charges de travail lourdes comme des requêtes de données ou des inférences AI. ➤ Preuve de correction : Chaque résultat inclut une preuve ZK vérifiée sur chaîne. ➤ Sans état et agnostique à la chaîne : Fonctionne à travers les L1, L2 et les rollups. ➤ Économique : Réduit les frais et la latence. — ► Où s'intègrent les Coprocessors ZK Les Coprocessors ZK ne sont pas des rollups ou des oracles ; ils les complètent. Ils se situent à côté des blockchains comme une couche de calcul qui vérifie le travail sans ajouter de congestion. Comment ils diffèrent : ➤ Rollups : Augmentent les transactions et conservent l'état. Les Coprocessors augmentent la computation et restent sans état. ➤ Oracles : Livrent des données sans preuve. Les Coprocessors retournent des données avec des preuves. ➤ TEEs : Dépendent de matériel de confiance. Les Coprocessors vérifient par les mathématiques, pas par des machines. Ensemble, ils étendent la pile modulaire, les rollups déplacent des données, les oracles les récupèrent, les coprocessors les prouvent. — ► Comment fonctionnent les Coprocessors ZK Flux de travail : Contrat intelligent → Coprocessor ZK → Génération de preuve → Vérification sur chaîne Étape par étape : ➤ Contrat intelligent : Envoie une demande pour une tâche lourde comme récupérer des données ou exécuter un modèle AI. ➤ Coprocessor ZK : Exécute le calcul hors chaîne pour éviter les frais et la latence. ➤ Génération de preuve : Crée une preuve ZK que le calcul était correct. ➤ Vérification sur chaîne : Le contrat vérifie la preuve et met à jour les résultats. — ► Projets de Coprocessors ZK leaders ➤ Lagrange ( @LagrangeDev ) Fournit un coprocessor ZK basé sur SQL avec des comités de clients légers pour des requêtes inter-chaînes à finalité rapide. Utilisé par @eigenlayer, @Mantle_Official, et @base pour une interopérabilité vérifiable. ➤ Space and Time ( @SpaceandTimeDB ) Fournit un coprocessor Proof-of-SQL permettant des requêtes vérifiables sur des données on-chain et off-chain. Utilisé par @chainlink et des partenaires d'entreprise pour des analyses évolutives et des flux d'oracles. ➤ RISC Zero ( @RiscZero ) Fournit un zkVM RISC-V avec un service de preuve Bonsai pour un calcul vérifiable à usage général. Utilisé par @citrea_xyz et @PhalaNetwork pour des preuves d'exécution de confiance. ➤ Brevis ( @brevis_zk ) Fournit un coprocessor de données ZK programmable pour des requêtes inter-chaînes et des données inter-chaînes sans confiance. Utilisé par @Uniswap V4 Hooks et @LineaBuild Ignition. ➤ Giza ( @Gizatechxyz ) Fournit un cadre zkML qui convertit les modèles AI en forme vérifiable à divulgation nulle de connaissance. Utilisé par des projets AI basés sur @Starknet pour la détection de fraude et la gestion d'actifs. ➤ =nil; Foundation ( @nil_foundation ) Fournit le compilateur zkLLVM et le marché de preuves pour convertir le code standard en circuits prouvables. Utilisé par des ponts, des rollups et des protocoles financiers pour la génération de preuves. ➤ Boundless ( @BoundlessXYZ ) Fournit des coprocessors ZK programmables pour l'accès à l'état historique et le calcul inter-chaînes. Utilisé par des rollups partenaires pour l'indexation des données et les mécanismes d'incitation. ➤ Succinct ( @SuccinctLabs ) Fournit le SP1 zkVM et un réseau de prouveurs décentralisé pour des preuves de validité. Utilisé par @Mantle_Official pour remplacer les preuves de fraude et réduire les retraits de sept jours à six heures. ➤ Axiom ( @axiom_xyz ) Fournit une API de preuve et OpenVM pour interroger les données historiques d'@ethereum hors chaîne et les vérifier sur chaîne. Utilisé par @Scroll_ZKP pour finaliser des blocs et réduire la latence des retraits. — ► Risques et compromis ➤ Coûts de preuve élevés : Les preuves nécessitent un matériel puissant et un long calcul. ➤ Développement complexe : Nécessite une expertise en cryptographie et des outils spécialisés. ➤ Risque de centralisation : Les réseaux de prouveurs précoces dépendent de quelques nœuds. ➤ Cycles matériels rapides : Le matériel évolue rapidement, rendant les configurations coûteuses et de courte durée. — ► Conclusion Les Coprocessors ZK éliminent le plus grand goulot d'étranglement des blockchains — la computation. Ils transforment une logique lente et coûteuse en exécution évolutive et vérifiable pour des contrats intelligents complexes. À mesure que le matériel s'améliore et que les réseaux de prouveurs se décentralisent, les coûts de preuve diminueront et les performances augmenteront. Les bâtisseurs à travers DeFi, les rollups, l'AI et les systèmes d'intention les utilisent pour apporter une computation vérifiable aux blockchains modulaires.

J'ai tagué mes amis qui redéfinissent le récit et élèvent la conversation. > @HouseofChimera > @belizardd > @SherifDefi > @0xCheeezzyyyy > @Mars_DeFi > @90s_DeFi > @nlbkaifine > @Nick_Researcher > @YashasEdu > @thelearningpill > @cryptorinweb3 > @satyaXBT > @kenodnb > @Tanaka_L2 > @TimHaldorsson > @satyaXBT > @Haylesdefi > @Hercules_Defi > @DeRonin_ > @0xAndrewMoh > @0xDefiLeo > @Defi_Warhol > @CryptMoose_ > @TheDeFiPlug > @arndxt_xo > @CryptoShiro_ > @the_smart_ape

— Avertissement