akıllı sözleşmenin güvenli olduğunu kanıtlamak imkansızdır