Инциденты со смарт-контрактами за последние несколько лет (такие как взломы DAO и Parity) показали, что реализованная операционная семантика языков смарт-контрактов часто допускает довольно тонкое поведение, которое расходится с интуитивным пониманием языка в умах разработчиков контрактов.
«Чтобы предотвратить повторение таких инцидентов, необходимо иметь безопасный язык смарт-контрактов, который был бы выразительным и легко управляемым.