🧠0:sta ZK:n konseptipuremat #3: TODA Osassa 8 esittelimme ProverNetin, Brevisin hajautetun markkinapaikan ZK-todisteiden generointiin. Sen ytimessä on huutokauppamekanismi nimeltä TODA (Truthful Online Double Auction), joka ratkaisee ongelman, jota useimmat eivät ajattele: miten koordinoida markkina, jossa kaikki yrittävät huijata toisiaan? Perinteiset huutokaupat palkitsevat strategiaa. Jos luulen, että tarjoat 80 dollaria, tarjoan 81 dollaria ja otan erotuksen. Kerro tämä monien ostajien ja myyjien kesken, niin tehottomuus on kaikkialla. Ostajat maksavat liikaa saadakseen tarjoukset. Myyjät aliarvioivat saadakseen töitä. Kaikki optimoivat toisiaan vastaan sen sijaan, että sanoisivat, mitä oikeasti tarvitsevat. TODA muuttaa tämän erottamalla tarjouksesi maksamastasi. Ostajat jättävät maksiminsa, myyjät ilmoittavat todelliset kustannuksensa, ja mekanismi löytää optimaaliset osumatiedot sekä määrittää markkinoiden selvityksen "kriittisen hinnan" kysynnän ja tarjonnan perusteella. Voittajat maksavat tämän kriittisen hinnan, eivät lähettämänsä tarjouksen. Jos tarjoan 100 dollaria, mutta markkinat selkeytyvät 80 dollarista, maksan 80 dollaria. Ei ole mitään etua tarjota alempana kuin todellinen arvoni, koska se vain riskeeraa työpaikan, jonka olisin voittanut. Ei enää arvailua. Kerro vain todelliset mieltymyksesi ja anna mekanismin löytää tehokas hinta. 🔧Miksi tämä on tärkeää erityisesti ZK:n todistamiselle? Koska tämä markkina on ainutlaatuisen monimutkainen. Jotkut työkuormat vaativat alle sekunnin viiveen, toiset vievät tunteja. Jotkut vaativat GPU:ita, toiset toimivat paremmin prosessoreilla. Perinteinen huutokauppa pakottaisi osallistujat suunnittelemaan strategioita kaikkien näiden muuttujien välillä. TODA antaa sovellusten määritellä vaatimukset, todistajat raportoivat kapasiteetin ja kustannukset, ja mekanismi hoitaa vastaavuuden ilman, että kukaan tarvitsee arvailla muita enemmän. Paras strategia on olla lainkaan ilman strategiaa. ♟️ Lue osa 8: