ББ-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 ноября)

Ссылки:

• NEAR protocol
• 'Sharding Research' by Alex Skidanov (видео)
• The Beginner’s Guide to the NEAR Blockchain
• Whiteboard Series with NEAR

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

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

 

basicblockradio.com