niemożliwe jest udowodnienie, że inteligentny kontrakt jest bezpieczny