il est impossible de prouver qu'un contrat intelligent est sécurisé