Prova de Conhecimento Zero

Brevis é uma plataforma de computação verificável baseada em Zero-Knowledge Proofs (ZK), chamada de "Infinite Compute Layer" para Web3. Seu princípio central consiste em executar cálculos de alta demanda de recursos off-chain e possibilitar que a blockchain valide apenas uma prova sucinta.

Pico zkVM é a Máquina Virtual de Zero-Knowledge (zkVM) modular e open-source desenvolvida pela Brevis (BREV). Com ela, desenvolvedores podem criar qualquer lógica computacional em Rust e gerar uma Zero-Knowledge Proof (ZK) que comprova a execução correta do processamento.

O coprocessador de dados ZK elimina a limitação dos contratos inteligentes em acessar dados históricos ao possibilitar a recuperação off-chain de dados históricos ou cross-chain a partir de nós de arquivo, realizar cálculos e fornecer uma prova de conhecimento zero que confirma o resultado, a autenticidade e a precisão dos dados. Essa prova pode ser verificada pelo contrato on-chain em milissegundos. O fluxo de dados ocorre em quatro etapas: solicitação da aplicação, computação off-chain, geração da prova ZK e verificação on-chain com recebimento do resultado, permitindo conclusões confiáveis sem a necessidade de reprocessar todos os dados.

Os oráculos trazem principalmente dados externos, off-chain, para a blockchain, com sua credibilidade fundamentada em nós e incentivos econômicos. ZK co-processors, como o Brevis, concentram-se em computação verificável de dados históricos já registrados on-chain, utilizando provas de conhecimento zero para permitir a validação direta dos resultados na própria blockchain. Essas duas tecnologias ocupam lados opostos no fluxo de dados da blockchain, oferecendo funções complementares quanto à direção dos dados, modelos de confiança e capacidades computacionais. Seus limites não são rigidamente definidos; na prática, é comum a adoção de abordagens híbridas colaborativas.

BREV é o token nativo da rede Brevis, responsável por três funções essenciais: pagamento de taxas de prova, stake de provador e governança do protocolo. A coChain funciona como uma blockchain de prova de participação, utilizando mecanismos de staking e slashing baseados na Ethereum. Validadores enviam seus resultados como “propostas” para a request chain, o que aciona uma janela de contestação. Se uma proposta incorreta for contestada com sucesso por meio de uma prova de conhecimento zero, o stake associado é reduzido na Ethereum. Caso não haja contestação, o resultado é aceito automaticamente, eliminando o custo da prova.

A principal diferença entre Manta Pacific e Manta Atlantic está nas funções de cada uma: Pacific é uma rede modular de Camada 2 na Ethereum, especializada em implantar e escalar aplicações descentralizadas com conhecimento zero (ZK); Atlantic é uma rede de Camada 1 ZK na Polkadot, focada na infraestrutura de identidade on-chain para conformidade, utilizando zkAddress e zkSBT. Ambas as cadeias integram o ecossistema da Manta Network e compartilham o token de utilidade nativo MANTA, mas diferem estruturalmente em seus ecossistemas subjacentes, stacks técnicos e grupos de usuários-alvo.

Manta Network (MANTA) é um ecossistema blockchain modular projetado para aplicações de conhecimento zero (ZK), formado pela Manta Pacific, uma rede modular de Camada 2 no ecossistema Ethereum, e pela Manta Atlantic, uma rede de Camada 1 ZK na Polkadot. A Pacific utiliza a camada de disponibilidade de dados da Celestia em conjunto com o ambiente de execução EVM/zkEVM para dar suporte a aplicações descentralizadas. Já a Atlantic é especializada em identidade on-chain compatível, oferecendo infraestrutura programável de identidade com conhecimento zero por meio de zkSBT e zkAddress.

A Universal Circuits é uma biblioteca de circuitos pré-construídos ZK-as-a-Service implantada na Manta Pacific: desenvolvedores Solidity conseguem adicionar funcionalidade de zero-knowledge a seus dApps por meio de interfaces de contratos padrão, sem precisar migrar para linguagens ZK especializadas como Cairo; as aplicações típicas incluem pagamentos em conformidade, verificação de identidade e jogos on-chain, como o zkShuffle.

zkAddress e zkSBT são componentes essenciais de identidade com privacidade desenvolvidos pela Manta Network na cadeia Manta Atlantic. O zkAddress fornece endereços de privacidade reutilizáveis no estilo UTXO, enquanto o zkSBT vincula credenciais de conformidade a esse endereço por meio de provas de conhecimento zero. Juntos, eles formam a infraestrutura de identidade compatível na cadeia Atlantic, permitindo que aplicações Web3 verifiquem identidades sem expor os dados pessoais originais dos usuários.

Fazer o bridging de ativos para a Manta Pacific envolve um processo repetível de bloqueio, cunhagem e mapeamento de saldos entre a mainnet da Ethereum e a Manta Pacific, uma rede modular de Camada 2, por meio de uma bridge cross-chain. Como camada de execução da Manta Network dentro do ecossistema Ethereum, a Manta Pacific permite implantação e interação on-chain de ETH, ERC-20 e outros ativos. Para participar das aplicações do ecossistema no lado Pacific, os usuários precisam primeiro entender como a bridge é acionada, como os estados do sistema mudam internamente e como confirmar que os fundos chegaram.

Zcash Orchard é o pool de transações protegidas de terceira geração na rede Zcash, desenvolvido sobre o sistema de prova de conhecimento zero Halo 2 para aprimorar a eficiência, a escalabilidade e a capacidade de atualização a longo prazo das transações privadas. Em comparação com seus antecessores, Sprout e Sapling, Orchard reduz a dependência de configuração confiável ao mesmo tempo que otimiza os fluxos de trabalho de geração e verificação de provas.

O mecanismo central de operação da Nockchain substitui as tradicionais computações de hash do PoW por Provas de Conhecimento Zero. Na Nockchain, os mineradores deixam de competir por blocos com operações de hash sem propósito e passam a gerar provas verificáveis para participar do consenso da rede. Sua arquitetura inclui componentes como NockVM, NockApp, Proofpower e Global Consensus SNARKs, todos concebidos para formar uma rede de prova descentralizada que dá suporte a IA, aplicações de privacidade e computação verificável.

A Nockchain é uma rede blockchain baseada na Prova de Trabalho de Conhecimento Zero (ZKPoW), cujo principal objetivo é substituir os cálculos de hash inúteis da PoW tradicional pela geração de provas de conhecimento zero verificáveis e de valor prático (ZK proving). Ao contrário do Bitcoin, que depende da competição pela taxa de hash, a Nockchain direciona o poder computacional dos mineradores para produzir provas de computação verificáveis, criando assim um modelo de "Prova de Trabalho Útil".

Tanto o Railgun quanto o Tornado Cash são protocolos de privacidade on-chain, mas diferem bastante em filosofia de design e abordagem operacional. O Tornado Cash opera mais como um mixer anônimo, utilizando pools com denominação fixa para romper o vínculo entre os fundos. Já o Railgun é um protocolo DeFi privado baseado em zk-SNARK que possibilita contas de privacidade, transações confidenciais e interações anônimas com contratos inteligentes.

O Railgun é um protocolo DeFi de privacidade construído sobre blockchains EVM que utiliza provas de conhecimento zero do tipo zk-SNARK para ocultar endereços de usuários, saldos de ativos, valores de transações e atividade on-chain, tudo isso mantendo a composabilidade com protocolos do ecossistema, como Ethereum, Arbitrum e BNB Chain. Diferentemente das moedas de privacidade tradicionais ou dos mixers, o Railgun não depende de uma blockchain independente; em vez disso, permite transações privadas e interações anônimas com contratos inteligentes diretamente na cadeia nativa.