Prova de Conhecimento Zero

Brevis é uma plataforma de computação verificável baseada em Zero-Knowledge Proofs (ZK), designada como a "Infinite Compute Layer" para Web3. O método central passa por executar cálculos intensivos em recursos off-chain, permitindo à Blockchain validar apenas uma prova sucinta.

Pico zkVM é a máquina virtual modular de Zero-Knowledge (zkVM) open-source da Brevis (BREV). Permite aos programadores escrever qualquer lógica computacional em Rust e criar uma Zero-Knowledge Proof (ZK) para confirmar que o cálculo foi realizado corretamente.

O coprocessador de dados ZK resolve a limitação dos contratos inteligentes em aceder a dados históricos, ao possibilitar a obtenção off-chain de dados históricos ou entre cadeias, diretamente dos nodos de arquivo. Realiza os cálculos necessários e devolve uma prova de conhecimento zero que valida tanto o resultado como a autenticidade e precisão dos dados. Esta prova pode ser verificada pelo contrato on-chain em milissegundos. O fluxo de dados decorre em quatro fases: pedido da aplicação, computação off-chain, geração da prova ZK e verificação on-chain com receção do resultado, permitindo chegar a conclusões fiáveis sem necessidade de reproduzir todos os dados.

Os oracles introduzem sobretudo dados externos, off-chain, na blockchain, com a sua credibilidade a refletir-se nos nodos e nos incentivos económicos. Os co-processadores ZK, como o Brevis, dedicam-se à computação verificável de dados históricos já existentes on-chain, utilizando provas de conhecimento zero para permitir a validação direta dos resultados on-chain. Estas duas tecnologias posicionam-se em lados opostos do fluxo de dados da blockchain, assegurando papéis complementares quanto à direção dos dados, aos modelos de confiança e às capacidades computacionais. As suas fronteiras permanecem indefinidas; em situações reais, a adoção de abordagens híbridas colaborativas é comum.

O BREV é o token nativo da rede Brevis, permitindo três funções principais: pagamentos de taxas de prova, staking de Provador e governança do protocolo. A coChain opera como uma blockchain proof-of-stake com mecanismos de staking e slashing baseados em Ethereum. Os validadores submetem os resultados sob a forma de "propostas" à cadeia de pedidos, abrindo uma janela de contestação. Caso uma proposta incorreta seja contestada com sucesso através de prova de conhecimento zero, o staking associado é reduzido na Ethereum. Na ausência de contestação, o resultado é aceite automaticamente, eliminando o custo da prova.

A Manta Pacific e a Manta Atlantic distinguem-se pelos seus papéis funcionais: a Pacific é uma rede modular Layer 2 na Ethereum, especializada na implementação e escalabilidade de aplicações descentralizadas de conhecimento zero (ZK); a Atlantic é uma rede ZK Layer 1 na Polkadot, dedicada à infraestrutura de identidade de conformidade on-chain zkAddress e zkSBT. Ambas as cadeias integram o ecossistema da Manta Network e partilham o token de utilidade nativo MANTA, embora apresentem diferenças estruturais nos ecossistemas subjacentes, pilhas técnicas e grupos-alvo de utilizadores.

Manta Network (MANTA) é um ecossistema de blockchain modular concebido para aplicações de conhecimento zero (ZK), composto por Manta Pacific — uma rede modular de Layer 2 no ecossistema Ethereum — e Manta Atlantic, uma rede Layer 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 suportar aplicações descentralizadas, enquanto a Atlantic se especializa em identidade on-chain conforme, oferecendo infraestrutura de identidade de conhecimento zero programável através de zkSBT e zkAddress.

Universal Circuits é uma biblioteca de circuitos pré-construídos ZK-as-a-Service implantada na Manta Pacific: os programadores Solidity podem adicionar funcionalidade de conhecimento zero às suas dApps através de interfaces de contratos padrão, sem necessidade de 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 zkShuffle.

zkAddress e zkSBT são componentes centrais de identidade privada, desenvolvidos pela Manta Network na cadeia Manta Atlantic. O zkAddress oferece endereços de privacidade reutilizáveis do tipo UTXO, enquanto o zkSBT associa credenciais de conformidade a esse endereço com recurso a provas de conhecimento zero. Em conjunto, constituem a infraestrutura de identidade em conformidade na cadeia Atlantic, permitindo que aplicações Web3 verifiquem identidades sem divulgar os dados pessoais originais dos utilizadores.

A realização de pontes de ativos para a Manta Pacific (ou 'A ponte de ativos para a Manta Pacific') segue um processo repetível de bloqueio, cunhagem e mapeamento de saldos entre a mainnet Ethereum e a Manta Pacific — uma rede modular Layer 2 — através de uma ponte entre cadeias. Enquanto camada de execução da Manta Network no ecossistema Ethereum, a Manta Pacific possibilita a implementação e interação on-chain com ETH, ERC-20 e outros ativos. Para poderem utilizar as aplicações do ecossistema do lado Pacific, os utilizadores devem primeiro compreender como se aciona a ponte, como os estados do sistema se alteram internamente e como confirmar a chegada dos fundos.

O Zcash Orchard é o pool de transações protegidas de terceira geração na rede Zcash, baseado no sistema de prova de conhecimento zero Halo 2 para melhorar a eficiência, a escalabilidade e a capacidade de atualização de longo prazo das transações privadas. Em comparação com os seus antecessores, Sprout e Sapling, o Orchard reduz a dependência do trusted setup e otimiza os processos de geração e verificação de provas.

A Verifiable Finance constitui uma estrutura financeira on-chain que combina provas de conhecimento zero (ZK) com computação verificável. Visa sobretudo aumentar a eficiência na verificação de sistemas financeiros complexos, assegurando simultaneamente transparência e descentralização. Em oposição às finanças on-chain tradicionais, que se focam sobretudo na negociação de ativos e na gestão de liquidez, a Verifiable Finance coloca a verificabilidade da lógica financeira no centro das suas prioridades.

O mecanismo operacional central da Nockchain substitui as tradicionais computações hash de PoW por provas de conhecimento zero. Na Nockchain, os mineiros já não competem por blocos por meio de operações hash inúteis; em vez disso, geram provas verificáveis para participar no consenso da rede. A arquitetura da Nockchain inclui componentes como a NockVM, a NockApp, o Proofpower e os SNARK de Consenso Global, todos concebidos para formar uma rede de prova descentralizada que suporta IA, aplicações de privacidade e computação verificável.

A Nockchain é uma rede blockchain assente na Prova de trabalho de Conhecimento Zero (ZKPoW), cujo objetivo central é substituir os cálculos de hash infrutíferos da PoW tradicional pela geração de provas de conhecimento zero verificáveis e com valor prático (ZK proving). Ao contrário da Bitcoin, que depende da competição pela hashrate, a Nockchain orienta o poder computacional dos mineiros para a produção de provas de computação verificáveis, estabelecendo assim um modelo de «Prova de trabalho Útil».

O Railgun e o Tornado Cash são ambos protocolos de privacidade on-chain, mas diferem significativamente na sua filosofia de design e abordagem operacional. O Tornado Cash opera essencialmente como um misturador anónimo, recorrendo a pools de denominação fixa para quebrar a ligação entre os fundos. Em contraste, o Railgun é um protocolo DeFi privado baseado em zk-SNARK que disponibiliza contas de privacidade, transações confidenciais e interações anónimas com contratos inteligentes.