Tidak mungkin untuk membuktikan bahwa kontrak pintar aman