🧠Do 0 ao ZK Concept Bites #3: TODA Na Parte 8, apresentámos o ProverNet, o mercado descentralizado da Brevis para a geração de provas ZK. No seu núcleo está um mecanismo de leilão chamado TODA (Leilão Duplo Online Verdadeiro) que resolve um problema que a maioria das pessoas não pensa: como coordenar um mercado onde todos estão a tentar enganar uns aos outros? Leilões tradicionais recompensam a estratégia. Se eu pensar que você vai oferecer $80, eu ofereço $81 e fico com a diferença. Multiplique isso por muitos compradores e vendedores e você obtém ineficiência em todo o lado. Os compradores pagam a mais para garantir ofertas. Os vendedores subvalorizam para ganhar trabalho. Todos estão a otimizar contra todos os outros em vez de declarar o que realmente precisam. A TODA muda isso ao separar o que você oferece do que você paga. Os compradores submetem o seu máximo, os vendedores submetem o seu custo real, e o mecanismo encontra correspondências ótimas e determina um "preço crítico" de equilíbrio de mercado com base na oferta e na procura. Os vencedores pagam este preço crítico, não a sua oferta submetida. Se eu oferecer $100 mas o mercado se equilibra a $80, eu pago $80. Não há vantagem em oferecer menos do que o meu verdadeiro valor porque isso só arrisca perder um trabalho que eu teria ganho. Chega de adivinhações. Apenas declare as suas verdadeiras preferências e deixe o mecanismo encontrar o preço eficiente. 🔧Por que isso é importante para a prova ZK especificamente? Porque este mercado é singularmente complexo. Algumas cargas de trabalho precisam de latência sub-segundo, outras levam horas. Algumas requerem GPUs, outras funcionam melhor em CPUs. Um leilão tradicional forçaria os participantes a estrategizar em todas essas variáveis. A TODA permite que as aplicações especifiquem requisitos, os provers relatem capacidade e custos, e o mecanismo trata da correspondência sem que ninguém precise adivinhar os outros. A melhor estratégia é não ter estratégia nenhuma. ♟️ Leia a Parte 8: