Обсуждаем две статьи про теорию игр в применении к блокчейнам! Сначала "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 сложность блокчейнов как угроза безопасности Поддержите подкаст! Bitcoin: bc1qec856uhwuguhnn28r54tlkrh3dh95ctajvpjaf Patreon: https://www.patreon.com/basicblockradio/overview basicblockradio.com