O recém-lançado white paper da @brevis_zk explica o ProverNet – um mercado de computação verificável para trabalho de conhecimento zero. Três inovações principais a notar: 1️⃣ Suporte a provas heterogêneas: Ao contrário de sistemas de pilha única, o ProverNet lida com zkVMs, coprocessadores de dados, agregações recursivas e pipelines de múltiplas etapas, permitindo cargas de trabalho diversas em um único ecossistema. 2️⃣ Leilão Duplo Online Honesto (TODA): Solicitantes e provadores fazem lances competitivos em um mercado sem permissão, garantindo preços honestos, equilíbrio orçamentário e correspondência de baixa latência entre oferta e demanda. 3️⃣ Camada de incentivo apoiada por token (BREV): Os trabalhos são pagos em BREV, os provadores apostam BREV para garantias de SLA, e os delegadores compartilham as recompensas — alinhando os incentivos econômicos com a entrega de serviços. Se a Brevis escalar como descrito, pode se tornar a infraestrutura para "prova como serviço" em DeFi, carteiras e cargas de trabalho híbridas. Muito ambicioso, na minha opinião. PS: @VitalikButerin retweetou uma postagem da Brevis mais cedo hoje, então estou esperando um aumento de interesse aqui ;)