🧠Od 0 po ZK Concept Bites #3: TODA V části 8 jsme představili ProverNet, decentralizované tržiště Brevisu pro generování důkazů ZK. Jádrem je aukční mechanismus nazvaný TODA (Truthful Online Double Auction), který řeší problém, na který většina lidí nemyslí: jak koordinovat trh, kde se všichni snaží navzájem manipulovat? Tradiční aukce odměňují strategii. Když si myslím, že nabídneš 80 dolarů, přihodím 81 a rozdíl si nechám do kapsy. Když to vynásobíte mezi mnoha kupujícími a prodávajícími, dostanete neefektivitu všude. Kupující přeplatí, aby získali nabídky. Prodávající podceňují, aby získali zakázku. Všichni optimalizují proti ostatním místo toho, aby řekli, co skutečně potřebují. TODA to mění tím, že odděluje, co nabídnete, od toho, co zaplatíte. Kupující odevzdávají své maximum, prodávající svou skutečnou cenu a mechanismus najde optimální shody a určí "kritickou cenu" na základě nabídky a poptávky. Vítězové platí tuto klíčovou cenu, nikoli svou podané nabídku. Pokud nabídnu 100 dolarů, ale trh se vyčistí na 80, zaplatím 80 dolarů. Není výhoda přihazovat méně než má skutečná hodnota, protože tím jen riskuji ztrátu práce, kterou bych vyhrál. Už žádné hádání. Stačí uvést své skutečné preference a nechat mechanismus najít efektivní cenu. 🔧Proč je to důležité právě pro ZK důkazy? Protože tento trh je jedinečně složitý. Některé pracovní zátěže potřebují méně než sekundovou latenci, jiné trvají hodiny. Některé vyžadují GPU, jiné běží lépe na CPU. Tradiční aukce by donutila účastníky strategicky plánovat ve všech těchto proměnných. TODA umožňuje aplikacím specifikovat požadavky, ověřitelům hlásit kapacitu a náklady a mechanismus zajišťuje párování bez nutnosti předběhnout ostatní. Nejlepší strategie je žádná strategie. ♟️ Přečtěte si část 8: