Este é o Mapa Completo do Ecossistema ZK. Você se lembra que o RWA foi negado ao mainstream várias vezes, até se tornar a realidade de todos este ano, 2025? O ZK fará o mesmo. SALVE Este Post. Você voltará a ele quando o ZK se tornar mainstream em 2026. (Há 125 projetos)

1. ZK Rollups e zkEVMs L2s ZkSync @zksync: Rollup zkEVM compatível com Ethereum que utiliza provas baseadas em PLONK para oferecer transações baratas e rápidas, enquanto herda a segurança do Ethereum. Starknet @Starknet: Rollup de validade de propósito geral que utiliza provas STARK e a VM Cairo para computação escalável e comprovável no Ethereum. Polygon zkEVM @0xPolygon: Rollup ZK equivalente ao EVM que executa contratos existentes do Ethereum 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 a nível de bytecode com o Ethereum. Linea @LineaBuild: Rollup zkEVM da ConsenSys, integrado na pilha MetaMask e Infura para escalar dapps do Ethereum. Taiko @taikoxyz: Um zkRollup construído como um zkEVM Tipo-1 com proponentes e provadores sem permissão. Manta Pacific @MantaNetwork: L2 modular que combina provas ZK com a segurança do Ethereum para casos de uso de DeFi e identidade com foco em privacidade. ZKFair @ZKFCommunity: Rollup zkEVM lançado pela comunidade, construído sobre o Polygon CDK e Celestia DA. Loopring @loopringorg: Uma camada de troca e pagamentos baseada em zk-rollup de camada 2-3, focando em negociação de livro de ordens de alta capacidade e transferências. zkLink Nova @zkLink_Official: Um rollup agregado que utiliza provas ZK para unificar liquidez e contas em 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 em Cairo. Miden @0xMiden: Um rollup e VM baseado em STARK da Polygon, utilizando um modelo de prova de privacidade do lado do cliente para execução escalável. Boba Network (em desenvolvimento) @bobanetwork: Uma plataforma L2 multichain explorando a prova baseada em ZK como parte de um design híbrido de computação e escalonamento.

2. ZK Rollups específicos de aplicativos dYdX v3 @dYdX: DEX perpétuo construído sobre o rollup ZK StarkEx para negociação de alta alavancagem com livro de ordens offchain e liquidação onchain. Sorare @Sorare: Jogo de NFT de esportes de fantasia usando o rollup ZK StarkEx para lidar com a negociação de NFT em grande escala. Myria @Myria: L2 orientado para jogos usando rollups ZK estilo StarkEx para mintagem de NFT e economias dentro do jogo. zkLend @zkLend: Um protocolo de mercado monetário nativo do Starknet, usando escalonamento ZK para empréstimos e tomadas de empréstimos. Ekubo @ekuboProtocol: AMM de liquidez concentrada no Starknet projetado para ser uma camada de liquidez central para o ecossistema. zkNoid @ZkNoid: Hub de jogos construindo jogos onchain prováveis no ambiente ZK recursivo do Mina Protocol.

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

4. L1s de Privacidade ZK Aleo @AleoHQ: L1 com foco em privacidade onde todas as aplicações são escritas na linguagem Leo e compiladas em provas de conhecimento zero para execução privada. Mina Protocol @MinaProtocol: L1 ultra-leve onde toda a cadeia é representada por um zkSNARK de tamanho constante, permitindo que cada usuário a verifique com um telefone. Aztec Network @aztecnetwork: Rollup de privacidade baseado em ZK e 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ções que utiliza técnicas avançadas de ZK para trocas privadas, correspondência e liquidação. Namada @namada: Cadeia de proof-of-stake que oferece um pool protegido multi-ativo para privacidade compartilhada entre muitos 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 foco em privacidade onde todas as transações são protegidas por padrão usando provas de conhecimento zero. Hyli @hyli_org: Pilha de blockchain ZK construída para aplicações verificáveis e infraestrutura modular de conhecimento zero. ZkCloud @thezkcloud: Uma rede de provadores compartilhada L1, oferecendo geração de provas ZK como um serviço de camada base. Singularity @singularityzk: Cadeia alimentada por ZK projetada para DeFi institucional com restrições integradas e verificações de risco confirmadas em circuitos. Dusk Network @DuskFoundation: L1 de privacidade focada em finanças regulamentadas e tokens de segurança com ferramentas de conformidade baseadas em conhecimento zero. Oasis Network @OasisProtocol: L1 habilitada para privacidade que combina computação confidencial e ferramentas amigáveis ao ZK para DeFi privado e mercados de dados.

5. Projetos de Privacidade ZK Zcash @Zcash: Moeda de privacidade que utiliza zkSNARKs para permitir transações protegidas onde os montantes e endereços podem ser ocultados, mas ainda assim verificados. Monero @monero: Projeto focado em privacidade que utiliza assinaturas em anel, endereços furtivos e transações confidenciais para ocultar remetentes e montantes. Railgun @RAILGUN_Project: Protocolo de privacidade com atividade DeFi em saldos protegidos, provas ZK e ferramentas de prova de inocência. Beam @beamprivacy: Moeda de privacidade baseada em Mimblewimble com auditoria opcional e ativos confidenciais. Firo @firoorg: Moeda centrada na privacidade que utiliza Lelantus e provas ZK estilo Lelantus Spark para transações anônimas. Pirate Chain @PirateChain: Um projeto de privacidade protegido 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 permite 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 estilo fhEVM e conceito de coprocessador FHE. Inco Network @inconetwork: Camada de confidencialidade universal que usa FHE para garantir execução privada por 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 nativa de FHE que visa fornecer contratos inteligentes privados e processamento de dados confidenciais 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 por trás do fhEVM (execução FHE compatível com EVM), bibliotecas e ferramentas FHE. Usado para o roadmap confidencial do Shibarium e outras pilhas EVM. Sunscreen @SunscreenTech: Compilador FHE e SDK que permite aos desenvolvedores escrever aplicativos FHE em linguagens de nível superior e compilar para circuitos.

7. Coprocessadores ZK Brevis @brevis_zk: Coprocessador ZK que lê dados históricos onchain através de cadeias, executa consultas programáveis e retorna provas sucintas para contratos. Axiom @axiom_xyz: Coprocessador ZK Ethereum que prova declarações sobre o estado histórico e logs e alimenta resultados verificados em contratos. Lagrange @lagrangedev: Coprocessador ZK crosschain e sistema de cliente leve com uma arquitetura híbrida ZK mais 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 estado histórico do Ethereum e rollups. ORA @OraProtocol: Rede programável zkOracle e zkIndexing que executa computação offchain e IA, e depois envia resultados verificados por ZK onchain. Marlin @MarlinProtocol: Protocolo de computação verificável que utiliza TEEs e coprocessadores baseados em ZK para computação offchain minimizada em confiança. VLayer @vlayer_xyz: Infraestrutura de dados verificável sem confiança que utiliza provas ZK para atestar a correção de pipelines de dados offchain. Space and Time @spaceandtime: Coprocessador ZK para SQL com Prova de SQL, um zk SNARK que prova que tanto a consulta quanto os dados utilizados estavam corretos.

8. Redes e Hardware de Prova Succinct @SuccinctLabs: Rede de prova descentralizada e zkVM de alto desempenho que permite aos desenvolvedores tratar a prova ZK como uma chamada de API. Risc Zero @RiscZero: zkVM baseado em RISC-V e rede de prova Bonsai que pode provar código Rust geral e verificá-lo onchain. Cysic @cysic_zk: Rede de geração de provas acelerada por hardware construindo GPUs e ASICs otimizados para cargas de trabalho ZK. Ingonyama @Ingo_zk: Empresa de hardware e software ZK conhecida pelo ICICLE e outras acelerações baseadas em GPU para sistemas de prova SNARK e STARK. =Nil; Foundation | @nil_foundation: Laboratório de tecnologia ZK construindo zkLLVM, sistemas de prova e um mercado de provas para aplicações que exigem muitos dados. Delphinus Lab @DelphinusLab: Ambiente ZK para provar a execução de programas WebAssembly (ZKWASM) para que o código existente possa ser verificado em circuitos.

9. Máquinas Virtuais ZK (ZkVMs) Risc Zero zkVM @RiscZero: zkVM de propósito 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 alto rendimento focada na velocidade e ergonomia para desenvolvedores de programas baseados em Rust. Powdr Labs @powdr_labs: Conjunto de ferramentas e pilha de compiladores para criar zkVMs personalizados e sistemas de prova. zkWASM @DelphinusLab: zkVM para WebAssembly que transforma programas WASM em rastros de execução verificáveis por ZK. zkLLVM @nil_foundation: Cadeia de ferramentas de compilador que converte LLVM IR em circuitos para que muitas linguagens possam ser compiladas em provas ZK.

10. Aprendizado de Máquina ZK (ZKML) & IA Verificável Modulus @ModulusZK: laboratório ZKML construindo circuitos e infraestruturas para que modelos de ML e bots de negociação possam ser provados e verificados onchain. Giza @gizatechxyz: plataforma ZKML, integrada com 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 AGI construída pela comunidade que coordena modelos, dados e agentes através da Sentient GRID. Allora Network @AlloraNetwork: uma rede de IA onde modelos de ML fornecem previsões e se avaliam mutuamente. Usa zkML (via Polyhedra). Ritual @ritualnet: uma camada de execução de IA descentralizada / L1 executando cargas de trabalho onchain, com inferência verificável e incentivos nativos de cripto. OpenMind @openmind_agi: um sistema operacional e camada de coordenação para robôs inteligentes. Inference Labs @inference_labs: construindo uma Rede de Inferência Verificada por Zero-Knowledge (ZK-VIN) e protocolo “Prova de Inferência”. Gensyn @gensynai: uma rede de computação para treinar modelos de ML, usando uma camada de verificação baseada em blockchain para provar aprendizado profundo. Mind Network @mindnetwork_xyz: restaking FHE + camada de dados criptografados para cargas de trabalho de IA. Chainlink @chainlink: um computação verificável baseada em oráculos offchain para tarefas executadas por redes de oráculos.

11. ZK-Identidade e Atestações Privado ID @PrivadoID: Plataforma de identidade de conhecimento zero que permite aos utilizadores provar afirmações sobre si mesmos sem revelar os dados subjacentes. World @worldcoin: Protocolo global de prova de personalidade que utiliza provas ZK e Semaphore para provar unicidade enquanto oculta dados biométricos. PSE @PrivacyEthereum: Acabou de criar o OpenAC para padronizar a identidade de conhecimento zero. zkPass @zkPass: Um protocolo que utiliza zkTLS para ajudar os utilizadores a provar coisas sobre fontes de dados Web2 sem expor senhas ou documentos. zkMe @zkme_: Rede ZK-KYC e de credenciais onde os utilizadores provam privadamente atributos de conformidade para dapps e exchanges. zCloak Network @zcloaknetwork: Plataforma de prova ZK como 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 sybil e controlo de acesso.

12. Misturadores ZK DeFi Railgun @RAILGUN_Project: Protocolo de privacidade com atividade DeFi em saldos protegidos, provas ZK e ferramentas de prova de inocência. DarkFi Squad @DarkFiSquad: Plataforma DeFi anônima que utiliza criptografia ZK para contratos privados e coordenação. Shade Protocol @Shade_Protocol: Conjunto DeFi privado construído para trocas privadas, empréstimos e stablecoins. Hinkal @hinkal_protocol: Motor de privacidade que roteia a atividade DeFi através de contratos inteligentes protegidos por ZK.

13. Interoperabilidade ZK Polyhedra @PolyhedraZK: sistema de ponte e prova de estado baseado em ZK que verifica mensagens e transferências de ativos entre cadeias 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 estilo IBC suportado por ZK que unifica redes e permite mensagens entre cadeias minimizando a confiança. Polymer Labs @Polymer_Labs: roteador IBC que utiliza ZK e uma verificação estilo cliente leve para conexões entre cadeias. ChainSafe @ChainSafeth: fornecedor de infraestrutura que implementa pontes e clientes leves cientes de ZK como serviços. Owlto Finance @Owlto_Finance: ponte cross-rollup que conecta múltiplos rollups ZK e otimistas.

14. ZK Wallets Ready @ready_co: Carteira de contrato inteligente profundamente integrada no Starknet e zkSync, ocultando a complexidade enquanto oferece autocustódia. Braavos @myBraavos: Carteira de contrato inteligente para Starknet com recursos de abstração de conta. 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 baseada em zk-rollup.

15. Linguagens e Bibliotecas de Circuitos Noir @NoirLang: Linguagem de alto nível semelhante ao Rust para escrever circuitos de conhecimento zero portáteis. É utilizada pela @aztecnetwork, entre outros. Cairo @CairoLang: Linguagem e VM amigável ao STARK usada para escrever programas comprováveis para Starknet. Halo2 @Zcash: Sistema de prova e biblioteca Plonkish que suporta portas e buscas personalizadas para um design de circuito eficiente. Plonky2 @0xPolygon: Sistema de prova amigável à recursão que combina aritmética estilo PLONK com compromissos estilo FRI. gnark @Consensys: Biblioteca Go para construir e verificar circuitos zkSNARK com múltiplos esquemas suportados. snarkjs @identhree: Conjunto de ferramentas JavaScript para gerar e verificar provas zkSNARK no navegador e no Node. Circomlib @identhree: Biblioteca padrão de circuitos Circom reutilizáveis 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. ZK Modularidade Celestia @celestia: Camada modular de disponibilidade de dados utilizada por muitos rollups, incluindo rollups ZK, para postagem de dados escalável. EigenDA @eigenlayer: Serviço de disponibilidade de dados construído sobre o EigenCloud utilizado por equipes de rollup ZK. Avail @AvailProject: Cadeia de disponibilidade de dados independente utilizada por rollups ZK. EthStorage @EthStorage: Um armazenamento L2 que pode hospedar dados e provas de rollup. AltLayer @alt_layer: Uma plataforma de rollup como serviço. Caldera @Calderaxyz: Provedor de infraestrutura de rollup que permite o lançamento de rollups personalizados com sistemas de prova ZK ou otimistas. Zeeve @0xZeeve: Plataforma de infraestrutura de blockchain empresarial que pode hospedar e gerenciar implantações de rollup ZK. Gateway FM @gateway_eth: Serviço de infraestrutura de rollup para lançar rollups específicos de aplicação, incluindo variantes ZK. Stackr @0xStackr: Estrutura de micro-rollup frequentemente combinada com prova ZK para cadeias específicas de aplicativos leves. 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 isto: @thesaint_ @andrewmoh @0xCheeezzyyyy @satyaki44 @cryptorinweb3 @poopmandefi @Eli5defi @cchungccc @DOLAK1NG @chilla_ct @thelearningpill @twindoges @YashasEdu @Only1temmy @Adebiyi_Diamond @rektdiomedes @splinter0n @belizardd @MercyDeGreat @Defi_Warhol