Qu’est-ce qu’un contrat intelligent ?

Un contrat intelligent est du code déployé sur une blockchain. Il a une adresse, il peut détenir des fonds, et n’importe qui peut appeler ses fonctions. Une fois appelé, il s’exécute de façon déterministe — chaque nœud l’exécute et obtient le même résultat.

« Exactement comme écrit » est l’expression clé, et elle joue dans les deux sens. Il n’y a ni juge, ni intention, ni appel. Si le code contient une faille, cette faille fait partie du comportement du contrat, et un attaquant qui l’exploite fait précisément ce que le code permet. Les fonds vidés de cette façon sont généralement irrécupérables.

La plupart des contrats sont aussi immuables une fois déployés, donc les bugs ne peuvent pas simplement être corrigés. Certains sont modifiables via des clés d’administration — ce qui résout ce problème et en introduit un autre, puisque celui qui détient ces clés peut changer les règles.

Les audits réduisent le risque mais ne l’éliminent pas. De nombreux contrats audités ont été exploités, et un audit est un examen ponctuel réalisé par des humains faillibles, pas une preuve de justesse.