è impossibile dimostrare che un contratto intelligente sia sicuro