🧠Van 0 naar ZK Concept Bites #3: TODA In Deel 8 hebben we ProverNet geïntroduceerd, de gedecentraliseerde marktplaats van Brevis voor ZK bewijs generatie. In de kern zit een veilingmechanisme genaamd TODA (Truthful Online Double Auction) dat een probleem oplost waar de meeste mensen niet aan denken: hoe coördineer je een markt waar iedereen elkaar probeert te bedotten? Traditionele veilingen belonen strategie. Als ik denk dat jij $80 biedt, bied ik $81 en steek het verschil in mijn zak. Vermenigvuldig dit over veel kopers en verkopers en je krijgt inefficiëntie overal. Kopers betalen te veel om biedingen veilig te stellen. Verkopers prijzen te laag om werk te winnen. Iedereen optimaliseert tegen iedereen in plaats van te zeggen wat ze daadwerkelijk nodig hebben. TODA verandert dit door wat je biedt te scheiden van wat je betaalt. Kopers dienen hun maximum in, verkopers dienen hun werkelijke kosten in, en het mechanisme vindt optimale overeenkomsten en bepaalt een marktclearing "kritische prijs" op basis van vraag en aanbod. Winnaars betalen deze kritische prijs, niet hun ingediende bod. Als ik $100 bied maar de markt sluit op $80, betaal ik $80. Er is geen voordeel aan lager bieden dan mijn werkelijke waarde, omdat het alleen het risico met zich meebrengt dat ik een baan verlies die ik anders had gewonnen. Geen meer gokken. Geef gewoon je echte voorkeuren aan en laat het mechanisme de efficiënte prijs vinden. 🔧Waarom is dit belangrijk voor ZK bewijs specifiek? Omdat deze markt uniek complex is. Sommige workloads hebben sub-seconde latentie nodig, andere duren uren. Sommige vereisen GPU's, andere draaien beter op CPU's. Een traditionele veiling zou deelnemers dwingen om over al deze variabelen te strategiseren. TODA laat applicaties vereisten specificeren, provers rapporteren capaciteit en kosten, en het mechanisme regelt de matching zonder dat iemand iemand anders hoeft te overtroeven. De beste strategie is helemaal geen strategie. ♟️ Lees Deel 8: