Questa è la mappa completa dell'Ecosistema ZK. Ricordi che RWA è stata negata al mainstream diverse volte, fino a diventare la realtà di tutti quest'anno, 2025? ZK farà lo stesso. AGGIORNA Questo Post. Tornerai su di esso quando ZK diventerà mainstream nel 2026. (Ci sono 125 progetti)

1. ZK Rollups e zkEVM L2s ZkSync @zksync: rollup zkEVM compatibile con Ethereum che utilizza prove basate su PLONK per fornire transazioni economiche e veloci, mantenendo la sicurezza di Ethereum. Starknet @Starknet: rollup di validità a scopo generale che utilizza prove STARK e la VM Cairo per un calcolo scalabile e dimostrabile su Ethereum. Polygon zkEVM @0xPolygon: rollup ZK equivalente a EVM che esegue contratti Ethereum esistenti con verifica delle prove ZK su Ethereum. Scroll @Scroll_ZKP: un rollup zkEVM di Tipo-3 costruito per alta sicurezza e trasparenza con compatibilità a livello di bytecode con Ethereum. Linea @LineaBuild: rollup zkEVM di ConsenSys, integrato nello stack di MetaMask e Infura per scalare le dapp di Ethereum. Taiko @taikoxyz: un zkRollup costruito come un zkEVM di Tipo-1 con proponenti e provatori senza permesso. Manta Pacific @MantaNetwork: L2 modulare che combina prove ZK con la sicurezza di Ethereum per casi d'uso DeFi e identità a conoscenza della privacy. ZKFair @ZKFCommunity: rollup zkEVM lanciato dalla comunità costruito sul Polygon CDK e Celestia DA. Loopring @loopringorg: uno scambio e un layer di pagamenti basato su zk-rollup di livello 2-3 che si concentra sul trading ad alta capacità di transazioni e trasferimenti. zkLink Nova @zkLink_Official: un rollup aggregato che utilizza prove ZK per unificare liquidità e conti attraverso più L2 e L1. Immutable zkEVM @Immutable: zkEVM focalizzato sui giochi costruito con tecnologia Polygon. Kakarot @KakarotZkEvm: un zkEVM costruito sopra la tecnologia Starknet che emula l'EVM in un ambiente basato su Cairo. Miden @0xMiden: un rollup e VM basati su STARK di Polygon che utilizza un modello di prova della privacy lato client per un'esecuzione scalabile. Boba Network (in sviluppo) @bobanetwork: una piattaforma L2 multichain che esplora la prova basata su ZK come parte di un design ibrido di calcolo e scalabilità.

2. ZK Rollup specifici per app dYdX v3 @dYdX: DEX perpetuo costruito su StarkEx ZK rollup per trading ad alta leva con orderbook offchain e settlement onchain. Sorare @Sorare: Gioco NFT di sport fantasy che utilizza StarkEx ZK rollup per gestire il trading di NFT su larga scala. Myria @Myria: L2 orientato al gaming che utilizza ZK rollup in stile StarkEx per mintare NFT e economie di gioco. zkLend @zkLend: Un protocollo di mercato monetario nativo di Starknet, che utilizza la scalabilità ZK per prestiti e finanziamenti. Ekubo @ekuboProtocol: AMM di liquidità concentrata su Starknet progettato per essere un layer di liquidità centrale per l'ecosistema. zkNoid @ZkNoid: Hub di giochi che costruisce giochi onchain verificabili nell'ambiente ZK ricorsivo di Mina Protocol.

3. BTCFi ZK Rollups Citrea @citrea_xyz: ZK rollup sulla rete Bitcoin che mira a portare un'esecuzione in stile EVM con prove di validità ancorate a BTC. Intmax @intmaxIO: Design di ZK rollup stateless privacy L2 con alta scalabilità ed efficienza, pubblicando prove su catene esistenti come Ethereum o Bitcoin.

4. L1 ZK-Privacy Aleo @AleoHQ: L1 incentrato sulla privacy dove tutte le applicazioni sono scritte nel linguaggio Leo e compilate in prove a conoscenza zero per l'esecuzione privata. Mina Protocol @MinaProtocol: L1 ultra-leggero dove l'intera catena è rappresentata da uno zkSNARK di dimensione costante, così ogni utente può verificarla con un telefono. Aztec Network @aztecnetwork: Rollup di privacy basato su ZK e L2 programmabile per DeFi crittografato. Aleph Zero @Aleph__Zero: Un L1 che combina un consenso basato su DAG con uno strato di privacy ZK per contratti smart privati. Anoma @anoma: Protocollo basato su intenti che utilizza tecniche ZK avanzate per baratti privati, abbinamenti e regolamenti. Namada @namada: Catena proof-of-stake che offre un pool protetto multi-asset per privacy condivisa tra molti token diversi. Penumbra @penumbrazone: Catena di privacy basata su Cosmos che consente staking privato e trading DEX utilizzando prove a conoscenza zero. Iron Fish @ironfishcrypto: L1 incentrato sulla privacy dove tutte le transazioni sono protette per impostazione predefinita utilizzando prove a conoscenza zero. Hyli @hyli_org: Stack blockchain ZK costruito per applicazioni verificabili e infrastruttura modulare a conoscenza zero. ZkCloud @thezkcloud: Una rete di prover condivisa L1, che offre generazione di prove ZK come servizio di base. Singularity @singularityzk: Catena alimentata da ZK progettata per DeFi istituzionale con vincoli integrati e controlli di rischio verificati in circuiti. Dusk Network @DuskFoundation: L1 di privacy focalizzata su finanza regolamentata e token di sicurezza con strumenti di conformità basati su conoscenza zero. Oasis Network @OasisProtocol: L1 abilitato alla privacy che combina calcolo riservato e strumenti compatibili con ZK per DeFi privato e mercati dei dati.

5. Progetti ZK-Privacy Zcash @Zcash: Moneta privacy che utilizza zkSNARKs per abilitare transazioni protette in cui importi e indirizzi possono essere nascosti ma comunque verificati. Monero @monero: Progetto focalizzato sulla privacy che utilizza firme ad anello, indirizzi stealth e transazioni riservate per nascondere mittenti e importi. Railgun @RAILGUN_Project: Protocollo di privacy con attività DeFi in saldi protetti, prove ZK e strumenti di prova di innocenza. Beam @beamprivacy: Moneta privacy basata su Mimblewimble con auditabilità su richiesta e asset riservati. Firo @firoorg: Valuta centrata sulla privacy che utilizza Lelantus e prove ZK in stile Lelantus Spark per transazioni anonime. Pirate Chain @PirateChain: Progetto focalizzato sulla privacy protetta che utilizza zkSNARKs per ogni transazione. Secret Network @SecretNetwork: Catena basata su Cosmos costruita su crittografia TEE per eseguire contratti intelligenti crittografati e DeFi privata. Horizen @horizenglobal: Un'appchain che protegge le sidechain con prove ZK e abilita applicazioni che preservano la privacy.

6. ZK-FHE L2s Fhenix @fhenix: Ethereum L2 per contratti smart riservati che utilizza FHE, con un modello di esecuzione in stile fhEVM e un concetto di coprocessore FHE. Inco Network @inconetwork: Strato di riservatezza universale che utilizza FHE per garantire esecuzione privata per default e garanzie di privacy cross-chain. Mind Network @mindnetwork_xyz: Strato Zero Trust basato su FHE che combina restaking, dati crittografati e carichi di lavoro AI. Octra @octra: L1 nativo FHE che mira a fornire contratti smart privati e elaborazione di dati riservati a livello base. PrivaSea @privasea: rete FHEML / FHEDePIN per inferenza AI crittografata, identità basata su FHE (FheID) e feed di dati riservati. Zama @zama: azienda FHE dietro fhEVM (esecuzione FHE compatibile con EVM), librerie e strumenti FHE. Utilizzato per la roadmap riservata di Shibarium e altri stack EVM. Sunscreen @SunscreenTech: compilatore FHE e SDK che consente agli sviluppatori di scrivere app FHE in linguaggi di alto livello e compilarle in circuiti.

7. Coprocessori ZK Brevis @brevis_zk: Coprocessore ZK che legge dati storici onchain attraverso le catene, esegue query programmabili e restituisce prove concise ai contratti. Axiom @axiom_xyz: Coprocessore ZK di Ethereum che prova affermazioni riguardanti lo stato storico e i log e alimenta i risultati verificati nei contratti. Lagrange @lagrangedev: Coprocessore ZK crosschain e sistema client leggero con un'architettura ibrida ZK più ottimistica per prove di stato scalabili. Erodoto @HerodotusDev: Livello di accesso ai dati che fornisce prove di archiviazione ZK, consentendo ai contratti di verificare lo stato storico di Ethereum e dei rollup. ORA @OraProtocol: Rete programmabile zkOracle e zkIndexing che esegue calcoli offchain e AI, quindi invia risultati verificati ZK onchain. Marlin @MarlinProtocol: Protocollo di calcolo verificabile che utilizza TEE e coprocessori basati su ZK per calcoli offchain minimizzati in termini di fiducia. VLayer @vlayer_xyz: Infrastruttura di dati verificabili senza fiducia che utilizza prove ZK per attestare la correttezza delle pipeline di dati offchain. Space and Time @spaceandtime: Coprocessore ZK per SQL con Proof of SQL, un zk SNARK che prova che sia la query che i dati utilizzati erano corretti.

8. Reti e Hardware Prover Succinct @SuccinctLabs: Rete prover decentralizzata e zkVM ad alte prestazioni che consente agli sviluppatori di trattare la prova ZK come una chiamata API. Risc Zero @RiscZero: zkVM e rete di proving Bonsai basata su RISC-V che può provare codice Rust generale e verificarlo onchain. Cysic @cysic_zk: Rete di generazione di prove accelerata dall'hardware che costruisce GPU e ASIC ottimizzati per carichi di lavoro ZK. Ingonyama @Ingo_zk: Azienda di hardware e software ZK nota per ICICLE e altre accelerazioni basate su GPU per i sistemi di prova SNARK e STARK. =Nil; Foundation | @nil_foundation: Laboratorio di tecnologia ZK che costruisce zkLLVM, sistemi di prova e un mercato di prove per applicazioni ad alta intensità di dati. Delphinus Lab @DelphinusLab: Ambiente ZK per provare l'esecuzione di programmi WebAssembly (ZKWASM) in modo che il codice esistente possa essere verificato nei circuiti.

9. ZK Virtual Machines (ZkVMs) Risc Zero zkVM @RiscZero: zkVM di uso generale che modella una macchina RISC-V per garantire che molti programmi esistenti possano essere provati senza circuiti personalizzati. SP1 zkVM @SuccinctLabs: zkVM ad alta capacità di elaborazione focalizzato sulla velocità e sull'ergonomia per gli sviluppatori per programmi basati su Rust. Powdr Labs @powdr_labs: Toolkit e stack di compilatori per creare zkVM personalizzati e sistemi di prova. zkWASM @DelphinusLab: zkVM per WebAssembly che trasforma i programmi WASM in tracce di esecuzione verificabili ZK. zkLLVM @nil_foundation: Toolchain del compilatore che converte LLVM IR in circuiti in modo che molti linguaggi possano essere compilati in prove ZK.

10. ZK Machine Learning (ZKML) & AI Verificabile Modulus @ModulusZK: laboratorio ZKML che costruisce circuiti e infrastrutture affinché i modelli ML e i bot di trading possano essere provati e verificati onchain. Giza @gizatechxyz: piattaforma ZKML, integrata con Starknet, che consente agli sviluppatori di distribuire modelli AI verificabili. EZKL @ezklxyz: un toolkit che trasforma i modelli PyTorch in circuiti ZK e genera prove per la verifica ML onchain. Sentient @SentientAGI: un'economia AGI costruita dalla comunità che coordina modelli, dati e agenti attraverso il Sentient GRID. Allora Network @AlloraNetwork: una rete AI in cui i modelli ML forniscono previsioni e si valutano a vicenda. Utilizza zkML (tramite Polyhedra). Ritual @ritualnet: un layer di esecuzione AI decentralizzato / L1 che esegue carichi di lavoro onchain, con inferenze verificabili e incentivi crypto-nativi. OpenMind @openmind_agi: un sistema operativo e un layer di coordinamento per robot intelligenti. Inference Labs @inference_labs: costruzione di una Rete di Inferenza Verificata a Zero Conoscenza (ZK-VIN) e protocollo "Proof of Inference". Gensyn @gensynai: una rete di calcolo per l'addestramento di modelli ML, utilizzando un layer di verifica basato su blockchain per provare l'apprendimento profondo. Mind Network @mindnetwork_xyz: restaking FHE + layer di dati crittografati per carichi di lavoro AI. Chainlink @chainlink: un calcolo verificabile basato su oracle offchain per compiti eseguiti da reti oracle.

11. ZK-Identity e Attestazioni Privado ID @PrivadoID: Piattaforma di identità a conoscenza zero che consente agli utenti di dimostrare affermazioni su se stessi senza rivelare i dati sottostanti. World @worldcoin: Protocollo globale di prova di appartenenza che utilizza prove ZK e Semaphore per dimostrare l'unicità nascondendo i dati biometrici. PSE @PrivacyEthereum: Ha appena creato OpenAC per standardizzare l'identità a conoscenza zero. zkPass @zkPass: Un protocollo che utilizza zkTLS per aiutare gli utenti a dimostrare cose su fonti di dati Web2 senza esporre password o documenti. zkMe @zkme_: Rete ZK-KYC e credenziali in cui gli utenti dimostrano privatamente attributi di conformità a dapps e exchange. zCloak Network @zcloaknetwork: Piattaforma di prova ZK come servizio per la verifica dell'identità e dei dati. Human Passport @HumnPassport: Un sistema di identità e timbri che utilizza sistemi ZK per resistenza a sybil e controllo degli accessi.

12. ZK DeFi Mixers Railgun @RAILGUN_Project: Protocollo di privacy con attività DeFi in saldi protetti, prove ZK e strumenti di prova di innocenza. DarkFi Squad @DarkFiSquad: Piattaforma DeFi anonima che utilizza la crittografia ZK per contratti privati e coordinamento. Shade Protocol @Shade_Protocol: Suite DeFi privata costruita per scambi privati, prestiti e stablecoin. Hinkal @hinkal_protocol: Motore di privacy che instrada l'attività DeFi attraverso contratti intelligenti protetti da ZK.

13. Interoperabilità ZK Polyhedra @PolyhedraZK: ponte basato su ZK e sistema di prova di stato che verifica i messaggi crosschain e i trasferimenti di asset con prove concise. Orbiter Finance @Orbiter_Finance: ponte cross-rollup ottimizzato per trasferimenti rapidi da L2 a L2 con sicurezza ereditata dai rollup sottostanti. Union @union_build: protocollo in stile IBC supportato da ZK che unifica le reti e consente la messaggistica crosschain con riduzione della fiducia. Polymer Labs @Polymer_Labs: router IBC che utilizza ZK e una verifica in stile light-client per connessioni crosschain. ChainSafe @ChainSafeth: fornitore di infrastrutture che implementa ponti e client leggeri consapevoli di ZK come servizi. Owlto Finance @Owlto_Finance: ponte cross-rollup che collega più rollup ZK e ottimistici.

14. ZK Wallets Ready @ready_co: Wallet smart contract profondamente integrato su Starknet e zkSync, nascondendo la complessità mentre offre custodia autonoma. Braavos @myBraavos: Wallet smart contract per Starknet con funzionalità di astrazione dell'account. Zashi @zashi_app: Wallet protetto per Zcash con facile utilizzo di transazioni private e UX mobile. Loopring @loopringorg: Wallet per il layer di pagamenti basato su zk-rollup.

15. Linguaggi e librerie di circuiti Noir @NoirLang: Linguaggio di alto livello simile a Rust per scrivere circuiti a conoscenza zero portabili. È utilizzato da @aztecnetwork, tra gli altri. Cairo @CairoLang: Linguaggio e VM compatibili con STARK utilizzati per scrivere programmi dimostrabili per Starknet. Halo2 @Zcash: Sistema di dimostrazione e libreria Plonkish che supporta porte personalizzate e ricerche per un design efficiente dei circuiti. Plonky2 @0xPolygon: Sistema di prova ricorsivo amichevole che combina aritmetica in stile PLONK con impegni in stile FRI. gnark @Consensys: Libreria Go per costruire e verificare circuiti zkSNARK con più schemi supportati. snarkjs @identhree: Toolchain JavaScript per generare e verificare prove zkSNARK nel browser e in Node. Circomlib @identhree: Libreria standard di circuiti Circom riutilizzabili per hash, firme e primitive comuni. iden3 @identhree: Linguaggio specifico di dominio per costruire circuiti aritmetici e vincoli R1CS per zkSNARKs.

17. ZK Modularità Celestia @celestia: Strato di disponibilità dei dati modulare utilizzato da molti rollup, inclusi i rollup ZK, per la pubblicazione scalabile dei dati. EigenDA @eigenlayer: Servizio di disponibilità dei dati costruito su EigenCloud utilizzato dai team di rollup ZK. Avail @AvailProject: Catena di disponibilità dei dati autonoma utilizzata dai rollup ZK. EthStorage @EthStorage: Un L2 di archiviazione che può ospitare dati e prove di rollup. AltLayer @alt_layer: Una piattaforma di rollup-as-a-service. Caldera @Calderaxyz: Fornitore di infrastruttura per rollup che consente il lancio di rollup personalizzati con sistemi di prova ZK o ottimisti. Zeeve @0xZeeve: Piattaforma di infrastruttura blockchain enterprise che può ospitare e gestire implementazioni di rollup ZK. Gateway FM @gateway_eth: Servizio di infrastruttura per rollup per il lancio di rollup specifici per applicazioni, inclusi i varianti ZK. Stackr @0xStackr: Framework di micro-rollup spesso combinato con la prova ZK per catene specifiche per applicazioni leggere. Nym @nym: Mixnet e un sistema di credenziali costruito per la privacy avanzata e l'identità ZK. Origin @origin_trail: Un Grafo della conoscenza per la provenienza dei dati verificabile e asset di conoscenza pronti per l'AI, che fornisce input nei circuiti ZK o ZKML.

Taggando Chads per controllare questo: @thesaint_ @andrewmoh @0xCheeezzyyyy @satyaki44 @cryptorinweb3 @poopmandefi @Eli5defi @cchungccc @DOLAK1NG @chilla_ct @thelearningpill @twindoges @YashasEdu @Only1temmy @Adebiyi_Diamond @rektdiomedes @splinter0n @belizardd @MercyDeGreat @Defi_Warhol