No dia do eth_proofs, @drakefjustin validou ao vivo a prova do Pico ZKVM da @brevis_zk com o cliente zklighthouse — finalizando blocos diretamente sem a necessidade de reexecutar transações, e exclamou que a era Gigagas ETH está chegando. Sem dúvida, a Brevis foi mais uma vez escolhida pela Fundação Ethereum. Mas o que a Brevis está realmente planejando? Revisei o último white paper do ProverNet que eles publicaram, juntamente com a demonstração do Demo, e percebi que realmente é diferente de outras soluções zk: 1) Em geral, o mercado de provas ZK segue um modelo de fornecedor único, mas a Brevis encontrou um problema embaraçoso em ambientes de produção: por exemplo, o processo de Rebate off-chain da @Uniswap precisa de uma solução de transparência fornecida por ZK, a taxa VIP da @PancakeSwap precisa de uma verificação de prova em menos de um segundo antes de cada transação, enquanto a @eulerfinance precisa processar em lote mais de 100 mil endereços para a distribuição de incentivos, o que exige uma certa capacidade de throughput. Seguindo a lógica normal, diferentes cenários de demanda exigem configurações de hardware, especificações de sistema de prova e direções de otimização completamente diferentes. Se for um único fornecedor, ou ele terá que fazer uma otimização profunda para demandas temporárias, ou terá que oferecer uma solução generalizada que não atende completamente. Assim, é evidente que é difícil satisfazer as exigências diferenciadas em cenários específicos; 2) A solução ProverNet que a Brevis está desenvolvendo é muito simples: construir um mercado bilateral, onde as partes aplicadoras apresentam suas demandas e Provers profissionais fazem lances para assumir os pedidos, ou seja, um mecanismo TODA (leilão duplo de representação real). Essa solução "marketizada" pode, naturalmente, lidar com vários tipos de provas heterogêneas ao mesmo tempo, permitindo que as partes aplicadoras com demandas específicas encontrem o Prover mais especializado para um serviço direcionado. Na verdade, isso pode ir ainda mais longe. Se houver tarefas mais complexas, diferentes Provers podem dividir as tarefas e colaborar, por exemplo, uma prova zkVM pode ser dividida em partes por A, comprimida por B, agregada por C e finalmente encapsulada por D. Em suma, a especialização e a divisão de tarefas podem atender a uma demanda de mercado mais diversificada. Acima de tudo. Na verdade, a lógica é muito simples: é uma mudança do pensamento de "vender pás" para "construir um mercado", movendo-se de um sistema de serviços de fornecedores puramente centralizados para um Marketplace descentralizado. A chamada era Gigagas ETH não precisa de um único serviço de ferramenta, mas sim de uma infraestrutura que possa coordenar todos os Provers da rede.