Une approche pratique des smart contracts
Une approche pratique des smart contracts
En 1994, Nick Szabo imagine le smart contract comme un « protocole de transaction informatisé qui exécute automatiquement les termes d'un contrat »
www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart.contracts.html, consulté le 24 mars 2020.
(Section I)
. Le développement de la technologie blockchain lui vaut aujourd'hui un regain d'intérêt
(Section II)
et de belles perspectives d'avenir
(Section III)
.
Un processus informatique fondé sur une transaction
Cette technique avancée vaut sa qualification de smart au contrat autoexécutant. Néanmoins, le programme informatique lui-même n'a aucune intention. Il est ce que le programmeur a voulu qu'il soit
S. Abiteboul et G. Dowek, Le temps des algorithmes, Le Pommier, 2017, p. 8. Adde p. 177 et s.
. Ainsi, si l'exécution ne nécessite aucune intervention humaine, la traduction du programme en langage machine est bien le fait de l'homme.
Un processus informatique hébergé sur une blockchain
Sans être exhaustif, des exemples concrets permettent de mieux comprendre l'intérêt des smart contracts. Il est double. Le smart contract permet de mettre en place une boucle conditionnelle permettant d'automatiser l'exécution. Le paiement intervient dès la réunion des conditions de la vente. Mais il s'agit également d'automatiser la sanction de l'inexécution. Ainsi le retard d'un avion ou d'un train peut être indemnisé automatiquement par le seul constat de ce retard sans qu'une réclamation auprès de la compagnie d'assurance soit nécessaire.
Pour aller plus loin