Speakers 2018

Володимир Кириллов

Володимир Кириллов

ESM.one
Head of R&D

Керівник R&D в ESM.one, стартап напрямку esport.

Організатор спільноти функціональних програмістів kievfprog.

Розробник першої версії SwiftServe (тепер Conversant TV) Live та VOD потокових рішень, які застосовувались для трансляції 48-го Національного параду в Сингапурі.

Розробник платформи мікросервісів для Zalora SEA (Global Fashion Group), представлених на саміті AWS 2017 в Сингапуре.

Інтернет-технології

15:00 — 15:40

Тренди мов програмування на блокчейні та в смарт-контрактах

Останнім часом в мейнстрімній розробці стрімко розвиваються безпечні функціональні мови на зразок Rust, Haskell, Scala, F # і вибір цих мов для розробки сучасних блокчейнів дуже позитивно впливає на зростання популярності перших.

Гучні мільйонні вразливості в смарт-контрактах виникли, в першу чергу, через можливості легкого доступу до низькорівневих абстракцій в поточних мовах програмування на блокчейні типу Solidity.

Тому тренд безпечних мов також відбивається і в смарт-контрактах у вигляді проектів Plutus, Simplicity, Liquidity і Scilla, а також спроб впровадження формальної верифікації в процедуру розробки контрактів з метою запобігання цілих класів помилок.

Я розгляну:

  • уразливості в контрактах типу The DAO з точки зору спільноти мов програмування;
  • недоліки поточних популярних мов типу Solidity;
  • рішення: нові безпечні мови, застосування формальної верифікації та статичних аналізаторів.

Sponsors

Генеральний спонсор