🧠Von 0 zu ZK Konzept-Häppchen #3: TODA In Teil 8 haben wir ProverNet vorgestellt, den dezentralen Marktplatz von Brevis für die Generierung von ZK-Beweisen. Im Kern steht ein Auktionsmechanismus namens TODA (Truthful Online Double Auction), der ein Problem löst, über das die meisten Menschen nicht nachdenken: Wie koordiniert man einen Markt, in dem jeder versucht, den anderen auszutricksen? Traditionelle Auktionen belohnen Strategie. Wenn ich denke, dass du 80 $ bieten wirst, biete ich 81 $ und pocket die Differenz. Multipliziere dies über viele Käufer und Verkäufer, und du erhältst überall Ineffizienzen. Käufer zahlen zu viel, um Gebote zu sichern. Verkäufer setzen die Preise zu niedrig an, um Aufträge zu gewinnen. Jeder optimiert gegen jeden anderen, anstatt zu sagen, was er tatsächlich braucht. TODA ändert dies, indem es das, was du bietest, von dem trennt, was du zahlst. Käufer geben ihr Maximum an, Verkäufer ihren tatsächlichen Kosten, und der Mechanismus findet optimale Übereinstimmungen und bestimmt einen marktgerechten "kritischen Preis" basierend auf Angebot und Nachfrage. Gewinner zahlen diesen kritischen Preis, nicht ihr abgegebenes Gebot. Wenn ich 100 $ biete, der Markt aber bei 80 $ räumt, zahle ich 80 $. Es gibt keinen Vorteil, niedriger als meinen tatsächlichen Wert zu bieten, da ich nur das Risiko eingehe, einen Auftrag zu verlieren, den ich gewonnen hätte. Kein Raten mehr. Gib einfach deine echten Präferenzen an und lass den Mechanismus den effizienten Preis finden. 🔧Warum ist das speziell für ZK-Beweise wichtig? Weil dieser Markt einzigartig komplex ist. Einige Arbeitslasten benötigen eine Latenz von weniger als einer Sekunde, andere dauern Stunden. Einige erfordern GPUs, andere laufen besser auf CPUs. Eine traditionelle Auktion würde die Teilnehmer zwingen, über all diese Variablen zu strategisieren. TODA ermöglicht es Anwendungen, Anforderungen anzugeben, Beweiser Kapazitäten und Kosten zu melden, und der Mechanismus kümmert sich um die Zuordnung, ohne dass jemand den anderen überlisten muss. Die beste Strategie ist keine Strategie. ♟️ Lies Teil 8: