🧠Від 0 до ZK Concept Bites #3: TODA У Частині 8 ми представили ProverNet — децентралізований маркетплейс Brevis для генерації ZK proof. У своїй основі лежить аукціонний механізм під назвою TODA (Truthful Online Double Auction), який вирішує проблему, про яку більшість людей не замислюються: як координувати ринок, де всі намагаються обдурити один одного? Традиційна стратегія винагороди на аукціонах. Якщо я думаю, що ти зробиш ставку $80, я ставлю $81 і забираю різницю в кишеню. Помножте це на багатьох покупців і продавців — і отримаєте неефективність скрізь. Покупці переплачують, щоб отримати пропозиції. Продавці занижують ціну, щоб виграти роботу. Усі налаштовуються на один одного, замість того щоб вказувати, що їм насправді потрібно. TODA змінює це, розділяючи вашу ставку від того, що ви платите. Покупці подають свою максимальну ціну, продавці — справжню вартість, а механізм знаходить оптимальні відповідності та визначає «критичну ціну» для очищення ринку на основі попиту і пропозиції. Переможці платять цю критичну ціну, а не свою заявку. Якщо я ставлю $100, але ринок проходить на $80, я плачу $80. Немає жодної переваги в ставках нижче моєї справжньої вартості, бо це лише ризикує втратити роботу, яку я міг би виграти. Більше ніяких здогадок. Просто висловіть свої реальні вподобання і дайте механізму знайти вигідну ціну. 🔧Чому це важливо саме для доведення ZK? Тому що цей ринок унікально складний. Деякі навантаження потребують затримки менше секунди, інші — години. Деякі потребують GPU, інші краще працюють на процесорах. Традиційний аукціон змусив би учасників продумати стратегію за всіма цими змінними. TODA дозволяє додаткам визначати вимоги, перевірникам звітувати про місткість і витрати, а механізм обробляє відповідність без необхідності перевершувати інших. Найкраща стратегія — це взагалі відсутність стратегії. ♟️ Прочитайте Частину 8: