Speakers

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

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

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

Поэтому тренд безопасных языков также отражается и в смарт-контрактах в виде проектов Plutus, Simplicity, Liquidity и Scilla, а также попыток внедрения формальной верификации в процедуру разработки контрактов с целью предотвращения целых классов ошибок.

Я рассмотрю:

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