Contrat intelligent : interpréter oui, mais sans ambiguïté

L’une des raisons de la création du contrat intelligent est le fait que tout contrat est sujet à l'ambiguïté :

« Dans un langage commun, deux parties conviennent d’un ensemble de conditions, confiantes qu’un tiers interviendra pour arbitrer équitablement les différends et faire respecter les termes du contrat si les termes de l’accord ont été violés » ceci est la vision du juriste et du législateur

Voici la vision du technologue qui conçoit un contrat mathématiquement :

« Les contrats intelligents capturent le concept de description formelle des accords dans un langage mathématique »

Explication :

“En utilisant un langage informatique au lieu d’un langage humain pour écrire des contrats intelligents, le comportement du contrat est maintenant prévisible. 

Contrairement à un langage humain, les langages informatiques ne sont pas ouverts à l’interprétation ; tout ce qui est exprimé dans un langage informatique sera interprété de la même manière par tout ordinateur se comportant correctement”.



Contrat intelligent : le bug comme faille dans un contrat légal

Le bug est-il analogue à une faille dans un contrat légal, indésirable mais autorisé ? Ou ce bug doit-il être résolu, par exemple, par une autre autorité ?