Speakers

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

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

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

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

Я розгляну:

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