ББ-016: Компания SmartDec об анализе и аудите смарт-контрактов для 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 Заключительные ремарки

basicblockradio.com

Добавить комментарий