Brevis lança o whitepaper da ProverNet: o primeiro marketplace descentralizado para geração de provas zero-knowledge

Source: Brevis

A Brevis publicou hoje o whitepaper da ProverNet, introduzindo sua arquitetura de marketplace descentralizado para a geração de provas zero-knowledge, derivada de testes reais em um ambiente de produção de protocolos multi-chain. Este sistema aborda uma limitação central nas infraestruturas de prova existentes: a incapacidade de atender efetivamente a cargas de trabalho computacionais heterogêneas que exigem hardware, sistemas de prova e métodos de otimização diferentes.

A ProverNet encara a geração de provas como um mercado de dois lados, onde as aplicações enviam solicitações específicas e proveres especializados fazem lances para atender a essas necessidades. O mercado opera através de um mecanismo de Truthful Online Double Auction (TODA), projetado para lidar com múltiplos tipos de provas simultaneamente, garantindo lances honestos e a alocação ideal de recursos. A ProverNet planeja o lançamento até 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 usuários, abrangendo protocolos como PancakeSwap, Uniswap, Euler, Linea e MetaMask, facilitando 224 milhões de dólares em distribuição de recompensas trustless. Essas implementações revelaram de forma proeminente a diversidade do trabalho de prova, tornando difícil para uma arquitetura de fornecedor único atender efetivamente a todos os casos.

O sistema de desconto de taxas VIP da PancakeSwap requer a geração de provas em menos de um segundo 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 do ecossistema 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 cofundador da Brevis, afirmou: "Os sistemas de prova existentes sã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 vem da nossa observação de que as aplicações exigem fundamentalmente abordagens de prova diferentes. Um mercado onde proveres especializados competem é mais eficiente do que qualquer operador único tentando atender a todos os casos de uso."

Arquitetura de mercado e mecanismo TODA

A arquitetura da ProverNet trata diferentes tipos de provas como mercadorias diferentes em um 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 a cada rodada, combinando solicitações heterogêneas 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 na suposição de bens homogêneos, enquanto o TODA é capaz de lidar com múltiplos tipos de provas simultaneamente. Tarefas de prova complexas são decompostas em subtarefas, que são executadas colaborativamente por diferentes proveres.

Por exemplo, uma prova zkVM pode envolver o chunking em um prover, a compressão em outro, a agregação em um terceiro e, finalmente, a validação do empacotamento em um quarto sistema especializado.

O TODA garante várias propriedades econômicas:

Veracidade (a estratégia ideal é fazer lances honestos)

Equilíbrio orçamentário (as taxas coletadas excedem as taxas pagas)

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

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

Este mercado roda na Brevis Chain, uma arquitetura de Rollup dedicada projetada especificamente para a coordenação de leilões. Esta arquitetura isola o throughput do mercado da congestão 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 atender a diferentes necessidades computacionais.

A Pico zkVM adota uma arquitetura "core geral + coprocessador de alto desempenho", onde um core ultra-eficiente é conectado a um acelerador criptográfico dedicado, permitindo que os programas executem uma máquina virtual estável enquanto se 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 taxa 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 usa um cluster GPU 64×RTX 5090 e alcança provas em tempo real com um custo de hardware 50% menor em comparação com o zkVM líder de mercado anterior.

O coprocessador de dados ZK permite que smart contract acessem 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 registro centralizado).

Essas integrações demonstram os requisitos de prova intensivos em dados que diferem da verificação de computação de uso geral.

Juntos, esses sistemas estabelecem a viabilidade econômica da verificação criptográfica em tempo real na camada fundamental, enquanto atendem aos 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 de uma infraestrutura de fornecedor único de provas para a alocação de recursos orientada pelo mercado. As redes de proveres 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 sua capacidade de atender eficientemente a demandas diversas.

O modelo de leilão de mercado permite que as equipes de proveres 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 precisar construir uma infraestrutura genérica. As aplicações podem então se beneficiar de preços competitivos e garantias de serviço sem estarem sujeitas ao vendor lock-in.

Para os desenvolvedores, isso elimina o dilema entre construir uma infraestrutura de prova personalizada (cara e demorada) e confiar em serviços centralizados (introduzindo suposições de confiança), pois 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 é um conteúdo contribuído e não representa as opiniões da BlockBeats.