Принцип статического откровения для механизмов платы за транзакцию
5 августа 2025 г.Таблица ссылок
Аннотация и 1. Введение
1.1 Наши вклад
1.2 TFM Поощрительные представления о совместимости: шпаргалка
Определения
2.1 Механизм платы за транзакцию
2.2 Представления о совместимости стимулирования
Предварительная: лемма Майерсона
Разминка: невозможность UIC + MIC + Global SCP для детерминированных механизмов
Невозможность UIC + MIC + Global SCP для рандомизированных механизмов и 5.1 Доройся
5.2 Формальные доказательства
Осуществимость и невозможность UIC + MIC + OCA-защита
6.1 Непотянутый механизм с UIC + MIC + OCA-защищенным
6.2 Невозможность UIC + MIC + OCA-защита для правдивых механизмов
Как обойти невозможность и 7.1, позволяя глобально оптимальной стратегии координировать
7.2 Разрешение глобально оптимальной стратегии вывести несколько ставок
7.3 Обсуждения в отношении режима и 7.4 и открытые вопросы, касающиеся использования криптографии
Принцип статического откровения для механизмов платы за транзакцию
8.1 Принцип статического откровения: правила торга, которые выводят отдельную ставку
8.2 Принцип статического откровения: разрешение правил торгов, которые выводят несколько заявок
A. Сравнение понятий с сговором сговора
Ссылки
8 Принцип статического откровения для механизмов платы за транзакцию
Неофициально говоря,Принцип откровенияговорит, что любой механизм может быть смоделирован с помощью эквивалентного правдивого механизма. Всякий раз, когда принцип откровения сохраняется без потери общности, мы можем предположить, что честная стратегия торгов пользователями-это просто расслабляющаяся правда. Мы сосредотачиваемся здесь на принципе откровения для «статических» механизмов, в которых пользователи взаимодействуют с механизмом, просто отправляя заявку. [10]
TFM отличаются от традиционных аукционов тем, что им также необходимо удовлетворить устойчивость MIC и сговора, а также отделение правила включения (выполненное шахтером) и правил подтверждения/оплаты (выполненных блокчейном). Следовательно, принципы откровения не являются «автоматическими». В этом разделе мы доказываем, что для любого фиксированного C принцип откровения состоит из TFM, которые должны удовлетворить UIC, MIC и C-SCP. В качестве прямого следствия принцип откровения относится к TFM, которые удовлетворяют UIC, MIC и Global SCP. Основная тонкость в доказательстве состоит в том, что, когда мы выпекаем правило, не обжаловавшуюся по обтягиванию пользователя β в сам механизм, нам не только необходимо выполнить правило включения майнера, но и правила подтверждения блокчейна, но и правильные правила β. В противном случае стратегический шахтер может не честно применять β.
Обратите внимание, что мы сосредоточены на механизмах, которые удовлетворяют C-SCP вместо защиты от OCA в этом разделе. C-SCP требует, чтобы соблюдение честного правила торгов и правила честного включения является доминирующей стратегией для коалиции, состоящей из шахтера и большинства пользователей C. Для не туристического механизма с правилом торгов β β используется пользователями для удовлетворения как УИК, так и условий C-SCP. В разделе 8.1 мы предполагаем, что честное правило торгов β выводит только одну ставку. Позже в разделе 8.2 мы обобщаем доказательство, чтобы β мог выводить любое неотрицательное количество заявок.
8.1 Принцип статического откровения: правила торга, которые выводят отдельную ставку
Теорема 8.1(Статическое принцип откровения).Пусть C будет любым естественным номером. Предположим, что π является неразборчивым TFM для размера блока K, который представляет собой UIC, MIC и C-SCP с индивидуально рациональным правилом торгов β. Если β всегда выводит одну ставку, то существует правдивый TFM π ′ для размера блока k, который является UIC, MIC и C-SCP, так что 1) правило честного ставки является истиной, и 2) учитывая какой-либо вектор истинных значений, результат при честном исполнении идентично распределен как результат в честном исполнении.Π ′.
Обратите внимание, что β индивидуально рационально в π, поэтому платеж, соответствующий предложению β (v), никогда не превышает v. Таким образом, в соответствии с индуцированным механизмом π ′, платеж никогда не превышает ставку, поэтому индивидуальная рациональность правила оплаты уважается.
Затем, непосредственно проверяя синтаксис, вероятность подтверждения пользователя и ожидаемого платежа при подаче заявки B в рамках π ′ идентично распределяется по подаче заявки β (b) в соответствии с π, предполагая, что майнер следует правилу включения. Аналогичным образом, доход шахтера при создании блока B под π ′ идентично распределен по созданию блока β (b) при π. Таким образом, результат в соответствии с честным исполнением π идентично распределен как результат при честном исполнении π ′.
Наконец, мы показываем, что индуцированный механизм π ′ удовлетворяет UIC, MIC и Global SCP. Поскольку отправка ставки B и создание блока B под π ′ эквивалентно подаче заявки β (b) и созданию блока β (b) в соответствии с π, соответственно, тот факт, что π ′ удовлетворяет UIC и глобальному SCP непосредственно из того факта, что π удовлетворяет UIC и глобальному SCP в соответствии с правилом заявки пользователя β.
Авторы:
(1) Хао Чунг ∗, Университет Карнеги -Меллона (haochung@andrew.cmu.edu);
(2) Тим Гроугарден †, Колумбийский университет и A16Z (Crypto tim.roughgarden@gmail.com);
(3) Элейн Ши ∗, Университет Карнеги -Меллона (runting@cs.cmu.edu).
Эта статья есть
[10] В целом, типичные принципы откровения в теории аукциона трансформируют нецелевые механизмы (в которых пространство действий может отличаться от пространства оценки, например, из-за нескольких раундов взаимодействия пользователя-механизма) в прямые механизмы.
Оригинал