Voici la carte complète de l'écosystème ZK. Te souviens-tu que les RWA ont été refusés par le grand public plusieurs fois, jusqu'à ce qu'ils deviennent la réalité de tout le monde cette année, 2025 ? ZK fera de même. AJOUTE CETTE Publication aux favoris. Tu y reviendras lorsque ZK deviendra courant en 2026. (Il y a 125 projets)

1. ZK Rollups et zkEVM L2s ZkSync @zksync : Rollup zkEVM compatible avec Ethereum utilisant des preuves basées sur PLONK pour offrir des transactions rapides et peu coûteuses tout en héritant de la sécurité d'Ethereum. Starknet @Starknet : Rollup de validité à usage général utilisant des preuves STARK et la VM Cairo pour un calcul évolutif et prouvable sur Ethereum. Polygon zkEVM @0xPolygon : Rollup ZK équivalent EVM qui exécute des contrats Ethereum existants avec vérification de preuve ZK sur Ethereum. Scroll @Scroll_ZKP : Un rollup zkEVM de type 3 construit pour une haute sécurité et transparence avec compatibilité au niveau du bytecode avec Ethereum. Linea @LineaBuild : Rollup zkEVM de ConsenSys, intégré dans la pile MetaMask et Infura pour faire évoluer les dapps Ethereum. Taiko @taikoxyz : Un zkRollup construit comme un zkEVM de type 1 avec des proposeurs et prouveurs sans autorisation. Manta Pacific @MantaNetwork : L2 modulaire qui combine des preuves ZK avec la sécurité d'Ethereum pour des cas d'utilisation DeFi et d'identité axés sur la confidentialité. ZKFair @ZKFCommunity : Rollup zkEVM lancé par la communauté construit sur le Polygon CDK et Celestia DA. Loopring @loopringorg : Une couche d'échange et de paiements basée sur zk-rollup de niveau 2-3 se concentrant sur le trading et les transferts à haut débit. zkLink Nova @zkLink_Official : Un rollup agrégé utilisant des preuves ZK pour unifier la liquidité et les comptes à travers plusieurs L2 et L1. Immutable zkEVM @Immutable : zkEVM axé sur le jeu construit avec la technologie Polygon. Kakarot @KakarotZkEvm : Un zkEVM construit sur la technologie Starknet émulant l'EVM dans un environnement basé sur Cairo. Miden @0xMiden : Un rollup et VM basé sur STARK de Polygon utilisant un modèle de preuve de confidentialité côté client pour une exécution évolutive. Boba Network (en développement) @bobanetwork : Une plateforme L2 multichaîne explorant la preuve basée sur ZK dans le cadre d'un design hybride de calcul et d'évolutivité.

2. Rollups ZK spécifiques aux applications dYdX v3 @dYdX : DEX perpétuel construit sur le rollup ZK de StarkEx pour le trading à fort effet de levier avec un carnet de commandes offchain et un règlement onchain. Sorare @Sorare : Jeu NFT de sports fantasy utilisant le rollup ZK de StarkEx pour gérer le trading NFT à grande échelle. Myria @Myria : L2 orienté gaming utilisant des rollups ZK de style StarkEx pour les minting de NFT et les économies de jeu. zkLend @zkLend : Un protocole de marché monétaire natif à Starknet, utilisant le scaling ZK pour le prêt et l'emprunt. Ekubo @ekuboProtocol : AMM de liquidité concentrée sur Starknet conçu pour être une couche de liquidité centrale pour l'écosystème. zkNoid @ZkNoid : Hub de jeux construisant des jeux onchain prouvables dans l'environnement ZK récursif de Mina Protocol.

3. BTCFi ZK Rollups Citrea @citrea_xyz : ZK rollup sur le réseau Bitcoin qui vise à apporter une exécution de style EVM avec des preuves de validité ancrées à BTC. Intmax @intmaxIO : Conception de L2 ZK rollup sans état, axée sur la confidentialité, avec une grande évolutivité et efficacité, publiant des preuves sur des chaînes existantes comme Ethereum ou Bitcoin.

4. L1s ZK-Privacy Aleo @AleoHQ : L1 axé sur la confidentialité où toutes les applications sont écrites dans le langage Leo et compilées en preuves à divulgation nulle de connaissance pour une exécution privée. Mina Protocol @MinaProtocol : L1 ultra-léger où l'ensemble de la chaîne est représenté par un zkSNARK de taille constante, permettant à chaque utilisateur de le vérifier avec un téléphone. Aztec Network @aztecnetwork : Rollup de confidentialité basé sur ZK et L2 programmable pour un DeFi chiffré. Aleph Zero @Aleph__Zero : Un L1 qui combine un consensus basé sur un DAG avec une couche de confidentialité ZK pour des contrats intelligents privés. Anoma @anoma : Protocole basé sur l'intention utilisant des techniques ZK avancées pour le troc privé, le matching et le règlement. Namada @namada : Chaîne de preuve d'enjeu offrant un pool de protection multi-actifs pour une confidentialité partagée entre de nombreux tokens différents. Penumbra @penumbrazone : Chaîne de confidentialité basée sur Cosmos permettant le staking privé et le trading DEX utilisant des preuves à divulgation nulle de connaissance. Iron Fish @ironfishcrypto : L1 axé sur la confidentialité où toutes les transactions sont protégées par défaut à l'aide de preuves à divulgation nulle de connaissance. Hyli @hyli_org : Stack blockchain ZK construit pour des applications vérifiables et une infrastructure zéro-knowledge modulaire. ZkCloud @thezkcloud : Un réseau de prouveurs partagé L1, offrant la génération de preuves ZK comme service de couche de base. Singularity @singularityzk : Chaîne alimentée par ZK conçue pour le DeFi institutionnel avec des contraintes intégrées et des vérifications de risque validées dans des circuits. Dusk Network @DuskFoundation : L1 de confidentialité axé sur la finance réglementée et les tokens de sécurité avec des outils de conformité basés sur des preuves à divulgation nulle de connaissance. Oasis Network @OasisProtocol : L1 activé pour la confidentialité qui combine le calcul confidentiel et des outils compatibles avec ZK pour un DeFi privé et des marchés de données.

5. Projets de confidentialité ZK Zcash @Zcash : Monnaie de confidentialité utilisant des zkSNARKs pour permettre des transactions protégées où les montants et les adresses peuvent être cachés mais restent vérifiables. Monero @monero : Projet axé sur la confidentialité utilisant des signatures en anneau, des adresses furtives et des transactions confidentielles pour cacher les expéditeurs et les montants. Railgun @RAILGUN_Project : Protocole de confidentialité avec des activités DeFi dans des soldes protégés, des preuves ZK et des outils de preuve d'innocence. Beam @beamprivacy : Monnaie de confidentialité basée sur Mimblewimble avec auditabilité opt-in et actifs confidentiels. Firo @firoorg : Monnaie centrée sur la confidentialité utilisant des preuves ZK de style Lelantus et Lelantus Spark pour des transactions anonymes. Pirate Chain @PirateChain : Projet de confidentialité protégé utilisant des zkSNARKs pour chaque transaction. Secret Network @SecretNetwork : Chaîne basée sur Cosmos construite sur la cryptographie TEE pour exécuter des contrats intelligents chiffrés et DeFi privé. Horizen @horizenglobal : Une appchain qui sécurise les sidechains avec des preuves ZK et permet des applications préservant la confidentialité.

6. ZK-FHE L2s Fhenix @fhenix : Ethereum L2 pour des contrats intelligents confidentiels utilisant FHE, avec un modèle d'exécution de style fhEVM et un concept de coprocesseur FHE. Inco Network @inconetwork : Couche de confidentialité universelle qui utilise FHE pour garantir une exécution privée par défaut et des garanties de confidentialité inter-chaînes. Mind Network @mindnetwork_xyz : Couche Zero Trust basée sur FHE qui combine restaking, données chiffrées et charges de travail AI. Octra @octra : L1 natif FHE visant à offrir des contrats intelligents privés et un traitement de données confidentielles au niveau de la couche de base. PrivaSea @privasea : Réseau FHEML / FHEDePIN pour l'inférence AI chiffrée, identité basée sur FHE (FheID) et flux de données confidentielles. Zama @zama : Entreprise FHE derrière fhEVM (exécution FHE compatible EVM), bibliothèques et outils FHE. Utilisé pour la feuille de route confidentielle de Shibarium et d'autres piles EVM. Sunscreen @SunscreenTech : Compilateur FHE et SDK qui permet aux développeurs d'écrire des applications FHE dans des langages de haut niveau et de les compiler en circuits.

7. ZK Coprocessors Brevis @brevis_zk : Coprocessor ZK qui lit les données historiques onchain à travers les chaînes, exécute des requêtes programmables et renvoie des preuves succinctes aux contrats. Axiom @axiom_xyz : Coprocessor ZK Ethereum qui prouve des déclarations sur l'état historique et les journaux et alimente les résultats vérifiés dans les contrats. Lagrange @lagrangedev : Coprocessor ZK crosschain et système de client léger avec une architecture hybride ZK plus optimiste pour des preuves d'état évolutives. Herodotus @HerodotusDev : Couche d'accès aux données fournissant des preuves de stockage ZK, permettant aux contrats de vérifier l'état historique d'Ethereum et des rollups. ORA @OraProtocol : Réseau zkOracle et zkIndexing programmable qui exécute des calculs offchain et de l'IA, puis envoie des résultats vérifiés par ZK onchain. Marlin @MarlinProtocol : Protocole de calcul vérifiable qui utilise des TEE et des coprocessors basés sur ZK pour un calcul offchain minimisé en confiance. VLayer @vlayer_xyz : Infrastructure de données vérifiables sans confiance qui utilise des preuves ZK pour attester de la justesse des pipelines de données offchain. Space and Time @spaceandtime : Coprocessor ZK pour SQL avec Proof of SQL, un zk SNARK qui prouve que la requête et les données utilisées étaient correctes.

8. Réseaux et Matériel Prover Succinct @SuccinctLabs : Réseau prover décentralisé et zkVM haute performance qui permet aux développeurs de traiter la preuve ZK comme un appel API. Risc Zero @RiscZero : Réseau de preuve Bonsai et zkVM basé sur RISC-V qui peut prouver du code Rust général et le vérifier sur la chaîne. Cysic @cysic_zk : Réseau de génération de preuves accéléré par matériel construisant des GPU et des ASIC optimisés pour les charges de travail ZK. Ingonyama @Ingo_zk : Entreprise de matériel et de logiciel ZK connue pour ICICLE et d'autres accélérations basées sur GPU pour les systèmes de preuve SNARK et STARK. =Nil; Foundation | @nil_foundation : Laboratoire de technologie ZK construisant zkLLVM, systèmes de preuve, et un marché de preuves pour des applications lourdes en données. Delphinus Lab @DelphinusLab : Environnement ZK pour prouver l'exécution de programmes WebAssembly (ZKWASM) afin que le code existant puisse être vérifié dans des circuits.

9. Machines Virtuelles ZK (ZkVMs) Risc Zero zkVM @RiscZero : zkVM polyvalent qui modélise une machine RISC-V pour garantir que de nombreux programmes existants peuvent être prouvés sans circuits personnalisés. SP1 zkVM @SuccinctLabs : zkVM à haut débit axé sur la vitesse et l'ergonomie des développeurs pour les programmes basés sur Rust. Powdr Labs @powdr_labs : Boîte à outils et pile de compilateurs pour créer des zkVMs et des systèmes de preuve personnalisés. zkWASM @DelphinusLab : zkVM pour WebAssembly qui transforme les programmes WASM en traces d'exécution vérifiables par ZK. zkLLVM @nil_foundation : Chaîne d'outils de compilation qui convertit l'IR LLVM en circuits afin que de nombreux langages puissent être compilés en preuves ZK.

10. Apprentissage Machine ZK (ZKML) & IA Vérifiable Modulus @ModulusZK : laboratoire ZKML construisant des circuits et une infrastructure afin que les modèles ML et les bots de trading puissent être prouvés et vérifiés sur la chaîne. Giza @gizatechxyz : plateforme ZKML, intégrée à Starknet, qui permet aux développeurs de déployer des modèles IA vérifiables. EZKL @ezklxyz : un ensemble d'outils qui transforme les modèles PyTorch en circuits ZK et génère des preuves pour la vérification ML sur la chaîne. Sentient @SentientAGI : une économie AGI construite par la communauté qui coordonne des modèles, des données et des agents à travers le Sentient GRID. Allora Network @AlloraNetwork : un réseau IA où les modèles ML fournissent des prédictions et s'évaluent mutuellement. Utilise zkML (via Polyhedra). Ritual @ritualnet : une couche d'exécution IA décentralisée / L1 exécutant des charges de travail sur la chaîne, avec une inférence vérifiable et des incitations crypto-natives. OpenMind @openmind_agi : un système d'exploitation et une couche de coordination pour des robots intelligents. Inference Labs @inference_labs : construction d'un Réseau d'Inférence Vérifié par Zero-Knowledge (ZK-VIN) et protocole "Preuve d'Inférence". Gensyn @gensynai : un réseau de calcul pour l'entraînement de modèles ML, utilisant une couche de vérification basée sur la blockchain pour prouver l'apprentissage profond. Mind Network @mindnetwork_xyz : restaking FHE + couche de données chiffrées pour les charges de travail IA. Chainlink @chainlink : un calcul vérifiable basé sur oracle hors chaîne pour des tâches exécutées par des réseaux d'oracles.

11. ZK-Identité et Attestations Privado ID @PrivadoID : Plateforme d'identité à connaissance nulle qui permet aux utilisateurs de prouver des affirmations sur eux-mêmes sans révéler les données sous-jacentes. World @worldcoin : Protocole mondial de preuve de personnalité qui utilise des preuves ZK et Semaphore pour prouver l'unicité tout en cachant les données biométriques. PSE @PrivacyEthereum : Vient de créer OpenAC pour standardiser l'identité à connaissance nulle. zkPass @zkPass : Un protocole qui utilise zkTLS pour aider les utilisateurs à prouver des choses sur des sources de données Web2 sans exposer de mots de passe ou de documents. zkMe @zkme_ : Réseau ZK-KYC et de credentials où les utilisateurs prouvent en privé des attributs de conformité aux dapps et aux échanges. zCloak Network @zcloaknetwork : Plateforme de preuve ZK en tant que service pour la vérification d'identité et de données. Human Passport @HumnPassport : Un système d'identité et de tampon qui utilise des systèmes ZK pour la résistance aux sybils et le contrôle d'accès.

12. Mixeurs ZK DeFi Railgun @RAILGUN_Project : Protocole de confidentialité avec activité DeFi dans des soldes protégés, preuves ZK et outils de preuve d'innocence. DarkFi Squad @DarkFiSquad : Plateforme DeFi anonyme utilisant la cryptographie ZK pour des contrats privés et la coordination. Shade Protocol @Shade_Protocol : Suite DeFi privée conçue pour des échanges privés, des prêts et des stablecoins. Hinkal @hinkal_protocol : Moteur de confidentialité routant l'activité DeFi à travers des contrats intelligents protégés par ZK.

13. Interopérabilité ZK Polyhedra @PolyhedraZK : pont basé sur ZK et système de preuve d'état qui vérifie les messages inter-chaînes et les transferts d'actifs avec des preuves succinctes. Orbiter Finance @Orbiter_Finance : pont inter-rollup optimisé pour des transferts rapides de L2 à L2 avec une sécurité héritée des rollups sous-jacents. Union @union_build : protocole de style IBC soutenu par ZK qui unifie les réseaux et permet une messagerie inter-chaînes minimisée en confiance. Polymer Labs @Polymer_Labs : routeur IBC qui utilise ZK et une vérification de style client léger pour les connexions inter-chaînes. ChainSafe @ChainSafeth : fournisseur d'infrastructure mettant en œuvre des ponts et des clients légers conscients de ZK en tant que services. Owlto Finance @Owlto_Finance : pont inter-rollup qui connecte plusieurs rollups ZK et optimistes.

14. Portefeuilles ZK Ready @ready_co : Portefeuille de contrat intelligent profondément intégré sur Starknet et zkSync, cachant la complexité tout en offrant une auto-garde. Braavos @myBraavos : Portefeuille de contrat intelligent pour Starknet avec des fonctionnalités d'abstraction de compte. Zashi @zashi_app : Portefeuille protégé pour Zcash avec une utilisation facile des transactions privées et une expérience utilisateur mobile. Loopring @loopringorg : Portefeuille pour la couche de paiements basée sur zk-rollup.

15. Langages et bibliothèques de circuits Noir @NoirLang : Langage de haut niveau similaire à Rust pour écrire des circuits zéro-knowledge portables. Il est utilisé par @aztecnetwork, entre autres. Cairo @CairoLang : Langage et VM compatibles avec STARK utilisés pour écrire des programmes prouvables pour Starknet. Halo2 @Zcash : Système de preuve et bibliothèque de type Plonk qui prend en charge des portes et des recherches personnalisées pour un design de circuit efficace. Plonky2 @0xPolygon : Système de preuve amical pour la récursivité qui combine l'arithmétique de style PLONK avec des engagements de style FRI. gnark @Consensys : Bibliothèque Go pour construire et vérifier des circuits zkSNARK avec plusieurs schémas pris en charge. snarkjs @identhree : Chaîne d'outils JavaScript pour générer et vérifier des preuves zkSNARK dans le navigateur et Node. Circomlib @identhree : Bibliothèque standard de circuits Circom réutilisables pour les hachages, les signatures et les primitives courantes. iden3 @identhree : Langage spécifique au domaine pour construire des circuits arithmétiques et des contraintes R1CS pour les zkSNARKs.

17. Modularité ZK Celestia @celestia : Couche de disponibilité des données modulaire utilisée par de nombreux rollups, y compris les rollups ZK, pour un affichage de données évolutif. EigenDA @eigenlayer : Service de disponibilité des données construit sur EigenCloud utilisé par les équipes de rollup ZK. Avail @AvailProject : Chaîne de disponibilité des données autonome utilisée par les rollups ZK. EthStorage @EthStorage : Un L2 de stockage qui peut héberger des données de rollup et des preuves. AltLayer @alt_layer : Une plateforme de rollup en tant que service. Caldera @Calderaxyz : Fournisseur d'infrastructure de rollup qui permet de lancer des rollups personnalisés avec des systèmes de preuve ZK ou optimistes. Zeeve @0xZeeve : Plateforme d'infrastructure blockchain d'entreprise qui peut héberger et gérer des déploiements de rollup ZK. Gateway FM @gateway_eth : Service d'infrastructure de rollup pour le lancement de rollups spécifiques à des applications, y compris les variantes ZK. Stackr @0xStackr : Cadre de micro-rollup souvent combiné avec la preuve ZK pour des chaînes spécifiques à des applications légères. Nym @nym : Mixnet et un système de credentials construit pour une confidentialité avancée et une identité ZK. Origin @origin_trail : Un Graph de connaissances pour la provenance des données vérifiables et des actifs de connaissances prêts pour l'IA, alimentant les entrées dans les circuits ZK ou ZKML.

Taguer des Chads pour vérifier cela : @thesaint_ @andrewmoh @0xCheeezzyyyy @satyaki44 @cryptorinweb3 @poopmandefi @Eli5defi @cchungccc @DOLAK1NG @chilla_ct @thelearningpill @twindoges @YashasEdu @Only1temmy @Adebiyi_Diamond @rektdiomedes @splinter0n @belizardd @MercyDeGreat @Defi_Warhol