🧠От 0 до ZK Концепция Байт #3: TODA В Части 8 мы представили ProverNet, децентрализованный рынок Brevis для генерации ZK доказательств. В его основе лежит механизм аукциона под названием TODA (Честный Онлайн Двойной Аукцион), который решает проблему, о которой большинство людей не задумывается: как координировать рынок, где все пытаются обмануть друг друга? Традиционные аукционы вознаграждают стратегию. Если я думаю, что вы предложите $80, я ставлю $81 и забираю разницу. Умножьте это на множество покупателей и продавцов, и вы получите неэффективность повсюду. Покупатели переплачивают, чтобы обеспечить ставки. Продавцы занижают цены, чтобы выиграть работу. Все оптимизируют свои действия против друг друга, вместо того чтобы заявить о том, что им действительно нужно. TODA меняет это, отделяя то, что вы ставите, от того, что вы платите. Покупатели подают свои максимумы, продавцы указывают свои истинные затраты, а механизм находит оптимальные совпадения и определяет рыночную "критическую цену" на основе спроса и предложения. Победители платят эту критическую цену, а не свою поданную ставку. Если я ставлю $100, но рынок очищается на уровне $80, я плачу $80. Нет никакого преимущества в том, чтобы ставить ниже своей истинной стоимости, потому что это только рискует потерять работу, которую я бы выиграл. Больше никаких догадок. Просто укажите свои реальные предпочтения и позвольте механизму найти эффективную цену. 🔧Почему это важно для ZK доказательства в частности? Потому что этот рынок уникально сложен. Некоторые рабочие нагрузки требуют задержки менее секунды, другие занимают часы. Некоторые требуют GPU, другие лучше работают на CPU. Традиционный аукцион заставил бы участников стратегически действовать с учетом всех этих переменных. TODA позволяет приложениям указывать требования, провайдерам сообщать о своих возможностях и затратах, а механизм обрабатывает совпадения, не требуя от кого-либо предугадывать действия других. Лучшая стратегия — это отсутствие стратегии. ♟️ Читать Части 8: