Speakers

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

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

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 в Сингапуре.

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

17:10 — 17:50

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

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

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

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

Я розгляну:

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

Sponsors

Титульний спонсор
Генеральний спонсор
Спонсор напряму
«Інтернет-бізнес / Стартапи»
Спонсор напряму
«Реклама і просування»
Спонсор напряму
«Digital Fun/CRM & Лояльність»
Спонсор напряму
«Blockchain»
Спонсор напряму
«Інтернет-технології»
Спонсор напряму
«Освітні технології майбутнього / Інновації»
Спонсор
Спонсор
Спонсор
Автомобільний
інноваційний партнер
Платіжний партнер
Фінансовий партнер
Логістичний партнер
Логістичний партнер
Будівельний партнер
Кава-партнер
Доменний партнер
Юридичний партнер
Книжковий партнер
Поліграфічний партнер
Live партнер
Медичний партнер
Водний партнер
Текстильний партнер
Текстильний партнер
Партнер
Партнер
Партнер

InfoPartners

Генеральний радіопартнер
Головний інформаційний партнер
ТВ-партнер
Діловий медіапартнер