Brevis lança o whitepaper do ProverNet, detalhando o primeiro mercado descentralizado de geração de provas de conhecimento zero

Chainfeeds Resumo:

ProverNet será lançado oficialmente em breve, com mais detalhes de implementação e cronograma a serem anunciados separadamente.

Fonte do artigo:

Autor do artigo:

Brevis

Opinião:

Brevis: A arquitetura do ProverNet trata diferentes tipos de provas como diferentes mercadorias em um leilão. Os aplicativos especificam os requisitos de prova, incluindo tipo de processamento (execução zkVM, prova de dados, agregação recursiva), prazo, taxa máxima e parâmetros de qualidade. O mecanismo TODA calcula a alocação ideal a cada rodada, combinando solicitações heterogêneas com as capacidades de prova adequadas. Esse mecanismo resolve desafios únicos do mercado de geração de provas. Mecanismos de leilão tradicionais assumem homogeneidade dos produtos, enquanto o TODA consegue lidar com múltiplos tipos de provas simultaneamente. Tarefas de prova complexas são divididas em subtarefas, executadas em colaboração por diferentes provadores. Por exemplo, uma prova zkVM pode envolver a geração de blocos em um provador, compressão em outro, agregação em um terceiro e, por fim, encapsulamento da verificação final em um quarto sistema dedicado. O TODA garante várias propriedades econômicas: veracidade (a estratégia ótima é dar lances honestos); equilíbrio orçamentário (as taxas cobradas excedem os custos pagos); racionalidade individual (nenhum participante aceita tarefas não lucrativas) e ótima eficiência assintótica (à medida que a oferta de provadores cresce, a alocação se aproxima da máxima eficiência). O ProverNet é construído sobre a infraestrutura de provas existente da Brevis, que inclui dois produtos complementares para atender diferentes demandas computacionais. O Pico zkVM adota uma arquitetura de “núcleo universal + coprocessador de alto desempenho”, onde um núcleo minimalista e eficiente se conecta a aceleradores criptográficos dedicados, permitindo que programas rodem uma máquina virtual estável enquanto aproveitam otimizações de hardware direcionadas. O Pico Prism recentemente alcançou cobertura de prova para 99,6% dos blocos Ethereum com limite de gas de 45 milhões, completando 96,8% dessas provas em 12 segundos, com tempo médio de prova de 6,9 segundos. O sistema utiliza um cluster de 64×RTX 5090 GPUs, alcançando provas em tempo real com 50% menos custo de hardware em comparação ao zkVM mais eficiente do mercado. O coprocessador de dados ZK permite que contratos inteligentes acessem dados históricos da blockchain e executem cálculos off-chain verificáveis criptograficamente. Aplicações suportadas incluem a taxa VIP da PancakeSwap (verificando o volume de negociação de 30 dias antes da transação), distribuição de recompensas sem confiança da Euler (processando saldos ponderados pelo tempo de milhares de endereços) e o rebate de roteamento da Uniswap v4 (verificando elegibilidade de transações sem livro centralizado), entre outros. Essas integrações demonstram demandas de provas intensivas em dados, distintas da verificação de computação genérica. Esses sistemas juntos estabelecem a viabilidade econômica para validação criptográfica em tempo real em escala de camada base, ao mesmo tempo em que atendem aos tipos de cargas de trabalho heterogêneas que motivam a arquitetura de mercado do ProverNet. O ProverNet representa uma transição de infraestrutura de provedor único de provas para alocação de recursos baseada em demanda de mercado. Redes de provadores existentes geralmente são otimizadas para casos de uso restritos (por exemplo, provas de Rollup específicas, máquinas virtuais específicas ou tipos homogêneos de trabalho), limitando sua capacidade de atender demandas diversificadas de forma eficiente. O modelo de leilão de mercado permite que equipes de prova se concentrem em objetivos de otimização específicos (lotes baseados em STARK, provas SNARK de baixa latência, operações criptográficas específicas), sem a necessidade de construir infraestrutura genérica, enquanto os aplicativos obtêm preços competitivos e garantia de serviço, sem ficarem presos a fornecedores. Para desenvolvedores, isso elimina o dilema entre construir infraestrutura de prova personalizada (caro e demorado) e depender de serviços centralizados (introduzindo suposições de confiança), pois a validação criptográfica garante a correção dos cálculos, enquanto a competição de mercado assegura eficiência de preços e disponibilidade de capacidade.