🧠Od 0 do ZK Concept Bites #3: TODA W Części 8 wprowadziliśmy ProverNet, zdecentralizowany rynek Brevis do generowania dowodów ZK. U jego podstaw leży mechanizm aukcyjny zwany TODA (Truthful Online Double Auction), który rozwiązuje problem, o którym większość ludzi nie myśli: jak skoordynować rynek, na którym wszyscy próbują oszukiwać siebie nawzajem? Tradycyjne aukcje nagradzają strategię. Jeśli myślę, że zaoferujesz 80 dolarów, ja oferuję 81 i zgarnę różnicę. Pomnóż to przez wielu kupujących i sprzedających, a otrzymasz nieefektywność wszędzie. Kupujący przepłacają, aby zabezpieczyć oferty. Sprzedający zaniżają ceny, aby zdobyć zlecenia. Wszyscy optymalizują się nawzajem zamiast określać, czego naprawdę potrzebują. TODA zmienia to, oddzielając to, co oferujesz, od tego, co płacisz. Kupujący składają swoje maksymalne oferty, sprzedający podają swoje rzeczywiste koszty, a mechanizm znajduje optymalne dopasowania i określa "krytyczną cenę" rynkową na podstawie podaży i popytu. Zwycięzcy płacą tę krytyczną cenę, a nie swoją złożoną ofertę. Jeśli zaoferuję 100 dolarów, ale rynek zamyka się na 80 dolarach, płacę 80 dolarów. Nie ma korzyści z oferowania mniej niż moja rzeczywista wartość, ponieważ tylko ryzykuję utratę pracy, którą bym wygrał. Koniec z zgadywaniem. Po prostu określ swoje prawdziwe preferencje i pozwól mechanizmowi znaleźć efektywną cenę. 🔧Dlaczego to ma znaczenie dla dowodzenia ZK w szczególności? Ponieważ ten rynek jest wyjątkowo złożony. Niektóre obciążenia wymagają opóźnienia poniżej sekundy, inne zajmują godziny. Niektóre wymagają GPU, inne działają lepiej na CPU. Tradycyjna aukcja zmusiłaby uczestników do strategizowania w oparciu o wszystkie te zmienne. TODA pozwala aplikacjom określać wymagania, proverom zgłaszać pojemność i koszty, a mechanizm zajmuje się dopasowaniem bez potrzeby, aby ktokolwiek musiał zgadywać. Najlepsza strategia to brak strategii. ♟️ Przeczytaj Część 8: