A Brevis lançou o Whitepaper da ProverNet, detalhando o primeiro mercado descentralizado de geração de provas de conhecimento zero.
BlockbeatsFonte: Brevis
A Brevis lançou hoje o Whitepaper do ProverNet, apresentando a sua arquitetura de mercado descentralizada para a geração de provas de conhecimento zero, derivada de testes em ambiente real de produção de protocolos multichain. Este sistema aborda uma limitação fundamental na infraestrutura de provas existente: a incapacidade de atender eficazmente a cargas de trabalho computacionais heterogéneas que exigem hardware, sistemas de prova e métodos de otimização diferentes.
A ProverNet vê a geração de provas como um mercado de duas faces, onde as aplicações enviam pedidos específicos e os fornecedores de provas especializados oferecem lances para satisfazer essas necessidades. O mercado opera através de um mecanismo de Leilão Duplo Online Honesto, concebido para lidar com múltiplos tipos de provas em simultâneo, garantindo licitações honestas e alocação otimizada de recursos. A ProverNet prevê ser lançada até ao final de 2025.
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 sem confiança. Estas implementações revelaram de forma notável a diversidade do trabalho de comprovação, tornando um desafio para uma arquitetura de fornecedor único atender a todas as necessidades de forma eficaz.
O sistema de descontos VIP da PancakeSwap exige a geração de provas em menos de um segundo para cada trader antes de cada transação, de forma a verificar a elegibilidade. O sistema de distribuição de incentivos da Euler processa 100.000 endereços a cada quatro horas, dando prioridade à taxa de transferência em detrimento da latência. A atividade do ecossistema da Linea gerou 12,1 milhões de provas para o cálculo de recompensas multiprotocolo, 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 utilização específicos, como determinados Rollups, máquinas virtuais individuais ou tipos de carga de trabalho homogéneos. A ideia do ProverNet surgiu da nossa observação de que as aplicações exigem abordagens de prova fundamentalmente diferentes. Um mercado onde os provadores especializados competem é mais eficiente do que qualquer operador individual que tente atender a todos os casos de utilização."
A arquitetura do ProverNet trata diferentes tipos de provas como diferentes mercadorias num leilão. As aplicações especificam os requisitos de prova, incluindo os 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 ronda, combinando pedidos heterogéneos com capacidades de prova adequadas.
Este mecanismo aborda um desafio singular do mercado de geração de prova. Os mecanismos de leilão tradicionais baseiam-se na premissa de bens homogéneos, enquanto o TODA é capaz de lidar com múltiplos tipos de provas em simultâneo. As tarefas de prova complexas são decompostas em subtarefas, que são executadas colaborativamente por diferentes provadores.
Por exemplo, uma prova zkVM pode envolver o particionamento num provador, a compressão noutro, a agregação num terceiro e, finalmente, a validação do empacotamento num quarto sistema especializado.
A TODA garante diversas propriedades económicas:
Sinceridade (a estratégia ideal é licitar honestamente)
Saldo orçamental (taxas cobradas superiores às taxas pagas)
Racionalidade individual (nenhum participante aceita tarefas não rentáveis)
Otimalidade assintótica (à medida que a oferta de provadores aumenta, a alocação aproxima-se da eficiência máxima).
Este mercado opera na Brevis Chain, uma arquitetura Rollup dedicada, concebida especificamente para a coordenação de leilões. Esta arquitetura isola o fluxo de mercado da congestão da rede de Camada 1 ou Camada 2, mantendo a transparência e a participação sem permissão. As provas geradas pela ProverNet podem ser validadas em qualquer blockchain de destino.
O ProverNet baseia-se na infraestrutura de provas existente da Brevis, que inclui dois produtos complementares para satisfazer diferentes necessidades computacionais.
O Pico zkVM adota uma arquitetura de "núcleo geral + coprocessador de alto desempenho", onde um núcleo ultraeficiente é 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 específicas.
Recentemente, o Pico Prism alcançou uma cobertura de provas de 99,6% num bloco Ethereum com um limite de gás de 45 milhões, concluindo 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 GPUs RTX 5090 e realiza provas em tempo real com um custo de hardware 50% inferior em comparação com o zkVM, líder de mercado anterior.
O coprocessador de dados ZK permite que os contratos inteligentes acedam a dados históricos da blockchain e realizem cálculos verificáveis fora da cadeia.
As aplicações suportadas por este sistema incluem a taxa VIP do PancakeSwap (verificação pré-transação do volume de negociação dos últimos 30 dias), a distribuição de recompensas sem confiança do Euler (processamento de saldos ponderados pelo tempo de milhares de endereços) e os descontos de rota do Uniswap v4 (verificação da elegibilidade da transação sem um livro-razão centralizado).
Estas integrações demonstram os requisitos de prova que exigem um grande volume de dados e que diferem da verificação computacional de propósito geral.
Em conjunto, estes sistemas estabelecem a viabilidade económica da verificação criptográfica em tempo real na camada fundamental, ao mesmo tempo que atendem aos tipos de carga de trabalho heterogéneos que incentivam a arquitetura de mercado da ProverNet.
A ProverNet representa uma mudança de uma infraestrutura de um único fornecedor de provas para uma alocação de recursos orientada pelo mercado. As redes de provas existentes são geralmente otimizadas para casos de utilização específicos (por exemplo, provas Rollup específicas, máquinas virtuais específicas ou tipos de trabalho homogéneos), limitando a sua capacidade de satisfazer eficientemente diversas exigências.
O modelo de leilão de mercado permite que as equipas de provas 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 a necessidade de construir infraestruturas genéricas. Desta forma, as aplicações podem beneficiar de preços competitivos e garantias de serviço sem ficarem presas a um único fornecedor.
Para os programadores, isto elimina o dilema de equilibrar a construção de infraestruturas de provas personalizadas (cara e demorada) e a dependência de serviços centralizados (que introduzem pressupostos de confiança), uma vez que a verificação criptográfica garante a correção dos cálculos, enquanto a concorrência de mercado garante a eficiência de preços e a disponibilidade de recursos.
O whitepaper completo do ProverNet pode ser encontrado no seguinte endereço: http://www.brevis.network/whitepaper/provernet.pdf
Uma breve visão geral técnica foi publicada no blogue da Brevis: https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/
Este artigo é conteúdo de terceiros e não representa a opinião da BlockBeats.
Bem-vindo(a) à comunidade oficial do BlockBeats:
Grupo de assinaturas no Telegram: https://t.me/theblockbeats
Grupo de discussão no Telegram: https://t.me/BlockBeats_App
Conta oficial no Twitter: https://twitter.com/BlockBeatsAsia
Este conteúdo é apenas para fins informativos e educacionais e não constitui aconselhamento de investimento relacionado à BTCC. A BTCC envida todos os esforços, mas não pode garantir a veracidade, a precisão ou a originalidade do conteúdo acima.