Теория игр в блокчейне

В 2016 году The DAO на Ethereum собрал 150 миллионов - и был взломан. Код был безупречен криптографически: хэши, подписи, консенсус - всё работало. Проблема была не в криптографии, а в теории игр: механизм голосования позволял рациональному злоумышленнику извлечь средства, не нарушая ни одного криптографического правила. С тех пор индустрия усвоила горький урок: блокчейн защищён ровно настолько, насколько хорошо спроектированы его экономические стимулы. Криптография отвечает на вопрос "кто может". Теория игр отвечает на вопрос "кто захочет".

• **EIP-1559 (Ethereum)** - mechanism design fee market: base fee сжигается, пользователям выгодно ставить реальную цену, а не играть в аукцион вслепую
• **Polymarket** - prediction market на 1B+ объёма, где Schelling points определяют исход событий: "Кто выиграет выборы?" решается голосованием с экономическими стимулами
• **Flashbots MEV-Boost** - PBS на Ethereum: 90%+ блоков строятся через MEV-Boost, перераспределяя >300M MEV в год через mechanism design вместо хаотичной экстракции

Предварительные знания

• The Consensus Problem: Why and How
• Proof of Work: security through energy

Nash Equilibrium

В 1950 году Джон Нэш доказал теорему, за которую через 44 года получил Нобелевскую премию: в любой конечной игре существует хотя бы одно состояние, из которого **ни одному участнику невыгодно отклоняться в одиночку**. Это состояние называется Nash Equilibrium. В блокчейне эта идея - фундамент всего: протоколы проектируются так, чтобы честное поведение было именно таким равновесием.

Дилемма заключённого для майнеров

Представьте двух крупных майнеров, контролирующих значительную долю hashrate. У каждого есть стратегический выбор: **майнить честно** (следовать протоколу) или **атаковать** (double spend, selfish mining, цензура транзакций). Давайте запишем payoff matrix - таблицу выигрышей для каждой комбинации стратегий.

Почему payoffs именно такие? При совместном честном майнинге оба получают стабильные block rewards. Если один атакует, а другой честен - атакующий получает мало, потому что тратит ресурсы на атаку, которая подрывает доверие к сети и роняет цену BTC. Если оба атакуют - сеть теряет доверие полностью, цена обваливается, оба теряют свои инвестиции в оборудование.

Почему честный майнинг - Nash Equilibrium в Bitcoin

Ключевой аргумент: **майнер с большим hashrate - крупнейший stakeholder сети**. Он вложил миллионы в ASIC-оборудование, контракты на электричество и инфраструктуру. Если атака обрушит цену BTC, этот майнер потеряет больше всех. Это не альтруизм - это чистый рациональный эгоизм, выровненный с интересами сети.

Mixed Strategies и пороги безопасности

В чистых стратегиях (pure strategies) игрок выбирает одно действие. Но Nash Equilibrium существует и для **mixed strategies** - когда игрок случайным образом чередует стратегии с определёнными вероятностями. В контексте Bitcoin это значит: теоретически майнер может атаковать с вероятностью p и майнить честно с вероятностью (1-p). Eyal и Sirer в 2013 году показали, что **selfish mining** становится выгодным уже при ~33% hashrate, а не при 51%. Это означает, что порог безопасности ниже, чем принято считать, и протокол опирается не только на чистую математику, но и на экономическую нецелесообразность атаки.

**Ключевое различие:** математическая возможность атаки (от 33% hashrate) и экономическая рациональность атаки - разные вещи. Bitcoin безопасен не потому что атака невозможна, а потому что она экономически абсурдна для любого достаточно крупного участника.

Mechanism Design

Теория игр изучает стратегическое поведение в заданных правилах. **Mechanism design** переворачивает задачу: зная желаемый результат, **спроектировать правила так, чтобы рациональные эгоисты неизбежно пришли к этому результату**. Это "обратная теория игр" (reverse game theory). Леонид Гурвиц, Роджер Майерсон и Эрик Маскин получили Нобелевскую премию по экономике в 2007 году именно за mechanism design.

Аукционы Викри и EIP-1559

Классический пример mechanism design - **аукцион Викри** (Vickrey auction): побеждает участник с наивысшей ставкой, но платит вторую по величине цену. Это гениально: участникам выгодно ставить свою реальную оценку стоимости, потому что завышение не помогает (платишь вторую цену), а занижение рискует проигрышем. Механизм **incentive-compatible** - честность оптимальна.

EIP-1559 - образец mechanism design в блокчейне. До него Ethereum использовал first-price auction, как Bitcoin: пользователи вслепую выбирали gas price, переплачивая или застревая. EIP-1559 разделил fee на **base fee** (сжигается, определяется алгоритмом) и **priority fee** (tip валидатору). Результат: пользователям выгодно ставить реальную готовность платить, а не играть в угадайку.

Token Incentives и Punishment Mechanisms

Mechanism design в блокчейне выходит далеко за пределы аукционов. **Токеновая экономика** (tokenomics) - это целый набор механизмов: staking rewards поощряют валидацию, slashing наказывает за вредоносное поведение, vesting schedules предотвращают dump'ы.

**Почему mechanism design критичен для блокчейна?** В централизованных системах правила можно менять и обеспечивать принудительно. В децентрализованных протоколах нет арбитра - механизм должен быть **self-enforcing**: участники следуют правилам, потому что это в их интересах, а не потому что их заставляют.

Schelling Point

В 1960 году экономист Томас Шеллинг поставил эксперимент: "Вам нужно встретиться с незнакомцем в Нью-Йорке. Вы не можете договориться о месте и времени. Где и когда вы будете?" Большинство ответили: **полдень, Grand Central Station**. Без координации люди выбирают одну и ту же точку. Шеллинг назвал это **focal point** - точка, которая кажется "естественной" каждому участнику. В блокчейне Schelling points решают задачу, которую не может решить код: **как перенести субъективную информацию из реального мира на блокчейн**.

SchellingCoin и блокчейн-оракулы

Виталик Бутерин в 2014 году предложил концепцию **SchellingCoin**: механизм, где участники голосуют за значение (например, цену ETH/USD), не зная голосов других. Те, чьи голоса попадают в медиану, получают награду. Те, кто далеко от медианы - теряют стейк. Schelling point здесь - **истинное значение**, потому что каждый рациональный участник ожидает, что остальные тоже проголосуют за правду.

UMA и Optimistic Oracle

Протокол **UMA (Universal Market Access)** развил идею Schelling point в **Optimistic Oracle**. Принцип: данные считаются верными, пока никто не оспорил (optimistic). Если возникает спор, начинается **Data Verification Mechanism (DVM)**: все держатели токена UMA голосуют за правильное значение, используя stake-weighted median. Schelling point - истина, потому что врать экономически невыгодно.

• **Polymarket** - prediction market, использующий UMA для разрешения споров: "Кто победит на выборах?", "Будет ли ETF одобрен?"
• **Augur v2** - децентрализованный prediction market с reporter system: репортёры стейкают REP на исход, меньшинство теряет стейк
• **Chainlink** - агрегирует данные от множества оракулов; при отклонении оракула от медианы он теряет репутацию и будущие доходы

Координация без коммуникации

Почему Schelling points вообще работают? Потому что **истина - естественная focal point**. Когда каждый участник знает, что остальные тоже хотят попасть в медиану, а медиана с наибольшей вероятностью совпадает с реальностью, рациональная стратегия - голосовать за правду. Это self-reinforcing: чем больше участников голосуют честно, тем надёжнее медиана, тем выгоднее голосовать честно.

**Атаки на Schelling points:** при низком количестве участников или высокой концентрации стейка возможна координированная атака - группа "сговорившихся" голосует за ложное значение и сдвигает медиану. Защита: высокий **quorum** (минимальное число голосующих), **escalation mechanisms** (UMA позволяет оспорить результат на более высоком уровне), и **reputation systems**.

Incentive Compatibility

Протокол **incentive-compatible**, если каждому участнику выгоднее всего быть честным - раскрывать свои реальные предпочтения, следовать правилам, не пытаться обмануть систему. Это ключевое свойство, которое объединяет Nash Equilibrium, mechanism design и Schelling points в единую архитектурную идею: **правила игры таковы, что рациональный эгоизм каждого совпадает с пользой для всех**.

Revelation Principle

**Revelation principle** (Майерсон, 1981) утверждает: для любого механизма, где участники играют сложные стратегии, существует эквивалентный **direct mechanism**, в котором оптимальная стратегия - просто сообщить правду. Это гибкий инструмент для дизайнера: не нужно предугадывать хитрые стратегии участников - достаточно построить механизм, где правда выгоднее лжи.

MEV как нарушение Incentive Compatibility

**MEV (Maximal Extractable Value)** - это прибыль, которую валидатор может извлечь, манипулируя порядком транзакций в блоке. Front-running, sandwich attacks, liquidation sniping - всё это примеры того, как нарушается incentive compatibility: **валидатору выгоднее переупорядочить транзакции, чем следовать честному порядку (FIFO)**.

Решения: PBS, Fair Ordering, MEV Burn

Как восстановить incentive compatibility? Сообщество разрабатывает несколько подходов:

• **PBS (Proposer-Builder Separation)** - разделение ролей: proposer (валидатор) предлагает блок, builder собирает транзакции. Builder'ы конкурируют за право собрать блок, отдавая прибыль proposer'у. MEV перераспределяется, но не исчезает
• **Fair Ordering (Chainlink FSS, Themis)** - протоколы, гарантирующие обработку транзакций в порядке поступления (FIFO). Шифрование содержимого транзакций до включения в блок (commit-reveal) делает front-running невозможным
• **MEV Burn (EIP-7762)** - сжигание MEV прибыли вместо передачи валидатору. Аналог EIP-1559 для MEV: если извлечённая ценность сжигается, стимул к манипуляции падает
• **MEV Share (Flashbots)** - перераспределение MEV прибыли обратно пользователям, чьи транзакции были использованы для извлечения. Частичное восстановление incentive compatibility

**Impossibility result:** теорема Myerson-Satterthwaite доказывает, что идеальный механизм (одновременно strategy-proof, individually rational и budget balanced) невозможен для двусторонней торговли. Это значит, что **любой блокчейн-протокол содержит trade-offs**. PBS жертвует децентрализацией (builder centralization). Fair ordering жертвует throughput. MEV burn жертвует доходами валидаторов. Выбор trade-off - это и есть инженерное искусство mechanism design.

Итоги

• **Nash Equilibrium** - состояние, из которого ни одному участнику невыгодно отклоняться в одиночку; честный майнинг в Bitcoin - пример Nash Equilibrium, потому что атака обесценивает собственные активы атакующего
• **Mechanism design** - "обратная теория игр": проектирование правил так, чтобы желаемое поведение стало равновесием; EIP-1559 - эталонный пример mechanism design в блокчейне
• **Schelling points** - focal points, позволяющие участникам координироваться без коммуникации; основа блокчейн-оракулов (UMA, SchellingCoin), через которые субъективные данные попадают on-chain
• **Incentive compatibility** - фундамент безопасности протокола: правила должны делать честность оптимальной стратегией; MEV - пример нарушения этого принципа, и именно о таких нарушениях предупреждал урок The DAO из нашего вступления - когда экономические стимулы расходятся с намерениями разработчиков, никакая криптография не спасёт

Связанные темы

Теория игр пронизывает все уровни блокчейн-стека - от консенсуса до финансовых протоколов:

• Экономика Bitcoin — Nash Equilibrium и incentive compatibility напрямую определяют безопасность Bitcoin: payoff matrix майнеров, fee market design и security budget - всё это приложения теории игр
• Proof of Stake — Slashing, корреляционные штрафы и validator rewards - mechanism design для PoS, превращающий стейк в skin in the game и делающий честную валидацию Nash Equilibrium
• MEV — Maximal Extractable Value - главный пример нарушения incentive compatibility в современных блокчейнах; PBS, fair ordering и MEV burn - mechanism design решения
• Tokenomics — Дизайн токеновых стимулов - прямое применение mechanism design: vesting, staking rewards, burn mechanics спроектированы для создания incentive-compatible систем

Вопросы для размышления

• The DAO был взломан не через криптографию, а через game theory. Можете ли вы представить протокол, который математически доказуемо incentive-compatible при любых условиях? Или теорема Myerson-Satterthwaite делает это невозможным?
• MEV перераспределяет 300M+ в год от пользователей к валидаторам/builders. Если PBS легализует MEV (делает его прозрачным и структурированным), это решение проблемы или её нормализация?
• Schelling points работают, когда участники координируются вокруг истины. Но что если "истина" субъективна (например, "Является ли это произведение искусством?")? Можно ли использовать Schelling point механизмы для субъективных оценок?

Связанные уроки

• gt-01