🧠De la 0 la ZK Concept Bites #3: TODA În Partea 8, am introdus ProverNet, piața descentralizată a Brevis pentru generarea de dovezi ZK. În esență se află un mecanism de licitație numit TODA (Truthful Online Double Auction) care rezolvă o problemă la care majoritatea oamenilor nu se gândesc: cum coordonezi o piață în care toată lumea încearcă să se păcălească reciproc? Strategia tradițională de recompensă la licitații. Dacă cred că licitezi 80 de dolari, licitez 81 și iau diferența. Înmulțește acest lucru între mulți cumpărători și vânzători și obții ineficiență peste tot. Cumpărătorii plătesc prea mult pentru a obține oferte. Vânzătorii subestimează pentru a câștiga munca. Toată lumea optimizează față de ceilalți în loc să spună ce are cu adevărat nevoie. TODA schimbă acest lucru separând ceea ce licitezi de ceea ce plătești. Cumpărătorii își prezintă valoarea maximă, vânzătorii își prezintă costul real, iar mecanismul găsește potriviri optime și stabilește un "preț critic" care să compenseze piețea, bazat pe cerere și ofertă. Câștigătorii plătesc acest preț critic, nu oferta depusă. Dacă licitez 100 de dolari, dar piața scade la 80, plătesc 80 de dolari. Nu există niciun avantaj să licitez mai jos decât valoarea mea reală, pentru că riscă doar să pierd un job pe care l-aș fi câștigat. Fără presupuneri. Doar exprimă-ți preferințele reale și lasă mecanismul să găsească prețul mai eficient. 🔧De ce contează asta pentru demonstrația ZK în mod specific? Pentru că această piață este deosebit de complexă. Unele sarcini necesită latență sub secunde, altele durează ore întregi. Unele necesită plăci video, altele merg mai bine pe procesoare. O licitație tradițională i-ar forța pe participanți să elaboreze strategii pentru toate aceste variabile. TODA permite aplicațiilor să specifice cerințele, să raporteze capacitatea și costurile, iar mecanismul gestionează potrivirea fără ca nimeni să fie nevoie să ghicească pe altcineva. Cea mai bună strategie este să nu aibă deloc strategie. ♟️ Citește Partea 8: