Este é o Mapa completo do Ecossistema ZK. Você se lembra que a RWA foi negada ao mainstream várias vezes, até que isso se tornou realidade para todos este ano, 2025? ZK fará o mesmo. SALVE ESTE POST NOS FAVORITOS. Você vai voltar a ela quando ZK se tornar mainstream em 2026. (São 125 projetos)

1. Rollups ZK e L2s ZkEVMs ZkSync @zksync: Rollup zkEVM compatível com Ethereum usando provas baseadas em PLONK para fornecer transações baratas e rápidas, herdando a segurança do Ethereum. Starknet @Starknet: Rollup de validade de propósito geral usando provas STARK e a máquina virtual Cairo para computação escalável e comprovável no Ethereum. Polygon zkEVM @0xPolygon: Rollup ZK equivalente a EVM que executa contratos Ethereum existentes com verificação de prova ZK no Ethereum. Scroll @Scroll_ZKP: Um rollup zkEVM Tipo-3 construído para alta segurança e transparência, com compatibilidade em nível de bytecode com Ethereum. Linea @LineaBuild: Rollup ConsenSys zkEVM, integrado à pilha MetaMask e Infura para escalar dapps Ethereum. Taiko @taikoxyz: Um zkRollup construído como um zkEVM Tipo-1 com proponentes e provadores sem permissões. Manta Pacific @MantaNetwork: Modular L2 que combina provas ZK com segurança Ethereum para casos de uso DeFi e identidade conscientes da privacidade. ZKFair @ZKFCommunity: A comunidade lançou o rollup zkEVM baseado no Polygon CDK e no Celestia DA. Loopring @loopringorg: Uma camada de troca e pagamentos de camada 2-3 baseada em zk-rollup, focada em negociações e transferências de alto débito em livro de ordens. ZkLink Nova @zkLink_Official: Um rollup agregado usando provas ZK para unificar liquidez e contas entre múltiplos L2s e L1s. Immutable zkEVM @Immutable: ZkEVM focado em jogos construído com tecnologia Polygon. Kakarot @KakarotZkEvm: Um zkEVM construído sobre a tecnologia Starknet emulando o EVM em um ambiente baseado no Cairo. Miden @0xMiden: Um rollup e VM baseado em STORK da Polygon usando um modelo de prova de privacidade do lado do cliente para execução escalável. Boba Network (em desenvolvimento) @bobanetwork: Uma plataforma L2 multichain que explora provas baseadas em ZK como parte de um design híbrido de computação e escalabilidade.

2. Rollups ZK específicos para aplicativos dYdX v3 @dYdX: DEX perpétuo construído sobre o rollup do StarkEx ZK para negociação de alta alavancagem com o livro de ordens offchain e o acordo onchain. Sorare @Sorare: Jogo de NFT de fantasia esportiva usando o rollup StarkEx ZK para lidar com grandes trocas de NFTs. Myria @Myria: L2 voltado para jogos usando rollups ZK no estilo StarkEx para moedas NFT e economias dentro do jogo. zkLend @zkLend: Um protocolo de mercado monetário nativo da Starknet, usando escalabilidade ZK para empréstimos e empréstimos. Ekubo @ekuboProtocol: AMM de liquidez concentrada na Starknet, projetado para ser uma camada central de liquidez para o ecossistema. zkNoid @ZkNoid: Construção de hub de jogos onchain comprováveis no ambiente recursivo ZK do Mina Protocol.

3. Rollups BTCFi ZK Citrea @citrea_xyz: Rollup ZK na rede Bitcoin que visa trazer execução no estilo EVM com provas de validade ancoradas ao BTC. Intmax @intmaxIO: Design de privacidade de rollup ZK sem estado com alta escalabilidade e eficiência, apresentando provas para cadeias existentes como Ethereum ou Bitcoin.

4. ZK-Privacidade L1s Aleo @AleoHQ: L1 em primeiro lugar para a privacidade, onde todas as aplicações são escritas na linguagem Leo e compiladas em provas zero-knowledge para execução privada. Mina Protocol @MinaProtocol: L1 ultraleve onde toda a cadeia é representada por um zkSNARK de tamanho constante para que todo usuário possa verificá-lo com um telefone. Aztec Network @aztecnetwork: Pacote de privacidade baseado em ZK e processamento de L2 programável para DeFi criptografado. Aleph Zero @Aleph__Zero: Um L1 que combina um consenso baseado em DAG com uma camada de privacidade ZK para contratos inteligentes privados. Anoma @anoma: Protocolo baseado em intenção usando técnicas avançadas de ZK para troca privada, correspondência e acordo. Namada @namada: Cadeia de prova de stake que oferece um pool blindado multi-ativo para privacidade compartilhada entre vários tokens diferentes. Penumbra @penumbrazone: Cadeia de privacidade baseada em Cosmos que permite staking privado e negociação DEX usando provas de conhecimento zero. Iron Fish @ironfishcrypto: L1 com privacidade em primeiro lugar, onde todas as transações são protegidas por padrão usando provas de conhecimento zero. Hyli @hyli_org: pilha blockchain ZK construída para aplicações verificáveis e infraestrutura modular de conhecimento zero. ZkCloud @thezkcloud: Uma rede provadora compartilhada L1, oferecendo geração de provas ZK como serviço de camada base. Singularity @singularityzk: Cadeia alimentada por ZK projetada para DeFi institucional com restrições embutidas e verificações de risco verificadas em circuitos. Dusk Network @DuskFoundation: Privacy L1 focava em tokens regulados de finanças e segurança com ferramentas de conformidade baseadas em zero conhecimento. Oasis Network @OasisProtocol: L1 com privacidade que combina computação confidencial e ferramentas amigáveis ao ZK para mercados privados de DeFi e dados.

5. Projetos ZK-Privacidade Zcash @Zcash: Moeda de privacidade usando zkSNARKs para permitir transações protegidas onde valores e endereços podem ser ocultos, mas ainda verificados. Monero @monero: Projeto focado em privacidade que utiliza assinaturas em anel, endereços furtivos e transações confidenciais para ocultar remetentes e valores. Railgun @RAILGUN_Project: Protocolo de privacidade com atividade DeFi em saldos blindados, provas ZK e ferramentas de prova de inocência. Beam @beamprivacy: Moeda de privacidade baseada no Mimblewimble com auditabilidade opt-in e ativos confidenciais. Firo @firoorg: Moeda centrada na privacidade usando Lelantus e provas ZK no estilo Lelantus Spark para transações anônimas. Pirate Chain @PirateChain: Um projeto blindado focado em privacidade que utiliza zkSNARKs para cada transação. Secret Network @SecretNetwork: Cadeia baseada em Cosmos construída sobre criptografia TEE para executar contratos inteligentes criptografados e DeFi privado. Horizen @horizenglobal: Uma appchain que protege sidechains com provas ZK e possibilita aplicações que preservam a privacidade.

6. ZK-FHE L2s Fhenix @fhenix: Ethereum L2 para contratos inteligentes confidenciais usando FHE, com um modelo de execução no estilo fhEVM e conceito de coprocessador FHE. Inco Network @inconetwork: Camada universal de confidencialidade que utiliza FHE para fornecer execução privada padrão e garantias de privacidade entre cadeias. Mind Network @mindnetwork_xyz: camada Zero Trust baseada em FHE que combina restaking, dados criptografados e cargas de trabalho de IA. Octra @octra: L1 nativo de FHE, que visa fornecer contratos inteligentes privados e processamento confidencial de dados na camada base. PrivaSea @privasea: Rede FHEML / FHEDePIN para inferência de IA criptografada, identidade baseada em FHE (FheID) e feeds de dados confidenciais. Zama @zama: empresa FHE responsável por fhEVM (execução FHE compatível com EVM), bibliotecas e ferramentas FHE. Usado para o roadmap confidencial do Shibarium e outras stacks de EVM. Sunscreen @SunscreenTech: compilador e SDK FHE que permite aos desenvolvedores escrever aplicativos FHE em linguagens de nível mais alto e compilar para circuitos.

7. Coprocessadores ZK Brevis @brevis_zk: coprocessador ZK que lê dados históricos onchain entre cadeias, executa consultas programáveis e retorna provas sucintas aos contratos. Axiom @axiom_xyz: coprocessador Ethereum ZK que comprova declarações sobre estado histórico e logs, alimentando resultados verificados em contratos. Lagrange @lagrangedev: coprocessador ZK crosschain e sistema cliente leve com um ZK híbrido mais arquitetura otimista para provas de estado escaláveis. Herodotus @HerodotusDev: Camada de acesso a dados que fornece provas de armazenamento ZK, permitindo que contratos verifiquem o Ethereum histórico e o estado de rollup. ORA @OraProtocol: Rede programável zkOracle e zkIndexing que executa computação offchain e IA, enviando resultados verificados pelo ZK onchain. Marlin @MarlinProtocol: Protocolo de computação verificável que utiliza TEEs e coprocessadores baseados em ZK para computação offchain minimizada por confiança. VLayer @vlayer_xyz: Infraestrutura de dados verificável e sem confiança que utiliza provas ZK para atestar a correção dos pipelines de dados offchain. Space and Time @spaceandtime: coprocessador ZK para SQL com Proof of SQL, um SNARK zk que comprova que tanto a consulta quanto os dados usados estavam corretos.

8. Redes e Hardware de Provadores Resumindo@SuccinctLabs: ZkVM de alto desempenho e rede prover descentralizada que permite aos desenvolvedores tratar a demonstração ZK como uma chamada de API. Risc Zero @RiscZero: rede de prova zkVM e Bonsai baseada em RISC-V que pode comprovar código Rust geral e verificá-lo onchain. Cysic @cysic_zk: Geração de provas acelerada por hardware para construir GPUs e ASICs otimizados para cargas de trabalho ZK. Ingonyama @Ingo_zk: Empresa de hardware e software da ZK conhecida por ICICLE e outras acelerações baseadas em GPUs para sistemas de prova SNARK e STARK. =Nenhum; Fundação | @nil_foundation: Laboratório de tecnologia ZK desenvolvendo o zkLLVM, sistemas de prova e um mercado de provas para aplicações que consumem muitos dados. Delphinus Lab @DelphinusLab: Ambiente ZK para provar a execução de programas WebAssembly (ZKWASM), de modo que o código existente possa ser verificado em circuitos.

9. Máquinas Virtuais ZK (ZkVMs) Risc Zero zkVM @RiscZero: ZkVM de uso geral que modela uma máquina RISC-V para garantir que muitos programas existentes possam ser provados sem circuitos personalizados. SP1 zkVM @SuccinctLabs: ZkVM de alta produtividade focado em velocidade e ergonomia para desenvolvedores para programas baseados em Rust. Powdr Labs @powdr_labs: Toolkit e pilha de compiladores para criar zkVMs e sistemas de prova personalizados. zkWASM @DelphinusLab: zkVM para WebAssembly que transforma programas WASM em trilhas de execução verificáveis ZK. zkLLVM @nil_foundation: Cadeia de ferramentas de compiladores que converte IR LLVM em circuitos para que muitas linguagens possam ser compiladas em provas ZK.

10. Aprendizado de Máquina ZK (ZKML) & IA Verificável Módulo @ModulusZK: O laboratório ZKML construindo circuitos e infraestrutura para que modelos de ML e bots de negociação possam ser comprovados e verificados onchain. Giza @gizatechxyz: plataforma ZKML, integrada à Starknet, que permite aos desenvolvedores implantar modelos de IA verificáveis. EZKL @ezklxyz: Um kit de ferramentas que transforma modelos PyTorch em circuitos ZK e gera provas para verificação de ML onchain. Sentient @SentientAGI: Uma economia de AGI construída pela comunidade que coordena modelos, dados e agentes através do Sentient GRID. Rede Allora @AlloraNetwork: Uma rede de IA onde modelos de ML fornecem previsões e pontuam uns aos outros. Usa zkML (via Polyhedra). Ritual @ritualnet: Uma camada descentralizada de execução de IA / L1 rodando cargas de trabalho onchain, com inferência verificável e incentivos cripto-nativos. OpenMind @openmind_agi: Uma camada de sistema operacional e coordenação para robôs inteligentes. Inference Labs @inference_labs: Construindo uma Rede de Inferência Verificada de Conhecimento Zero (ZK-VIN) e protocolo de "Prova de Inferência". Gensyn @gensynai: Uma rede computacional para treinar modelos de ML, usando uma camada de verificação baseada em blockchain para provar deep learning. Mind Network @mindnetwork_xyz: Restaking FHE + camada de dados criptografada para cargas de trabalho de IA. Chainlink @chainlink: Um cálculo verificável offchain baseado em oráculos para tarefas executadas por redes oráculo.

11. ZK-Identidade e Atestados Privado ID @PrivadoID: Plataforma de identidade de conhecimento zero que permite aos usuários provar afirmações sobre si mesmos sem revelar os dados subjacentes. World @worldcoin: Protocolo global de prova de personalidade jurídica que usa provas ZK e Semáforo para provar a unicidade enquanto esconde dados biométricos. PSE @PrivacyEthereum: Acabei de criar o OpenAC para padronizar a identidade zero-knowledge. zkPass @zkPass: Um protocolo que usa zkTLS para ajudar usuários a provar coisas sobre fontes de dados Web2 sem expor senhas ou documentos. zkMe @zkme_: ZK-KYC e rede de credenciais onde os usuários comprovam de forma privada atributos de conformidade para dapps e exchanges. zCloak Network @zcloaknetwork: Prova ZK como plataforma de serviço para verificação de identidade e dados. Human Passport @HumnPassport: Um sistema de identidade e carimbo que utiliza sistemas ZK para resistência a síbilas e controle de acesso.

12. Mixers DeFi ZK Railgun @RAILGUN_Project: Protocolo de privacidade com atividade DeFi em saldos blindados, provas ZK e ferramentas de prova de inocência. DarkFi Squad @DarkFiSquad: Plataforma DeFi anônima usando criptografia ZK para contratos privados e coordenação. Shade Protocol @Shade_Protocol: suíte privada DeFi construída para swaps privados, empréstimos e stablecoins. Hinkal @hinkal_protocol: Motor de privacidade que roteia atividades DeFi por meio de contratos inteligentes protegidos por ZK.

13. Interoperabilidade ZK Polyhedra @PolyhedraZK: Sistema de prova de bridge e estado baseado em ZK que verifica mensagens crosschain e transferências de ativos com provas sucintas. Orbiter Finance @Orbiter_Finance: Ponte cross-rollup otimizada para transferências rápidas de L2 para L2 com segurança herdada dos rollups subjacentes. Union @union_build: Protocolo no estilo IBC apoiado por ZK que unifica redes e permite mensagens crosschain minimizadas pela confiança. Polymer Labs @Polymer_Labs: roteador IBC que usa ZK e uma verificação leve no estilo cliente para conexões crosschain. ChainSafe @ChainSafeth: Provedor de infraestrutura que implementa pontes e clientes leves conscientes de ZK como serviços. Owlto Finance @Owlto_Finance: Ponte cross-rollup que conecta múltiplos ZK e rollups optimistic.

14. Carteiras ZK Ready @ready_co: Carteira de contratos inteligentes profundamente integrada na Starknet e zkSync, escondendo complexidade enquanto oferece a própria custódia. Braavos @myBraavos: Carteira de contrato inteligente para a Starknet com recursos de abstração de contas. Zashi @zashi_app: Carteira protegida para Zcash com fácil uso de transações privadas e UX móvel. Loopring @loopringorg: Carteira para a camada de pagamentos baseados em zk-rollup.

15. Linguagens e Bibliotecas de Circuitos Noir @NoirLang: Linguagem de alto nível semelhante à ferrugem para escrever circuitos portáteis de conhecimento zero. É usado por @aztecnetwork, entre outros. Cairo @CairoLang: linguagem e VM amigáveis a STORK usadas para escrever programas comprováveis para Starknet. Halo2 @Zcash: Sistema de provação e biblioteca Plonkish que suporta portas e buscas personalizadas para design eficiente de circuitos. Plonky2 @0xPolygon: Sistema de prova recursivo amigável que combina aritmética no estilo PLONK com compromissos no estilo FRI. GNARK @Consensys: Biblioteca Go para construir e verificar circuitos zkSNARK com múltiplos esquemas suportados. snarkjs @identhree: Cadeia de ferramentas JavaScript para gerar e verificar provas de zkSNARK no navegador e no Node. Circomlib @identhree: Biblioteca padrão de circuitos reutilizáveis do Circom para hashes, assinaturas e primitivas comuns. iden3 @identhree: Linguagem específica de domínio para construir circuitos aritméticos e restrições R1CS para zkSNARKs.

17. Modularidade ZK Celestia @celestia: Camada modular de disponibilidade de dados usada por muitos rollups, incluindo os packups ZK, para postagem escalável de dados. EigenDA @eigenlayer: Serviço de disponibilidade de dados construído no EigenCloud usado pelas equipes de rollup ZK. Disponível @AvailProject: Cadeia de disponibilidade de dados independente usada pelos packups ZK. EthStorage @EthStorage: Um L2 de armazenamento que pode hospedar dados e provas de rollup. AltLayer @alt_layer: Uma plataforma de rollup-as-a-service. Caldera @Calderaxyz: Provedor de infraestrutura de rollup que permite lançar rollups personalizados com ZK ou sistemas de prova otimistas. Zeeve @0xZeeve: Plataforma de infraestrutura corporativa blockchain que pode hospedar e gerenciar implantações de rollup ZK. Gateway FM @gateway_eth: Serviço de infraestrutura de rollup para lançamento de rollups específicos de aplicação, incluindo variantes ZK. Stackr @0xStackr: Framework micro-rollup frequentemente combinado com ZK, provando cadeias leves específicas de aplicativos. Nym @nym: Mixnet e um sistema de credenciais construído para privacidade avançada e identidade ZK. Origin @origin_trail: Um grafo de conhecimento para proveniência de dados verificável e ativos de conhecimento prontos para IA, alimentando entradas em circuitos ZK ou ZKML.

Marcando Chads para verificar isso: @thesaint_ @andrewmoh @0xCheeezzyyyy @satyaki44 @cryptorinweb3 @poopmandefi @Eli5defi @cchungccc @DOLAK1NG @chilla_ct @thelearningpill @twindoges @YashasEdu @Only1temmy @Adebiyi_Diamond @rektdiomedes @splinter0n @belizardd @MercyDeGreat @Defi_Warhol