Обсуждаем две статьи про теорию игр в применении к блокчейнам! Сначала «Pay-To-Win: Incentive Attacks on Proof-of-Work Cryptocurrencies» в изложении Сергея, затем «SoK: Tools for Game Theoretic Models of Security for Cryptocurrencies» в изложении Ивана.
- 00:30 спонсор подкаста — Waves! Спасибо!
- 02:10 спасибо нашим замечательным патронам и воркшоп OpenZeppelin
- 03:02 первая статья: Pay-To-Win: Incentive Attacks on Proof-of-Work Cryptocurrencies. Классификация теоретико-игровых атак на криптовалюты
- 06:30 три категории игроков: честные, Византийские и рациональные (и, возможно, faulty)
- 08:30 чего могут добиться атаки и как должны влиять на блокчейн?
- 12:20 как платят взятки майнерам: внутри или вне протокола
- 14:08 зачем нужна атомарность взятки
- 17:12 как платить майнерам за участие даже в неудачной атаке?
- 20:30 атака первая: поменять порядок транзакций с оплатой в протоколе
- 24:52 атака вторая: порядок транзакций или цензура с оплатой вне протокола
- 31:25 атака третья: отмена транзакции с оплатой вне протокола
- 33:20 сложность мира со множеством криптовалют
- 35:05 всё снова упирается в анонимность и identity
- 40:52 использовать схему взяток для мотивирования обновления узлов?
- 42:48 вторая статья: SoK: Tools for Game Theoretic Models of Security for Cryptocurrencies. Жанр Systematization of Knowledge
- 49:45 теория игр и дизайн механизмов, общие понятия
- 54:30 дизайн механизмов: постановка задачи и почему нужно вовремя забирать детей из садика
- 58:15 с какой стороны авторы рассматривают распределённые системы
- 01:00:55 криптография, рациональный дизайн протоколов, скрытый злоумышленник
- 01:04:22 Bayesian Machine Game
- 01:07:30 публичные блага, эффект безбилетника и цена анархии
- 01:10:27 какие подходы в итоге работают, а какие нет
- 01:14:45 основная сложность применения теории игр в блокчейнах и чего ждать от универсального подхода
- 01:17:45 сложность блокчейнов как угроза безопасности
Поддержите подкаст!
basicblockradio.com
