Безопасность | Базовый Блок

ББ-023: Децентрализация и анонимность, жадные контракты-самоубийцы, eclipse-атаки на Ethereum, криптовалюты в Люксембурге

В гостях сотрудники компании SmartDec: Александр Селезнёв, Ярослав Александров, Евгений Марченко и Иван Иваницкий

Дисклеймер: я работал в SmartDec в 2013 — 2016 годах и участвовал в создании SmartCheck.

00:18 Как гости узнали про блокчейн
04:59 Чем занимается SmartDec, методы анализа кода
11:02 Что анализирует SmartDec
12:37 Особенности разработки и анализа кода смарт-контрактов
16:57 Четыре класса проблем безопасности и советы начинающим разработчикам смарт-контрактов
22:21 О проблемах языка Solidity и EVM
28:25 Как устроен процесс анализа контрактов
30:50 Какие технологии использует SmartCheck — инструмент статического анализа контрактов
32:55 Типичные проекты на Ethereum и их проблемы
38:03 Три совета разработчикам: как писать безопасные контракты
39:29 Итоги 2017 года и прогнозы на будущее
45:29 Есть ли альтернативы Ethereum и Solidity?
48:13 Перспективные применения смарт-контрактов помимо ICO
51:01 Планы SmartDec на 2018 год
53:58 Россия — хорошее место для блокчейн-бизнеса?
59:35 Заключительные ремарки

Эпизод 002: репортаж с Breaking Bitcoin (1 / 2)

Пилотный эпизод (часть 2 / 2)

1:33 Пять вещей, о которых помнит разработчик смарт-контрактов (то же на английском: видео, слайды)
20:08 Как организовать процесс разработки под Эфириум
22:48 Уязвимость в IOTA (интервью The Ether Review, публикация MIT, ответ на неё + бонус: теория заговора!)