Prova de Conhecimento Zero

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.

O Railgun é um protocolo DeFi de privacidade construído sobre blockchains EVM, que recorre a provas de conhecimento zero zk-SNARK para ocultar endereços de utilizadores, saldos de ativos, montantes de transações e atividade on-chain, mantendo a composabilidade com protocolos do ecossistema como Ethereum, Arbitrum e BNB Chain. Ao contrário das moedas de privacidade ou misturadores tradicionais, o Railgun não depende de uma blockchain autónoma; em vez disso, possibilita transações privadas e interações anónimas com contratos inteligentes diretamente na cadeia nativa.

A SP1 zkVM é uma máquina virtual de conhecimento zero de uso geral que permite aos programadores escrever qualquer programa em Rust e gerar provas ZK verificáveis. É especialmente adequada para computação entre cadeias, escalabilidade com rollup e computação verificável por IA. Por outro lado, a zkEVM concentra-se na geração de provas compatíveis com o ecossistema Ethereum, principalmente para negociação on-chain e verificação de contrato inteligente. Estas duas soluções diferem significativamente em programabilidade, eficiência de verificação, Hashrate descentralizado e integração no ecossistema, permitindo aos programadores escolher a infraestrutura ZK ideal com base nas necessidades específicas das suas aplicações.

SP1 zkVM é uma máquina virtual de conhecimento zero (zkVM) de uso geral, desenvolvida pela Succinct, que permite aos programadores escrever programas em Rust e gerar automaticamente provas ZK. O seu processo principal inclui: compilar programas Rust em instruções RISC-V, executá-los na zkVM para produzir um execution trace, converter o trace numa prova STARK, comprimi-la numa prova SNARK e, por fim, submetê-la para verificação on-chain.

A Prover Network da Succinct é um mercado descentralizado de hashrate para provas de conhecimento zero (ZK Proof), que liga solicitadores de Proof a nodos Prover globais. Os programadores submetem código de programa e dados de entrada para iniciar pedidos de Proof. O Auctioneer da rede atribui tarefas com base no custo, velocidade e reputação dos nodos. De seguida, os nodos Prover executam o programa no SP1 zkVM, geram a ZK Proof e submetem-na para verificação e liquidação on-chain.

A Succinct é uma rede descentralizada de zero-knowledge proof (ZK Proof) construída sobre a Ethereum, oferecendo aos programadores uma infraestrutura programável e de baixa barreira para a geração de Provas. Com o seu componente principal, o SP1 zkVM, os programadores podem escrever programas verificáveis diretamente em linguagens de uso geral, como Rust, eliminando a necessidade de desenhar manualmente circuitos ZK complexos. A Succinct Prover Network conecta pedidos de Prova a recursos globais de hashrate através de um mercado aberto de provadores, facilitando a geração, verificação e liquidação de Provas.