🧠De 0 a ZK Concept Bites #3: TODA Na Parte 8, apresentamos o ProverNet, o mercado descentralizado da Brevis para geração de provas ZK. No seu núcleo está um mecanismo de leilão chamado TODA (Truthful Online Double Auction) que resolve um problema que a maioria das pessoas não pensa: como coordenar um mercado onde todos tentam manipular uns aos outros? Leilões tradicionais oferecem estratégia de recompensa. Se acho que você vai dar $80, eu dou $81 e fico com a diferença. Multiplique isso entre muitos compradores e vendedores e você tem ineficiência em todos os lugares. Compradores pagam a mais para garantir lances. Vendedores subestimam para ganhar trabalho. Todo mundo está otimizando contra os outros em vez de dizer o que realmente precisa. A TODA muda isso separando o que você lance do que você paga. Os compradores apresentam seu máximo, os vendedores apresentam seu custo real, e o mecanismo encontra correspondências ótimas e determina um "preço crítico" que compensa o mercado com base na oferta e demanda. Os vencedores pagam esse preço crítico, não a proposta submetida por eles. Se eu der $100 mas o mercado baixar em $80, eu pago $80. Não há vantagem em dar lances abaixo do meu valor real porque isso só corre o risco de perder um emprego que eu teria ganhado. Chega de chutes. Basta informar suas preferências reais e deixar o mecanismo encontrar o preço mais eficiente. 🔧Por que isso importa especificamente para a prova ZK? Porque esse mercado é singularmente complexo. Algumas cargas de trabalho precisam de latência inferior a um segundo, outras levam horas. Algumas exigem GPUs, outras rodam melhor em CPUs. Um leilão tradicional forçaria os participantes a traçar estratégias para todas essas variáveis. O TODA permite que as aplicações especifiquem requisitos, avaliadores reportem capacidade e custos, e o mecanismo cuida do matching sem que ninguém precise adivinhar mais ninguém. A melhor estratégia é não ter nenhuma estratégia. ♟️ Leia a Parte 8: