ну что вы, формальные верфикаторы? https://www.prism.ucl.ac.uk/#!/?project=194 https://www.prism.ucl.ac.uk/#!/?project=193 вообщем где-нибудь через год все смарт-контракты-блокчейны будут верифицированны н раз примерно виталик может уже бросать курить