Brevis lança Whitepaper da ProverNet: O primeiro marketplace descentralizado de geração de provas de conhecimento zero

Fonte: Brevis

A Brevis publicou hoje o Whitepaper da ProverNet, apresentando a sua arquitetura de marketplace descentralizado para a geração de provas de conhecimento zero, desenvolvida a partir de testes reais num ambiente de produção de protocolos multi-chain. Este sistema resolve uma limitação central na infraestrutura de provas existente: a incapacidade de servir eficazmente cargas de trabalho computacionais heterogéneas que exigem hardware, sistemas de prova e métodos de otimização distintos.

A ProverNet encara a geração de provas como um mercado de dois lados, onde as aplicações submetem pedidos específicos e provers especializados licitam para satisfazer essas necessidades. O mercado opera através de um mecanismo de Truthful Online Double Auction (TODA), concebido para lidar com múltiplos tipos de prova simultaneamente, garantindo licitações honestas e uma alocação de recursos ideal. A ProverNet planeia o seu lançamento para o final de 2025.

A Escala de Produção Revela Limitações de Infraestrutura

A infraestrutura atual da Brevis gerou mais de 124 milhões de provas para 98.000 utilizadores, abrangendo protocolos como PancakeSwap, Uniswap, Euler, Linea e MetaMask, facilitando a distribuição de 224 milhões de dólares em recompensas trustless. Estas implementações revelaram a diversidade do trabalho de prova, tornando difícil para uma arquitetura de fornecedor único servir eficazmente todas as necessidades.

O sistema de desconto de taxas VIP da PancakeSwap exige a geração de provas em sub-segundos para traders individuais antes de cada negociação para verificar a elegibilidade. A distribuição de incentivos da Euler processa 100.000 endereços a cada quatro horas, priorizando o throughput em vez da latência. A atividade no ecossistema da Linea gerou 12,1 milhões de provas para o cálculo de recompensas multi-protocolo envolvendo 61.902 endereços. Cada carga de trabalho requer configurações de hardware, sistemas de prova (SNARKs vs. STARKs) e características de desempenho diferentes.

Michael, CEO e Co-Fundador da Brevis, afirmou: "Os sistemas de prova existentes estão otimizados para casos de uso específicos, como certos Rollups, máquinas virtuais únicas ou tipos de carga de trabalho homogéneos. A criação da ProverNet surge da nossa observação de que as aplicações exigem fundamentalmente abordagens de prova diferentes. Um mercado onde provers especializados competem é mais eficiente do que qualquer operador único a tentar servir todos os casos de uso."

Arquitetura de Mercado e Mecanismo TODA

A arquitetura da ProverNet trata diferentes tipos de prova como mercadorias distintas num leilão. As aplicações especificam os requisitos de prova, incluindo tipos de processamento (execução zkVM, provas de dados, agregação recursiva), prazos, taxas máximas e parâmetros de qualidade. O mecanismo TODA calcula a alocação ideal em cada ronda, correspondendo pedidos heterogéneos com capacidades de prova adequadas.

Este mecanismo aborda um desafio único do mercado de geração de provas. Os mecanismos de leilão tradicionais baseiam-se no pressuposto de bens homogéneos, enquanto o TODA consegue lidar com múltiplos tipos de prova simultaneamente. Tarefas de prova complexas são decompostas em subtarefas, que são executadas colaborativamente por diferentes provers.

Por exemplo, uma prova zkVM pode envolver a fragmentação num prover, a compressão noutro, a agregação num terceiro e, finalmente, a validação do empacotamento num quarto sistema especializado.

O TODA garante várias propriedades económicas:

Veracidade (a estratégia ideal é licitar honestamente)

Equilíbrio orçamental (as taxas cobradas excedem as taxas pagas)

Racionalidade individual (nenhum participante aceita tarefas não lucrativas)

Otimidade assintótica (à medida que a oferta de provers cresce, a alocação aproxima-se da eficiência máxima).

Este mercado funciona na Brevis Chain, uma arquitetura Rollup dedicada concebida especificamente para a coordenação de leilões. Esta arquitetura isola o throughput do mercado do congestionamento da rede Layer 1 ou Layer 2, mantendo a transparência e a participação sem permissão. As provas geradas através da ProverNet podem ser validadas contra qualquer blockchain de destino.

Pico zkVM e Prova em Tempo Real

A ProverNet baseia-se na infraestrutura de prova existente da Brevis, que inclui dois produtos complementares para servir diferentes necessidades computacionais.

A Pico zkVM adota uma arquitetura de "core geral + coprocessador de alto desempenho", onde um core ultra-eficiente está ligado a um acelerador criptográfico dedicado, permitindo que os programas executem uma máquina virtual estável enquanto beneficiam de otimizações de hardware direcionadas.

A Pico Prism alcançou recentemente 99,6% de cobertura de prova de um bloco Ethereum com um limite de gas de 45 milhões, completando 96,8% das provas em 12 segundos, com um tempo médio de prova de 6,9 segundos. O sistema utiliza um cluster de 64×RTX 5090 GPU e alcança provas em tempo real a um custo de hardware 50% inferior em comparação com a zkVM líder de mercado anterior.

O ZK Data Coprocessor permite que os smart contract acedam a dados históricos da blockchain e realizem cálculos verificáveis off-chain.

As aplicações suportadas por este sistema incluem a taxa VIP da PancakeSwap (verificação pré-transação de 30 dias de volume de negociação), a distribuição de recompensas trustless da Euler (processamento de saldos ponderados pelo tempo de milhares de endereços) e os descontos de rota da Uniswap v4 (verificação da elegibilidade da transação sem um livro-razão centralizado).

Estas integrações demonstram os requisitos de prova intensivos em dados que diferem da verificação de computação de propósito geral.

Juntos, estes sistemas estabelecem a viabilidade económica da verificação criptográfica em tempo real na camada fundamental, servindo simultaneamente os tipos de carga de trabalho heterogéneos que incentivam a arquitetura de mercado da ProverNet.

Impacto no Ecossistema ZK

A ProverNet representa uma mudança da infraestrutura de um único fornecedor de provas para a alocação de recursos orientada pelo mercado. As redes de provers existentes são geralmente otimizadas para casos de uso restritos (por exemplo, provas de Rollup específicas, máquinas virtuais específicas ou tipos de trabalho homogéneos), limitando a sua capacidade de servir eficientemente exigências diversas.

O modelo de leilão de mercado permite que as equipas de prova se concentrem em objetivos de otimização específicos (por exemplo, processamento em lote baseado em STARK, provas SNARK de baixa latência, operações criptográficas específicas) sem necessidade de construir infraestrutura genérica. As aplicações podem então beneficiar de preços competitivos e garantias de serviço sem estarem sujeitas ao vendor lock-in.

Para os programadores, isto elimina o dilema de equilibrar a construção de infraestrutura de prova personalizada (cara e demorada) e a dependência de serviços centralizados (introduzindo pressupostos de confiança), uma vez que a verificação criptográfica garante a correção do cálculo enquanto a concorrência de mercado garante a eficiência de preços e a disponibilidade de recursos.

Mais Informações

O whitepaper completo da ProverNet pode ser encontrado no seguinte endereço: http://www.brevis.network/whitepaper/provernet.pdf

Uma visão técnica concisa foi publicada no blog da Brevis: https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/

Este artigo é conteúdo contribuído e não representa as opiniões da BlockBeats.