Безопасность смарт-контрактов

Формальная верификация, фаззинг и другие способы найти уязвимости в смарт-контрактах до релиза.