Месяц: Июль 2019

ББ-083: Теория игр в безопасности блокчейнов

Обсуждаем две статьи про теорию игр в применении к блокчейнам! Сначала «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

ББ-082: Алекс Скиданов (NEAR) о шардинге в блокчейнах и спортивном программировании

Алекс Скиданов — сооснователь NEAR. NEAR protocol решает проблему масштабирования с помощью шардинга и proof-of-stake. До перехода в блокчейн-индустрию Алекс побеждал на чемпионате мира по программированию ACM ICPC и был первым сотрудником MemSQL. Обсуждаем отличия спортивного программирования от промышленного, эволюцию баз данных и масштабирование блокчейнов. Шардированные протоколы с proof-of-stake сталкиваются со множеством новых проблем: как NEAR их решает?

  • 00:30 спортивное программирование и победы на ACM ICPC
  • 01:55 отличия спортивного программирования от промышленного, вредные привычки спортивных программистов
  • 04:50 почему программисты из России так часто выигрывают чемпионат мира?
  • 05:36 чем чемпионат по программированию отличается от хакатона?
  • 07:51 работа Алекса в MemSQL: как разработать очень быструю базу данных?
  • 12:21 развитие индустрии баз данных: прогресс остановился?
  • 14:29 мир стартапов в Кремниевой Долине: компания Алекса в Y Combinator
  • 18:02 зачем делать ещё один блокчейн-стартап?
  • 21:15 три школы масштабирования блокчейнов. «Solana ушла настолько вперёд, что в плане скорости её не догнать» (если все узлы валидируют всё)
  • 25:01 Layer-2 для масштабирования: каналы, сайдчейны, rollups
  • 26:34 Подход NEAR к масштабированию: шардинг
  • 28:42 почему «наивный» подход для шардированных систем требует слишком много доверия
  • 29:01 стандартный подход: выбирать валидаторов на шарды рандомно, чтобы нельзя было сконцентрировать стейк
  • 31:27 откуда берётся рандом? Threshold relays (Dfinity) и RANDAO + VDF (Ethereum)
  • 34:11 моделирование времени в proof-of-stake: можно ли верить часам валидаторов?
  • 35:50 архитектура NEAR и три типа атак на шардированные proof-of-stake-системы. Невалидный переход и доступность данных
  • 41:16 что делать, если всё-таки обнаружится заголовок невалидного блока на beacon chain?
  • 42:50 как ограничить ущерб, если один шард скомпрометирован? «Social consensus это всегда дорого и неприятно»
  • 44:13 проблема доступности данных (data availability)
  • 45:26 вопрос от Дмитрия Ховратовича: делаете ли proof of custody и какой? Адаптивный злоумышленник и быстрое перебрасывание валидаторов между шардами для проверки доступности данных
  • 49:43 аналогия с miner’s dilemma
  • 50:21 решение Ethereum: последний бит от хеша блока плюс коммитмента, валидация блоков без стейта
  • 52:41 вопрос от Егора Хомякова: какая модель безопасности? Что валидаторы могут делать плохого? Предположения: максимум 33% византийских узлов, максимум 50% офлайн (по стейку)
  • 55:55 система мотивации в proof-of-stake: циклический аргумент?
  • 57:36 почему не proof-of-work?
  • 59:01 дизайн-пространство proof-of-stake: разные протоколы сойдутся к одному? Проблема DPOS
  • 1:01:03 как NEAR решает data availability с помощью erasure code
  • 1:06:20 сложные протоколы увеличивают поверхность атаки?
  • 1:09:31 контракты в NEAR: WASM и Typescript; опасность «простых» языков и Rust
  • 1:13:15 проблемы какой сложности имеет смысл класть на блокчейн?
  • 1:15:00 проблема оракулов и постонная цена газа
  • 1:16:16 какую проблему решает NEAR?
  • 1:17:56 кому и зачем нужны децентрализованные технологии? Будущее DeFi и Web3
  • 1:19:52 максимально оптимистичный сценарий для блокчейнов и для NEAR
  • 1:21:33 NEAR как централизованная компания и децентрализованный протокол — есть ли противоречие? Планы передачи контроля сообществу, выкатывание обновлений, on-chain governance
  • 1:24:47 ближайшие планы: запуск тестнета (скоро) и мейннета (1 ноября)

Ссылки:

Поддержите подкаст!

 

basicblockradio.com

ББ-081: Александр Зайдельсон (Beam) о Mimblewimble, приватных криптовалютах и auditability

Александр Зайдельсон — CEO Beam. Есть ли в Beam смарт-контракты и 2nd layer, в чём отличия от Monero, ZCash и Grin, как помирить приватность и auditability и почему формат стартапа лучше подходит для криптовалюты, чем формат сообщества.

  • 00:15 объявление: подарочные билеты на конференцию о майнинге TerraCrypto!
  • 01:15 бекграунд Александра Зайдельсона
  • 04:50 как устрое протокол MimbleWimble, отличия от Monero и ZCash
  • 11:44 ключевая инновация MimbleWimble, отсутствие истории и адресов
  • 18:35 нет ли проблемы с верификацией блокчейна от генезиса
  • 23:15 разница с Grin, отношение к Grin в Beam
  • 28:34 как происходит общение между кошельками и нет ли угрозы децентрализации
  • 32:52 зачем использован Equihash и что с ASIC-resistance
  • 36:50 количество транзакций в секунду, Medium of Exchange или Store of Value
  • 44:40 смарт-контракты или скрипты в Beam
  • 47:00 opt-in auditability — что за фича и кому нужна
  • 54:07 почему имплементация на C++, а не на Rust
  • 57:50 roadmap: atomic swaps с bitcoin, 2nd layer
  • 01:02:35 Beam как компания: почему стартап, а не сообщество
  • 01:05:21 как распределяются средства founder reward
  • 01:10:17 почему нужно ценить приватность 

25 июля в Москве пройдёт третья конференция о майнинге TerraCrypto. Первые 10 слушателей, отправивших фамилию, имя, почту и телефон на адрес marina.v@wtm.today, получат билет бесплатно! А также по промокоду «БазовыйБлок» можно получить скидку 40% на билет категории «Стандарт».

Ссылки:

Поддержите подкаст!

Patreon: https://www.patreon.com/basicblockradio/overview
Bitcoin: bc1qec856uhwuguhnn28r54tlkrh3dh95ctajvpjaf

https://basicblockradio.com/

Читать расшифровку выпуска

ББ-080: Егор Хомяков (Fairlayer) о проблемах Lightning и платёжных каналах с кредитами

Егор Хомяков — исследователь в области информационной безопасности. Обсуждаем перспективы layer-2, архитектурные недостатки биткоина и Lightning, идею Extended Lightning Network (сеть платёжных каналов с кредитами) и её имплементацию в проекте Fairlayer.

  • 00:30 как Егор пришёл в security research (спойлер: сломав Github)
  • 04:06 где гость расположен на шкале биткоин-максимализма?
  • 05:40 архитектурные проблемы биткоина: давайте добавим снэпшоты!
  • 13:20 on-chain governance как неограниченная власть большинства?
  • 17:20 какое отношение скрипты имеют к governance (снова вспоминаем прекомпайлы)
  • 21:37 Lightning: проблема с ликвидностью как уловка-22
  • 29:42 почему раскрутка Lightning отличается от биткоина
  • 34:19 Extended Lightning Network (XLN): чему нужно учиться у реально работающих систем. Частные счета в центральном банке и Coinbase как кастодиальный L2
  • 41:21 и как повесить долг на банк с помощью balance proof
  • 44:45 можно ли отказаться неколлатеризированный платёж?
  • 47:41 зачем нужен блокчейн с постоянными identity?
  • 50:41 проект Fairlayer
  • 54:20 перспективы IOU на базе биткоина
  • 56:20 перспективы интеграции Fairlayer в Lightning
  • 58:46 proof-of-work себя изжил? Перспективы proof-of-stake и proof-of-authority
  • 1:08:17 перспективы блокчейн-технологий
  • 1:09:51 почему биткоин ещё жив?
  • 1:13:43 что смотивирует банки внедрить блокчейн?

Ссылки:

Поддержите подкаст!

basicblockradio.com

 

Читать расшифровку выпуска

ББ-079: Степан Снигирев (Cryptoadvance) об аппаратных кошельках

Степан Снигирев занимался квантовой физикой, а в прошлом году основал компанию Crypto Advance, разрабатывающую платформу для аппаратных кошельков. Обсуждаем квантовую физику и квантовую криптографию, скоро ли квантовые компьютеры завоюют мир, какие изменения ожидаются в биткойне, как работают аппаратные кошельки, и каково это — вести биткоин-бизнес в Германии.

  • 00:25 путь гостя из квантовой физики в криптовалюты
  • 03:27 применима ли квантовая криптография к криптовалютам?
  • 06:05 в чём технологическая сложность масштабирования квантовых компьютеров?
  • 11:13 об алгоритмах квантовой криптографии
  • 15:25 тур Степана по биткоин-конференциям и курс Programming blockchain
  • 21:27 в чём сложность поддержки Lightning в аппаратных кошельках?
  • 27:30 Value of Bitcoin: конференция в Мюнхене для банкиров
  • 32:30 Breaking Bitcoin совещание разработчиков Bitcoin Core
  • 34:14 грядущие изменения в Bitcoin: Taproot, Schnorr, Eltoo
  • 36:00 Eltoo: сделать сеть Lightning более гуманной
  • 37:58 подписи Шнора и агрегация подписей
  • 42:02 состояние индустрии аппаратных кошельков
  • 45:23 Trezor против Ledger: что безопасней?
  • 49:33 ColdCard: полностью оффлайновый аппаратный кошелёк
  • 53:10 как разрабатывать на основе secure element? NDA и прочее
  • 57:50 что разрабатывает Cryptoadvance?
  • 58:52 где производят чипы? Сотрудничество с Институтом Фраунгофера
  • 1:01:48 как вести криптовалютный бизнес в Германии? Инвесторы, гэмблинг, марихуана
  • 1:05:43 поиск сотрудников: знакомьтесь на конференциях!

Ссылки:

basicblockradio.com