🧠De 0 à ZK Concept Bites #3 : TODA Dans la Partie 8, nous avons introduit ProverNet, le marché décentralisé de Brevis pour la génération de preuves ZK. Au cœur de ce système se trouve un mécanisme d'enchères appelé TODA (Truthful Online Double Auction) qui résout un problème auquel la plupart des gens ne pensent pas : comment coordonner un marché où chacun essaie de tromper les autres ? Les enchères traditionnelles récompensent la stratégie. Si je pense que vous allez enchérir 80 $, j'enchéris 81 $ et je garde la différence. Multipliez cela par de nombreux acheteurs et vendeurs et vous obtenez de l'inefficacité partout. Les acheteurs paient trop pour sécuriser des enchères. Les vendeurs sous-évaluent pour gagner du travail. Chacun optimise par rapport aux autres au lieu d'indiquer ce dont il a réellement besoin. TODA change cela en séparant ce que vous enchérissez de ce que vous payez. Les acheteurs soumettent leur maximum, les vendeurs soumettent leur coût réel, et le mécanisme trouve des correspondances optimales et détermine un "prix critique" de marché basé sur l'offre et la demande. Les gagnants paient ce prix critique, pas leur enchère soumise. Si j'enchéris 100 $ mais que le marché se stabilise à 80 $, je paie 80 $. Il n'y a aucun avantage à enchérir moins que ma vraie valeur car cela ne fait que risquer de perdre un travail que j'aurais gagné. Plus de devinettes. Indiquez simplement vos véritables préférences et laissez le mécanisme trouver le prix efficace. 🔧Pourquoi cela importe-t-il spécifiquement pour la preuve ZK ? Parce que ce marché est particulièrement complexe. Certaines charges de travail nécessitent une latence inférieure à une seconde, d'autres prennent des heures. Certaines nécessitent des GPU, d'autres fonctionnent mieux sur des CPU. Une enchère traditionnelle forcerait les participants à élaborer des stratégies sur toutes ces variables. TODA permet aux applications de spécifier des exigences, aux prouveurs de rapporter leur capacité et leurs coûts, et le mécanisme gère la correspondance sans que quiconque ait besoin de deviner les autres. La meilleure stratégie est l'absence de stratégie. ♟️ Lisez la Partie 8 :