🧠Da 0 a ZK Concept Bites #3: TODA Nella Parte 8, abbiamo introdotto ProverNet, il marketplace decentralizzato di Brevis per la generazione di prove ZK. Al suo interno c'è un meccanismo d'asta chiamato TODA (Truthful Online Double Auction) che risolve un problema a cui la maggior parte delle persone non pensa: come coordinare un mercato in cui tutti cercano di ingannarsi a vicenda? Le aste tradizionali premiano la strategia. Se penso che tu offrirai $80, io offro $81 e mi prendo la differenza. Moltiplica questo tra molti acquirenti e venditori e ottieni inefficienza ovunque. Gli acquirenti pagano troppo per assicurarsi le offerte. I venditori sottovalutano per vincere il lavoro. Tutti stanno ottimizzando contro gli altri invece di dichiarare ciò di cui hanno realmente bisogno. TODA cambia tutto separando ciò che offri da ciò che paghi. Gli acquirenti presentano il loro massimo, i venditori presentano il loro vero costo, e il meccanismo trova abbinamenti ottimali e determina un "prezzo critico" di mercato basato su domanda e offerta. I vincitori pagano questo prezzo critico, non la loro offerta presentata. Se offro $100 ma il mercato si chiude a $80, pago $80. Non c'è vantaggio a offrire meno del mio vero valore perché rischia solo di perdere un lavoro che avrei vinto. Niente più indovinare. Dichiara semplicemente le tue reali preferenze e lascia che il meccanismo trovi il prezzo efficiente. 🔧Perché questo è importante per la prova ZK in particolare? Perché questo mercato è unicamente complesso. Alcuni carichi di lavoro necessitano di latenza sub-secondo, altri richiedono ore. Alcuni richiedono GPU, altri funzionano meglio su CPU. Un'asta tradizionale costringerebbe i partecipanti a strategizzare su tutte queste variabili. TODA consente alle applicazioni di specificare i requisiti, ai provers di riportare capacità e costi, e il meccanismo gestisce l'abbinamento senza che nessuno debba indovinare gli altri. La migliore strategia è non avere affatto strategia. ♟️ Leggi la Parte 8: