🧠Från 0 till ZK Konceptbitar #3: TODA I del 8 introducerade vi ProverNet, Brevis decentraliserade marknadsplats för ZK-bevisgenerering. I grunden finns en auktionsmekanism kallad TODA (Truthful Online Double Auction) som löser ett problem som de flesta inte tänker på: hur koordinerar man en marknad där alla försöker lura varandra? Traditionella auktioner belönar strategi. Om jag tror att du bjuder 80 dollar, bjuder jag 81 dollar och tar mellanskillnaden i fickan. Multiplicerar du detta på många köpare och säljare får du ineffektivitet överallt. Köpare betalar för mycket för att säkra bud. Säljare underprissätter för att vinna arbete. Alla optimerar mot varandra istället för att säga vad de faktiskt behöver. TODA ändrar detta genom att separera vad du bjuder från vad du betalar. Köpare anger sitt maxpris, säljare anger sin verkliga kostnad, och mekanismen hittar optimala matchningar och bestämmer ett marknadsrensande "kritiskt pris" baserat på utbud och efterfrågan. Vinnarna betalar detta avgörande pris, inte sitt inskickade bud. Om jag bjuder 100 men marknaden klarar 80 dollar, betalar jag 80. Det finns ingen fördel med att bjuda lägre än mitt verkliga värde eftersom det bara riskerar att förlora ett jobb jag annars skulle ha vunnit. Inga fler gissningar. Ange bara dina verkliga preferenser och låt mekanismen hitta det effektiva priset. 🔧Varför är detta viktigt för ZK-bevis specifikt? För att denna marknad är unikt komplex. Vissa arbetsbelastningar kräver latens under en sekund, andra tar timmar. Vissa kräver GPU:er, andra fungerar bättre på CPU:er. En traditionell auktion skulle tvinga deltagarna att strategisera över alla dessa variabler. TODA låter applikationer specificera krav, provers rapporterar kapacitet och kostnader, och mekanismen hanterar matchningen utan att någon behöver gissa ut någon annan. Den bästa strategin är ingen strategi alls. ♟️ Läs del 8: