Este es el mapa completo del ecosistema ZK. ¿Recuerdas que a RWA se le negó la entrada en el mainstream varias veces, hasta que este año, 2025, se convirtió en la realidad de todos? ZK hará lo mismo. GUARDA ESTA ENTRADA EN FAVORITOS. Volverás a él cuando ZK se convierta en mainstream en 2026. (Hay 125 proyectos)

1. ZK Rollups y zkEVMs L2 ZkSync @zksync: Rollup zkEVM compatible con Ethereum usando pruebas basadas en PLONK para ofrecer transacciones rápidas y baratas mientras heredan la seguridad de Ethereum. Starknet @Starknet: Agrupación de validez de propósito general usando pruebas STARK y la máquina virtual de Cairo para cálculos escalables y demostrables en Ethereum. Polygon zkEVM @0xPolygon: Rollup ZK equivalente a EVM que ejecuta contratos existentes de Ethereum con ZK verificación de prueba en Ethereum. Scroll @Scroll_ZKP: Un rollup zkEVM Tipo-3 diseñado para alta seguridad y transparencia, con compatibilidad a nivel de bytecode con Ethereum. Linea @LineaBuild: Rollup de ConsenSys zkEVM, integrado en la pila MetaMask e Infura para escalar dapps de Ethereum. Taiko @taikoxyz: Un zkRollup construido como un zkEVM Tipo-1 con proponentes y probadores sin permisos. Manta Pacific @MantaNetwork: L2 modular que combina pruebas ZK con seguridad de Ethereum para casos de uso DeFi e identidad conscientes de la privacidad. ZKFair @ZKFCommunity: Lanzamiento de la comunidad en un rollup de zkEVM basado en Polygon CDK y Celestia DA. Loopring @loopringorg: Una capa de intercambio y pagos de capa 2-3 basada en zk-rollups, centrada en operaciones y transferencias de alta capacidad en libreta de órdenes. zkLink Nova @zkLink_Official: Un rollup agregado usando pruebas ZK para unificar liquidez y cuentas en múltiples L2 y L1. Immutable zkEVM @Immutable: ZkEVM enfocado en el gaming construido con tecnología Polygon. Kakarot @KakarotZkEvm: Un zkEVM construido sobre tecnología Starknet que emula la EVM en un entorno basado en El Cairo. Miden @0xMiden: Un rollup y VM basado en STORK de Polygon que utiliza un modelo de prueba de privacidad en el lado del cliente para una ejecución escalable. Boba Network (en desarrollo) @bobanetwork: Una plataforma L2 multicadena que explora la demostración basada en ZK como parte de un diseño híbrido de computación y escalado.

2. Rollups ZK específicos para apps dYdX v3 @dYdX: DEX perpetuo basado en el rollup de StarkEx ZK para trading de alto apalancamiento con libreta de órdenes fuera de cadena y liquidación onchain. Sorare @Sorare: Juego de NFT de deportes de fantasía que utiliza el rollup de StarkEx ZK para gestionar el comercio a gran escala de NFT. Myria @Myria: L2 orientado al gaming que utiliza rollups ZK al estilo StarkEx para NFT mints y economías dentro del juego. zkLend @zkLend: Un protocolo de mercado monetario nativo de Starknet, que utiliza escalado ZK para préstamos y préstamos. Ekubo @ekuboProtocol: AMM de liquidez concentrada en Starknet diseñada para ser una capa central de liquidez para el ecosistema. zkNoid @ZkNoid: Juegos demostrables de creación de centros de juego en cadena en el entorno recursivo ZK de Mina Protocol.

3. Rollups BTCFi ZK Citrea @citrea_xyz: Rollup ZK en la red Bitcoin que pretende ofrecer una ejecución tipo EVM con pruebas de validez ancladas a BTC. Intmax @intmaxIO: diseño de privacidad rollup ZK sin estado con alta escalabilidad y eficiencia, que presenta pruebas a cadenas existentes como Ethereum o Bitcoin.

4. ZK-Privacy L1 Aleo @AleoHQ: L1 con privacidad primero, donde todas las aplicaciones se escriben en lenguaje Leo y se compilan en pruebas de conocimiento cero para su ejecución privada. Protocolo Mina @MinaProtocol: L1 ultraligero donde toda la cadena está representada por un zkSNARK de tamaño constante para que cada usuario pueda verificarlo con un teléfono. Aztec Network @aztecnetwork: Rollup de privacidad basado en ZK y L2 programable de cálculo para DeFi cifrado. 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 la intención que utiliza técnicas avanzadas ZK para trueque, emparejamiento y liquidación privada. Namada @namada: Cadena de prueba de stake que ofrece un pool blindado multiactivo para privacidad compartida entre muchos tokens diferentes. Penumbra @penumbrazone: Cadena de privacidad basada en Cosmos que permite el staking privado y el trading DEX usando pruebas de conocimiento cero. Iron Fish @ironfishcrypto: L1 con privacidad prioritaria, donde todas las transacciones están protegidas por defecto usando pruebas de conocimiento cero. Hyli @hyli_org: pila blockchain ZK diseñada para aplicaciones verificables e infraestructura modular de conocimiento cero. ZkCloud @thezkcloud: Una red de demostradores compartida L1, que ofrece generación de pruebas ZK como servicio de capa base. Singularity @singularityzk: Cadena impulsada por ZK diseñada para DeFi institucional con restricciones integradas y comprobaciones de riesgo verificadas en circuitos. Dusk Network @DuskFoundation: Privacy L1 se centró en tokens regulados de finanzas y seguridad con herramientas de cumplimiento basadas en conocimiento cero. Oasis Network @OasisProtocol: L1 con privacidad que combina computación confidencial y herramientas compatibles con ZK para mercados privados de DeFi y datos.

5. ZK-Proyectos de Privacidad Zcash @Zcash: Moneda de privacidad que utiliza zkSNARKs para permitir transacciones blindadas donde los importes y direcciones pueden ocultarse pero aún verificarse. Monero @monero: Proyecto centrado en la privacidad que utiliza firmas en anillo, direcciones ocultas y transacciones confidenciales para ocultar remitentes y importes. Railgun @RAILGUN_Project: Protocolo de privacidad con actividad DeFi en saldos blindados, pruebas ZK y herramientas de prueba de inocencia. Beam @beamprivacy: Moneda de privacidad basada en Mimblewimble con auditabilidad opt-in y activos confidenciales. Firo @firoorg: Moneda centrada en la privacidad usando Lelantus y pruebas ZK al estilo Lelantus Spark para transacciones anónimas. Pirate Chain @PirateChain: Un proyecto protegido centrado en la privacidad que utiliza zkSNARKs para cada transacción. Secret Network @SecretNetwork: Cadena basada en Cosmos construida sobre criptografía TEE para ejecutar contratos inteligentes cifrados y DeFi privado. Horizen @horizenglobal: Una cadena de aplicaciones que protege sidechains con pruebas ZK y permite aplicaciones que preservan la privacidad.

6. ZK-FHE L2 Fhenix @fhenix: Ethereum L2 para contratos inteligentes confidenciales usando FHE, con un modelo de ejecución tipo fhEVM y concepto de coprocesador FHE. Inco Network @inconetwork: Capa universal de confidencialidad que utiliza FHE para ofrecer ejecución privada predeterminada y garantías de privacidad entre cadenas. Mind Network @mindnetwork_xyz: Capa Zero Trust basada en FHE que combina restaking, datos cifrados y cargas de trabajo de IA. Octra @octra: L1 nativo de FHE, que pretende ofrecer contratos inteligentes privados y procesamiento de datos confidencial en la capa base. PrivaSea @privasea: Red FHEML / FHEDePIN para inferencia de IA cifrada, identidad basada en FHE (FHEID) y fuentes de datos confidenciales. Zama @zama: empresa FHE detrás de fhEVM (ejecución FHE compatible con EVM), bibliotecas FHE y herramientas. Se usa para la hoja de ruta confidencial de Shibarium y otras pilas de EVM. Sunscreen @SunscreenTech: compilador y SDK FHE que permite a los desarrolladores escribir aplicaciones FHE en lenguajes de mayor nivel y compilar a circuitos.

7. Coprocesadores ZK 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 de Ethereum ZK que demuestra afirmaciones sobre el estado histórico y los registros, y alimenta resultados verificados en los contratos. Lagrange @lagrangedev: coprocesador ZK crosschain y sistema cliente ligero con un ZK híbrido más arquitectura optimista para pruebas de estado escalables. Herodotus @HerodotusDev: Capa de acceso a datos que proporciona pruebas de almacenamiento ZK, permitiendo a los contratos verificar el estado histórico de Ethereum y el rollup. ORA @OraProtocol: Red programable zkOracle y zkIndexing que ejecuta cálculos offchain e IA, y luego envía resultados verificados por ZK onchain. Marlin @MarlinProtocol: Protocolo informático verificable que utiliza TEEs y coprocesadores basados en ZK para el cálculo offchain con minimización de confianza. VLayer @vlayer_xyz: Infraestructura de datos verificable y sin confianza que utiliza pruebas ZK para atestiguar la corrección de las canalizaciones de datos fuera de la cadena. Espacio y tiempo @spaceandtime: coprocesador ZK para SQL con Prueba de SQL, un SNARK zk que demuestra que tanto la consulta como los datos utilizados eran correctos.

8. Redes y hardware de probadores @SuccinctLabs sucinto: zkVM de alto rendimiento y red demostradora descentralizada que permite a los desarrolladores tratar la demostración ZK como una llamada a la API. Risc Zero @RiscZero: red de demostración zkVM y Bonsai basada en RISC-V que puede probar código general de Rust y verificarlo en la cadena de datos. Cysic @cysic_zk: Generación de pruebas acelerada por hardware para construir GPUs y ASICs optimizados para cargas de trabajo ZK. Ingonyama @Ingo_zk: Empresa de hardware y software de ZK conocida por ICICLE y otras aceleraciones basadas en GPU para sistemas de prueba SNARK y STARK. =Ninguno; Fundación | @nil_foundation: Laboratorio tecnológico ZK desarrollando zkLLVM, sistemas de demostración y un mercado de demostración para aplicaciones con mucha demanda de datos. Delphinus Lab @DelphinusLab: Entorno ZK para demostrar 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 demostrarse sin circuitos personalizados. SP1 zkVM @SuccinctLabs: zkVM de alto rendimiento centrado en la velocidad y la ergonomía de los desarrolladores para programas basados en Rust. Powdr Labs @powdr_labs: Toolkit y pila de compiladores para crear zkVMs y sistemas de pruebas personalizados. zkWASM @DelphinusLab: zkVM para WebAssembly que convierte los programas WASM en trazas de ejecución verificables ZK. zkLLVM @nil_foundation: Cadena de herramientas de compiladores que convierte IR LLVM en circuitos para que muchos lenguajes puedan compilarse en pruebas ZK.

10. Aprendizaje Automático ZK (ZKML) e IA Verificable Módulo @ModulusZK: El laboratorio ZKML construye circuitos e infraestructura para que los modelos de ML y los bots de trading puedan ser probados y verificados en la cadena de operaciones. Giza @gizatechxyz: Plataforma ZKML, integrada con Starknet, que permite a los desarrolladores desplegar modelos de IA verificables. EZKL @ezklxyz: Un conjunto de herramientas que convierte modelos PyTorch en circuitos ZK y genera pruebas para la verificación de ML onchain. Sentient @SentientAGI: Una economía de AGI construida por la comunidad que coordina modelos, datos y agentes a través de Sentient GRID. Allora Network @AlloraNetwork: Una red de IA donde los modelos de ML proporcionan predicciones y se puntuan entre sí. Utiliza zkML (a través de Polyhedra). Ritual @ritualnet: Una capa descentralizada de ejecución de IA / L1 que ejecuta cargas de trabajo onchain, con inferencia verificable e incentivos crypto-nativos. OpenMind @openmind_agi: Una capa de sistema operativo y coordinación para robots inteligentes. Inference Labs @inference_labs: Construcción de una Red de Inferencia Verificada de Conocimiento Cero (ZK-VIN) y protocolo de "Prueba de Inferencia". Gensyn @gensynai: Una red de cómputo para entrenar modelos de aprendizaje automático, utilizando una capa de verificación basada en blockchain para demostrar el aprendizaje profundo. Mind Network @mindnetwork_xyz: Restaking FHE + capa de datos cifrada para cargas de trabajo de IA. Chainlink @chainlink: Un cálculo verificable basado en oráculos fuera de cadena para tareas ejecutadas por redes oráculo.

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

12. Mezcladores DeFi ZK Railgun @RAILGUN_Project: Protocolo de privacidad con actividad DeFi en saldos blindados, 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 privada DeFi creada para swaps 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: Sistema de prueba de puente y estado basado en ZK que verifica mensajes cruzados y transferencias de activos con pruebas sucintas. Orbiter Finance @Orbiter_Finance: Puente cross-rollup optimizado para transferencias rápidas de L2 a L2 con seguridad heredada de los rollups subyacentes. Union @union_build: Protocolo de tipo IBC respaldado por ZK que unifica las redes y permite la mensajería crosschain minimizada en la confianza. Polymer Labs @Polymer_Labs: Router IBC que utiliza ZK y una verificación ligera tipo cliente para conexiones crosschain. ChainSafe @ChainSafeth: Proveedor de infraestructura que implementa puentes y clientes ligeros compatibles con ZK como servicios. Owlto Finance @Owlto_Finance: Puente cross-rollup que conecta múltiples ZK y rollups optimistic.

14. Carteras ZK Ready @ready_co: monedero de contratos inteligentes profundamente integrado en Starknet y zkSync, ocultando la complejidad y otorgando la custodia propia. Braavos @myBraavos: Monedero de contratos inteligentes para Starknet con funciones de abstracción de cuentas. Zashi @zashi_app: Monedero protegido para Zcash con fácil uso de transacciones privadas y experiencia de usuario móvil. Loopring @loopringorg: Cartera para la capa de pagos basada en zk-rollup.

15. Lenguajes de circuitos y bibliotecas Noir @NoirLang: Lenguaje de alto nivel similar al óxido para escribir circuitos portátiles de conocimiento cero. Es utilizado por @aztecnetwork, entre otros. Cairo @CairoLang: lenguaje compatible con STORK y VM utilizado para escribir programas demostrables para Starknet. Halo2 @Zcash: Sistema de demostración y biblioteca Plonkish que soporta puertas y búsquedas personalizadas para un diseño eficiente de circuitos. Plonky2 @0xPolygon: Sistema de demostración recursivo compatible con aritmética al estilo PLONK con compromisos al estilo FRI. Gnark @Consensys: Biblioteca Go para construir y verificar circuitos zkSNARK con múltiples esquemas soportados. snarkjs @identhree: cadena de herramientas JavaScript para generar y verificar pruebas de zkSNARK en el navegador y en 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 de R1CS para zkSNARKs.

17. Modularidad ZK Celestia @celestia: Capa modular de disponibilidad de datos utilizada por muchos rollups, incluidos los de ZK, para la publicación escalable de datos. EigenDA @eigenlayer: Servicio de disponibilidad de datos construido sobre EigenCloud utilizado por los equipos de agrupación de ZK. Disponible @AvailProject: cadena de disponibilidad de datos independiente utilizada por los packups ZK. EthStorage @EthStorage: Un L2 de almacenamiento que puede alojar datos y pruebas de rollup. AltLayer @alt_layer: Una plataforma de rollup-as-a-service. Caldera @Calderaxyz: Proveedor de infraestructura rollup que permite lanzar rollups personalizados con ZK o sistemas de prueba optimistas. Zeeve @0xZeeve: Plataforma de infraestructura blockchain empresarial que puede alojar y gestionar despliegues de rollup ZK. Gateway FM @gateway_eth: Servicio de infraestructura de rollup para lanzar rollups específicos de aplicaciones, incluyendo variantes ZK. Stackr @0xStackr: Framework de micro-rollup que a menudo se combina con ZK para cadenas ligeras específicas de aplicaciones. Nym @nym: Mixnet y un sistema de credenciales diseñado para privacidad avanzada e identidad ZK. Origin @origin_trail: Un grafo de conocimiento para procedencia de datos verificable y activos de conocimiento listos para IA, que alimenta entradas a circuitos ZK o ZKML.

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