Кількісна оцінка ризику смарт-контрактів стане величезним відкриттям.