Este es el mapa completo del ecosistema ZK. ¿Recuerdas que RWA fue negado por el público en varias ocasiones, hasta que se convirtió en la realidad de todos este año, 2025? ZK hará lo mismo. GUARDA este post. Volverás a él cuando ZK se vuelva mainstream en 2026. (Hay 125 proyectos)

1. ZK Rollups y zkEVMs L2s ZkSync @zksync: Rollup zkEVM compatible con Ethereum que utiliza pruebas basadas en PLONK para ofrecer transacciones baratas y rápidas mientras hereda la seguridad de Ethereum. Starknet @Starknet: Rollup de validez de propósito general que utiliza pruebas STARK y la VM de Cairo para computación escalable y verificable en Ethereum. Polygon zkEVM @0xPolygon: Rollup ZK equivalente a EVM que ejecuta contratos existentes de Ethereum con verificación de pruebas ZK en Ethereum. Scroll @Scroll_ZKP: Un rollup zkEVM de Tipo-3 construido para alta seguridad y transparencia con compatibilidad a nivel de bytecode con Ethereum. Linea @LineaBuild: Rollup zkEVM de ConsenSys, integrado en la pila de MetaMask e Infura para escalar dapps de Ethereum. Taiko @taikoxyz: Un zkRollup construido como un zkEVM de Tipo-1 con proponentes y probadores sin permisos. Manta Pacific @MantaNetwork: L2 modular que combina pruebas ZK con la seguridad de Ethereum para casos de uso de DeFi y identidad conscientes de la privacidad. ZKFair @ZKFCommunity: Rollup zkEVM lanzado por la comunidad construido sobre el CDK de Polygon y Celestia DA. Loopring @loopringorg: Un intercambio y capa de pagos basada en zk-rollup de capa 2-3 que se centra en el comercio de libros de órdenes de alto rendimiento y transferencias. zkLink Nova @zkLink_Official: Un rollup agregado que utiliza pruebas ZK para unificar liquidez y cuentas a través de múltiples L2s y L1s. Immutable zkEVM @Immutable: zkEVM enfocado en juegos construido con tecnología de Polygon. Kakarot @KakarotZkEvm: Un zkEVM construido sobre la tecnología de Starknet emulando la EVM en un entorno basado en Cairo. Miden @0xMiden: Un rollup y VM basado en STARK de Polygon que utiliza un modelo de prueba de privacidad del lado del cliente para ejecución escalable. Boba Network (en desarrollo) @bobanetwork: Una plataforma L2 multichain que explora la prueba basada en ZK como parte de un diseño híbrido de computación y escalado.

2. ZK Rollups específicos de la aplicación dYdX v3 @dYdX: DEX perpetuo construido sobre el rollup ZK de StarkEx para trading de alta apalancamiento con libro de órdenes offchain y liquidación onchain. Sorare @Sorare: Juego de NFT de deportes de fantasía que utiliza el rollup ZK de StarkEx para manejar el trading de NFT a gran escala. Myria @Myria: L2 orientado a juegos que utiliza rollups ZK al estilo de StarkEx para acuñaciones de NFT y economías dentro del juego. zkLend @zkLend: Un protocolo de mercado monetario nativo de Starknet, que utiliza escalado ZK para préstamos y empréstitos. Ekubo @ekuboProtocol: AMM de liquidez concentrada en Starknet diseñado para ser una capa de liquidez central para el ecosistema. zkNoid @ZkNoid: Centro de juegos que construye juegos onchain verificables en el entorno ZK recursivo de Mina Protocol.

3. BTCFi ZK Rollups Citrea @citrea_xyz: ZK rollup en la red de Bitcoin que busca traer ejecución al estilo EVM con pruebas de validez ancladas a BTC. Intmax @intmaxIO: Diseño de L2 de privacidad ZK rollup sin estado con alta escalabilidad y eficiencia, publicando pruebas en cadenas existentes como Ethereum o Bitcoin.

4. L1s de privacidad ZK Aleo @AleoHQ: L1 centrado en la privacidad donde todas las aplicaciones están escritas en el lenguaje Leo y compiladas en pruebas de conocimiento cero para ejecución privada. Mina Protocol @MinaProtocol: L1 ultra-ligero donde toda la cadena está representada por un zkSNARK de tamaño constante, por lo que cada usuario puede verificarlo con un teléfono. Aztec Network @aztecnetwork: Rollup de privacidad basado en ZK y L2 programable para DeFi encriptado. Aleph Zero @Aleph__Zero: Un L1 que combina un consenso basado en DAG con una capa de privacidad ZK para contratos inteligentes privados. Anoma @anoma: Protocolo basado en intenciones que utiliza técnicas avanzadas de ZK para trueque privado, emparejamiento y liquidación. Namada @namada: Cadena de prueba de participación que ofrece un pool blindado multi-activo para privacidad compartida entre muchos tokens diferentes. Penumbra @penumbrazone: Cadena de privacidad basada en Cosmos que permite staking privado y trading DEX utilizando pruebas de conocimiento cero. Iron Fish @ironfishcrypto: L1 centrado en la privacidad donde todas las transacciones están protegidas por defecto utilizando pruebas de conocimiento cero. Hyli @hyli_org: Stack de blockchain ZK construido para aplicaciones verificables e infraestructura modular de conocimiento cero. ZkCloud @thezkcloud: Una red de probadores compartida L1, que ofrece generación de pruebas ZK como un servicio de capa base. Singularity @singularityzk: Cadena impulsada por ZK diseñada para DeFi institucional con restricciones integradas y verificaciones de riesgo en circuitos. Dusk Network @DuskFoundation: L1 de privacidad centrado en finanzas reguladas y tokens de seguridad con herramientas de cumplimiento basadas en conocimiento cero. Oasis Network @OasisProtocol: L1 habilitado para privacidad que combina computación confidencial y herramientas amigables con ZK para DeFi privado y mercados de datos.

5. Proyectos de Privacidad ZK Zcash @Zcash: Moneda de privacidad que utiliza zkSNARKs para habilitar transacciones protegidas donde los montos y direcciones pueden estar ocultos pero aún así verificados. Monero @monero: Proyecto enfocado en la privacidad que utiliza firmas en anillo, direcciones ocultas y transacciones confidenciales para ocultar remitentes y montos. Railgun @RAILGUN_Project: Protocolo de privacidad con actividad DeFi en saldos protegidos, pruebas ZK y herramientas de prueba de inocencia. Beam @beamprivacy: Moneda de privacidad basada en Mimblewimble con auditoría opcional y activos confidenciales. Firo @firoorg: Moneda centrada en la privacidad que utiliza Lelantus y pruebas ZK estilo Lelantus Spark para transacciones anónimas. Pirate Chain @PirateChain: Un proyecto de privacidad protegido que utiliza zkSNARKs para cada transacción. Secret Network @SecretNetwork: Cadena basada en Cosmos construida sobre criptografía TEE para ejecutar contratos inteligentes encriptados y DeFi privado. Horizen @horizenglobal: Una appchain que asegura sidechains con pruebas ZK y habilita aplicaciones que preservan la privacidad.

6. ZK-FHE L2s Fhenix @fhenix: Ethereum L2 para contratos inteligentes confidenciales utilizando FHE, con un modelo de ejecución estilo fhEVM y concepto de coprocesador FHE. Inco Network @inconetwork: Capa de confidencialidad universal que utiliza FHE para proporcionar ejecución privada por defecto y garantías de privacidad entre cadenas. Mind Network @mindnetwork_xyz: Capa Zero Trust basada en FHE que combina restaking, datos encriptados y cargas de trabajo de IA. Octra @octra: L1 nativa de FHE que busca ofrecer contratos inteligentes privados y procesamiento de datos confidenciales en la capa base. PrivaSea @privasea: Red FHEML / FHEDePIN para inferencia de IA encriptada, identidad basada en FHE (FheID) y feeds de datos confidenciales. Zama @zama: Empresa de FHE detrás de fhEVM (ejecución FHE compatible con EVM), bibliotecas y herramientas FHE. Utilizado para la hoja de ruta confidencial de Shibarium y otros stacks de EVM. Sunscreen @SunscreenTech: Compilador FHE y SDK que permite a los desarrolladores escribir aplicaciones FHE en lenguajes de alto nivel y compilar a circuitos.

7. ZK Coprocesadores Brevis @brevis_zk: Coprocesador ZK que lee datos históricos en cadena a través de cadenas, ejecuta consultas programables y devuelve pruebas sucintas a los contratos. Axiom @axiom_xyz: Coprocesador ZK de Ethereum que prueba afirmaciones sobre el estado histórico y los registros y alimenta resultados verificados en los contratos. Lagrange @lagrangedev: Coprocesador ZK y sistema de cliente ligero crosschain con una arquitectura híbrida ZK más optimista para pruebas de estado escalables. Herodoto @HerodotusDev: Capa de acceso a datos que proporciona pruebas de almacenamiento ZK, permitiendo a los contratos verificar el estado histórico de Ethereum y rollups. ORA @OraProtocol: Red programable zkOracle y zkIndexing que ejecuta computación offchain y AI, y luego envía resultados verificados por ZK en cadena. Marlin @MarlinProtocol: Protocolo de computación verificable que utiliza TEEs y coprocesadores basados en ZK para computación offchain minimizada en confianza. VLayer @vlayer_xyz: Infraestructura de datos verificable sin confianza que utiliza pruebas ZK para atestiguar la corrección de los pipelines de datos offchain. Space and Time @spaceandtime: Coprocesador ZK para SQL con Prueba de SQL, un zk SNARK que prueba que tanto la consulta como los datos utilizados eran correctos.

8. Redes y Hardware de Proveedores Succinct @SuccinctLabs: Red de proveedores descentralizada y zkVM de alto rendimiento que permite a los desarrolladores tratar la prueba ZK como una llamada a la API. Risc Zero @RiscZero: zkVM basado en RISC-V y red de pruebas Bonsai que puede probar código Rust general y verificarlo en la cadena. Cysic @cysic_zk: Red de generación de pruebas acelerada por hardware que construye GPUs y ASICs optimizados para cargas de trabajo ZK. Ingonyama @Ingo_zk: Empresa de hardware y software ZK conocida por ICICLE y otras aceleraciones basadas en GPU para sistemas de prueba SNARK y STARK. =Nil; Fundación | @nil_foundation: Laboratorio de tecnología ZK que construye zkLLVM, sistemas de prueba y un mercado de pruebas para aplicaciones que manejan grandes cantidades de datos. Delphinus Lab @DelphinusLab: Entorno ZK para probar la ejecución de programas WebAssembly (ZKWASM) para que el código existente pueda ser verificado en circuitos.

9. Máquinas Virtuales ZK (ZkVMs) Risc Zero zkVM @RiscZero: zkVM de propósito general que modela una máquina RISC-V para asegurar que muchos programas existentes puedan ser probados sin circuitos personalizados. SP1 zkVM @SuccinctLabs: zkVM de alto rendimiento centrado en la velocidad y la ergonomía para desarrolladores de programas basados en Rust. Powdr Labs @powdr_labs: Conjunto de herramientas y pila de compiladores para crear zkVMs personalizados y sistemas de prueba. zkWASM @DelphinusLab: zkVM para WebAssembly que convierte programas WASM en trazas de ejecución verificables por ZK. zkLLVM @nil_foundation: Cadena de herramientas de compilador que convierte LLVM IR en circuitos para que muchos lenguajes puedan ser compilados en pruebas ZK.

10. Aprendizaje Automático ZK (ZKML) y AI Verificable Modulus @ModulusZK: laboratorio ZKML construyendo circuitos e infraestructuras para que los modelos de ML y los bots de trading puedan ser probados y verificados en la cadena. Giza @gizatechxyz: plataforma ZKML, integrada con Starknet, que permite a los desarrolladores desplegar modelos de AI verificables. EZKL @ezklxyz: un conjunto de herramientas que convierte modelos de PyTorch en circuitos ZK y genera pruebas para la verificación de ML en la cadena. Sentient @SentientAGI: una economía AGI construida por la comunidad que coordina modelos, datos y agentes a través de la RED Sentient. Allora Network @AlloraNetwork: una red de AI donde los modelos de ML proporcionan predicciones y se puntúan entre sí. Utiliza zkML (a través de Polyhedra). Ritual @ritualnet: una capa de ejecución de AI descentralizada / L1 que ejecuta cargas de trabajo en la cadena, con inferencia verificable e incentivos nativos de criptomonedas. OpenMind @openmind_agi: un sistema operativo y capa de coordinación para robots inteligentes. Inference Labs @inference_labs: construyendo una Red de Inferencia Verificada por Conocimiento Cero (ZK-VIN) y el protocolo "Prueba de Inferencia". Gensyn @gensynai: una red de computación para entrenar modelos de ML, utilizando una capa de verificación basada en blockchain para probar el aprendizaje profundo. Mind Network @mindnetwork_xyz: restaking FHE + capa de datos encriptados para cargas de trabajo de AI. Chainlink @chainlink: un cómputo verificable basado en oráculos fuera de la cadena para tareas ejecutadas por redes de oráculos.

11. ZK-Identidad y Atestaciones Privado ID @PrivadoID: Plataforma de identidad de conocimiento cero que permite a los usuarios probar afirmaciones sobre sí mismos sin revelar los datos subyacentes. World @worldcoin: Protocolo global de prueba de personalidad que utiliza pruebas ZK y Semaphore para demostrar unicidad mientras oculta datos biométricos. PSE @PrivacyEthereum: Acaba de crear OpenAC para estandarizar la identidad de conocimiento cero. zkPass @zkPass: Un protocolo que utiliza zkTLS para ayudar a los usuarios a probar cosas sobre fuentes de datos Web2 sin exponer contraseñas o documentos. zkMe @zkme_: Red de ZK-KYC y credenciales donde los usuarios demuestran de forma privada atributos de cumplimiento a dapps e intercambios. zCloak Network @zcloaknetwork: Plataforma de prueba ZK como servicio para verificación de identidad y datos. Human Passport @HumnPassport: Un sistema de identidad y sellos que utiliza sistemas ZK para resistencia a sybil y control de acceso.

12. Mezcladores ZK DeFi Railgun @RAILGUN_Project: Protocolo de privacidad con actividad DeFi en saldos protegidos, pruebas ZK y herramientas de prueba de inocencia. DarkFi Squad @DarkFiSquad: Plataforma DeFi anónima que utiliza criptografía ZK para contratos privados y coordinación. Shade Protocol @Shade_Protocol: Suite DeFi privada construida para intercambios privados, préstamos y stablecoins. Hinkal @hinkal_protocol: Motor de privacidad que enruta la actividad DeFi a través de contratos inteligentes protegidos por ZK.

13. Interoperabilidad ZK Polyhedra @PolyhedraZK: puente basado en ZK y sistema de prueba de estado que verifica mensajes y transferencias de activos entre cadenas con pruebas sucintas. Orbiter Finance @Orbiter_Finance: puente entre rollups optimizado para transferencias rápidas de L2 a L2 con seguridad heredada de los rollups subyacentes. Union @union_build: protocolo estilo IBC respaldado por ZK que unifica redes y permite mensajería entre cadenas minimizando la confianza. Polymer Labs @Polymer_Labs: enrutador IBC que utiliza ZK y una verificación estilo cliente ligero para conexiones entre cadenas. ChainSafe @ChainSafeth: proveedor de infraestructura que implementa puentes y clientes ligeros conscientes de ZK como servicios. Owlto Finance @Owlto_Finance: puente entre rollups que conecta múltiples rollups ZK y optimistas.

14. ZK Wallets Ready @ready_co: Billetera de contrato inteligente profundamente integrada en Starknet y zkSync, ocultando la complejidad mientras ofrece autocustodia. Braavos @myBraavos: Billetera de contrato inteligente para Starknet con características de abstracción de cuentas. Zashi @zashi_app: Billetera protegida para Zcash con fácil uso de transacciones privadas y experiencia móvil. Loopring @loopringorg: Billetera para la capa de pagos basada en zk-rollup.

15. Lenguajes y bibliotecas de circuitos Noir @NoirLang: Lenguaje de alto nivel similar a Rust para escribir circuitos de conocimiento cero portátiles. Es utilizado por @aztecnetwork, entre otros. Cairo @CairoLang: Lenguaje y VM amigable con STARK utilizado para escribir programas demostrables para Starknet. Halo2 @Zcash: Sistema de prueba y biblioteca tipo Plonk que soporta puertas personalizadas y búsquedas para un diseño de circuitos eficiente. Plonky2 @0xPolygon: Sistema de prueba amigable con la recursividad que combina aritmética estilo PLONK con compromisos estilo FRI. gnark @Consensys: Biblioteca de Go para construir y verificar circuitos zkSNARK con múltiples esquemas soportados. snarkjs @identhree: Cadena de herramientas de JavaScript para generar y verificar pruebas zkSNARK en el navegador y Node. Circomlib @identhree: Biblioteca estándar de circuitos Circom reutilizables para hashes, firmas y primitivas comunes. iden3 @identhree: Lenguaje específico de dominio para construir circuitos aritméticos y restricciones R1CS para zkSNARKs.

17. Modularidad ZK Celestia @celestia: Capa de disponibilidad de datos modular utilizada por muchos rollups, incluidos los rollups ZK, para la publicación escalable de datos. EigenDA @eigenlayer: Servicio de disponibilidad de datos construido sobre EigenCloud utilizado por equipos de rollup ZK. Avail @AvailProject: Cadena de disponibilidad de datos independiente utilizada por rollups ZK. EthStorage @EthStorage: Un L2 de almacenamiento que puede albergar datos y pruebas de rollup. AltLayer @alt_layer: Una plataforma de rollup como servicio. Caldera @Calderaxyz: Proveedor de infraestructura de rollup que permite lanzar rollups personalizados con sistemas de prueba ZK u optimistas. Zeeve @0xZeeve: Plataforma de infraestructura blockchain empresarial que puede albergar y gestionar implementaciones de rollup ZK. Gateway FM @gateway_eth: Servicio de infraestructura de rollup para lanzar rollups específicos de aplicaciones, incluidos los variantes ZK. Stackr @0xStackr: Marco de micro-rollup a menudo combinado con pruebas ZK para cadenas específicas de aplicaciones ligeras. Nym @nym: Mixnet y un sistema de credenciales construido para privacidad avanzada e identidad ZK. Origin @origin_trail: Un Grafo de conocimiento para la procedencia de datos verificables y activos de conocimiento listos para IA, alimentando entradas en circuitos ZK o ZKML.

Etiquetando a Chads para que echen un vistazo: @thesaint_ @andrewmoh @0xCheeezzyyyy @satyaki44 @cryptorinweb3 @poopmandefi @Eli5defi @cchungccc @DOLAK1NG @chilla_ct @thelearningpill @twindoges @YashasEdu @Only1temmy @Adebiyi_Diamond @rektdiomedes @splinter0n @belizardd @MercyDeGreat @Defi_Warhol