Теория игр, стоящая за моделями платы за блокчейн
30 июня 2025 г.Таблица ссылок
Аннотация и 1. Введение
Связанная работа
Предварительные
3.1 TFMS: желательные свойства
3.2 Механизм перераспределения Groves (RM)
Идеал-TFRM: невозможность достижения строго положительного индекса перераспределения
Механизм перераспределения платы за транзакцию (TFRM)
R-TFRM: TFRM, надежный для манипуляций с шахтером
6.1 R-TFRM: анализ влияния манипуляций с шахтером на скидку и доходы от шахтеров
R2-TFRM: надежный и рациональный TFRM
Заключение и ссылки
A. Доказательства для результатов раздела 4 и 5
B. Доказательства для результатов раздела 6
C. Доказательства для результатов раздела 7
2 Связанная работа
Роль сборов за транзакцию в децентрализованных криптовалютах, таких как биткойн и эфириум, была изучена в отношении (i) латентности транзакций [22, 23, 30], (ii) справедливости [2, 34] и совсем недавно, как децентрализованные механизмы на основе аукциона [8, 14, 33, 40].
Механизм платы за транзакцию (TFM).Roglegarden [33] сформулировал взаимодействие эмитента транзакций и майнера в качестве настройки аукциона. Более конкретно автор выражает популярные механизмы в рамках TFM, включая первую цену, вторую цену и EIP1559. RoughGarden [33] вводит совместимость с стимулированием пользователя (UIC), совместимость с стимулированием шахтеров (MIC) и доказательство нецелесообразного соглашения (OCA) как желательные свойства стимулирования для TFMS. Например, EIP1559 удовлетворяет UIC, MIC и OCA-защите-в разделе конкретные ограничения на базовую плату. Ferreira et al. [14] представляют динамическую цену TFM, которая является UIC (если сеть не перегружена) и MIC. Авторы также предоставляют равновесную цену в зависимости от спроса. Чунг и Ши [8] показывают, что невозможно построить TFM, который одновременно удовлетворяет UIC, MIC и OCA-защите (даже если только один пользователь и майнер сговоры). Чтобы решить невозможность, они вводят штраф создателю поддельной транзакции, сброшенной параметром «𝛾». Авторы представляют рандомизированный (на основе доверенного аукциона второй ценности), который удовлетворяет три свойства. Наконец, авторы в [40] расслабляются UIC в Bayesian UIC (Buic), чтобы построить еще один аукцион на основе второго по цене, удовлетворяя Buic, MIC и OCA-защищенные.
Механизм перераспределения (RM).Популярные аукционные механизмы, такие как VCG и Groves [9, 15, 37], удовлетворяют AE и UIC, но не удовлетворяют SBB. Faltings [13] и Guo и Conitzer [19] достигают SBB, компрометируя AE. Хартлин и Гроуггарден [21] предлагают механизм, который максимизирует сумму полезности агентов в ожидании. de Clippel et al. [11] «Уничтожить» некоторые предметы, чтобы максимизировать коммунальные услуги агентов, что приводит к приблизительному AE и SBB. Parkes et al. [31] предлагают альтернативный подход, предлагая проблему оптимизации, которая является приблизительно AE, SBB.
Maskin et al. [25] сначала предложит идею перераспределения избытка как можно дальше после сохранения UIC и AE. Бейли [1], Кавалло [6], [27] и Го и Конитцер [18] рассматривают обстановку распределения 𝑘 однородных объектов среди конкурирующих агентов с требованием единицы. Guo и Conitzer [20] обобщают свою работу в [18] до нескольких единиц, чтобы получить оптимальный (WCO) RM.
Таким образом, относительно недавняя литература TFM фокусируется только на удовлетворенности желательных стимулирующих свойств инетПри сокращении стоимости пользователя. Учитывая, что децентрализованная криптовалюта (например, биткойн или Ethereum) является общественным ресурсом, переосмысление TFM, поскольку RM (i) будет продолжать гарантировать эти свойства, но, что важно, (ii) минимизировать стоимость, выплачиваемой пользователем.
3 предварительные
Теперь (i) формально вводим TFMS, (ii) соответствующие теоретичные определения игры и (iii) суммируем механизмы перераспределения. Таблица 1 Табулирует обозначения, используемые в этой статье.
Модель механизма платы за транзакцию (TFM).У нас есть стратегический, но миопический [2] шахтер, создающий блок 𝐵 (с конечной мощностью) для базовой блокчейна. Существуют 𝑚 транзакции, которые можно подтвердить в меморандуме. Тем не менее, блок может содержать только до 𝑛 <𝑚 транзакций. Мы предполагаем, что все транзакции одинакового размера. Среди 𝑛 транзакций, включенных в блок, майнер подтверждает 𝑘 ≤ 𝑛 транзакции [3].
В TFMS включенные (но не подтвержденные) предложения часто используются в качестве «ценовых» предложений [8]. Мы используем пример TFM второй цы, чтобы объяснить определение 1 лучше.
Чтобы определить желаемые свойства TFM, мы сначала определяем утилиты пользователей и майнеров.
То есть полезность шахтера зависит только от набора транзакций 𝐵 𝑀 𝑀, поскольку для транзакций в 𝐹 она платит себе.
Авторы:
(1) Sankarshan Damle, IIIT, Хайдарабад, Хайдербад, Индия (Sankarshan.damle@research.iiit.ac.in);
(2) Маниша Падала, IISC, Бангалор, Бангалор, Индия (manishap@iisc.ac.in);
(3) Суджит Гуджар, IIIT, Хайдарабад, Хайдербад, Индия (sujit.gujar@iiit.ac.in).
Эта статья есть
Оригинал