không thể chứng minh rằng một hợp đồng thông minh là an toàn