ББ-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

ББ-015: Спецвыпуск: личные итоги 2017 года

basicblockradio.com

ББ-014: Биткойн-фьючерсы, Parity о разморозке эфиров, Pineapple fund

Митап в Москве 28 декабря!

basicblockradio.com

ББ-013: Токен Openbazaar, RSK, Lightning, Devcon 3 Breakout, Активный гражданин на блокчейне и как стать биткойн-миллионером

basicblockradio.com

ББ-012: Coindesk SoB Q3 2017, новые видео с Devcon 3, каналы платежей: Lightning, Duplex, Raiden и Sprites, а также криптокотики

basicblockradio.com

ББ-011: Хак Tether, получение Bitcoin Gold, скрытый майнинг Coinhive

basicblockradio.com

ББ-010: Devcon 3

Подробный обзор Ethereum-конференции Devcon 3 (пост в блоге Ethereumнеофициальный список докладов со ссылками на видео).

basicblockradio.com

 

ББ-009: хак Parity, отмена Segwit2X, Bitcoin Gold

basicblockradio.com

ББ-008: Максим Аверин и Владимир Тидва (Zerion) о подготовке ICO, хакатонах и разработке смарт-контрактов

basicblockradio.com

ББ-007: Сергей Лоншаков (Airalab) об экономике роботов

  • 00:00 гость о себе и знакомстве с биткойном
  • 08:33 почему Эфириум?
  • 10:00 Хард-форк Byzantium
  • 15:04 Airalab: зарождение проекта, Drone employee
  • 19:11 Whisper, Swarm, IPFS
  • 16:04 Как валидировать работу роботов
  • 38:00 Новые социальные институты
  • 45:15 Умные города, индустрия 4.0
  • 52:00 Supply chain management
  • 55:02 Влияние технологий на общество
  • 58:58 Проект Airalab сейчас, ближайшие планы
  • 1:04:14 Академический аспект проекта
  • 1:05:54 Безопасность роботов
  • 1:10:01 Мировое турне Airalab

Прочие ссылки: Coindesk State of the Blockchain Q2 2017, CryptoForum-2014, Codius, Parity, Polkadot, Golem, ROS

basicblockradio.com