🧠Fra 0 til ZK Konseptbiter #3: TODA I del 8 introduserte vi ProverNet, Brevis' desentraliserte markedsplass for ZK-bevisgenerering. I kjernen finnes en auksjonsmekanisme kalt TODA (Truthful Online Double Auction) som løser et problem de fleste ikke tenker på: hvordan koordinerer man et marked der alle prøver å lure hverandre? Tradisjonelle auksjoner belønner strategi. Hvis jeg tror du byr 80 dollar, byr jeg 81 dollar og tar differansen. Ganger du dette på mange kjøpere og selgere, får du ineffektivitet overalt. Kjøpere betaler for mye for å sikre bud. Selgere underpriser for å vinne arbeid. Alle optimaliserer mot hverandre i stedet for å si hva de faktisk trenger. TODA endrer dette ved å skille det du byr fra det du betaler. Kjøpere leverer sitt maksimum, selgere oppgir sin reelle kostnad, og mekanismen finner optimale matcher og fastsetter en markedsrensende «kritisk pris» basert på tilbud og etterspørsel. Vinnerne betaler denne viktige prisen, ikke sitt innsendte bud. Hvis jeg byr 100 dollar, men markedet blir 80, betaler jeg 80 dollar. Det er ingen fordel å by lavere enn min reelle verdi, fordi det bare risikerer å miste en jobb jeg ellers ville vunnet. Ikke mer gjetting. Bare oppgi dine reelle preferanser og la mekanismen finne den effektive prisen. 🔧Hvorfor er dette viktig for ZK-bevis spesifikt? Fordi dette markedet er unikt komplekst. Noen arbeidsbelastninger krever latens på under et sekund, andre tar timer. Noen krever GPU-er, andre kjører bedre på CPU-er. En tradisjonell auksjon vil tvinge deltakerne til å legge strategier på tvers av alle disse variablene. TODA lar applikasjoner spesifisere krav, prøvere rapporterer kapasitet og kostnader, og mekanismen håndterer matching uten at noen trenger å overgå andre. Den beste strategien er ingen strategi i det hele tatt. ♟️ Les Del 8: