Ecriture de contrats intelligents : essai de méthodologie en droit et en informatique

Writing of Smart legal contracts : proposition of a methodology in law and computer science

• Auteur / Autrice : Abdoulaye Diallo
• Direction : Amélie Favreau, Sihem Amer-Yahia
• Type : Thèse de doctorat
• Discipline(s) : Droit privé
• Date : Soutenance le 11/12/2023
• Etablissement(s) : Université Grenoble Alpes
• Ecole(s) doctorale(s) : École doctorale sciences juridiques (Grenoble, Isère, France ; 2003-....)
• Partenaire(s) de recherche : Laboratoire : Centre de recherches juridiques (Grenoble, Isère, France ; 1995-....)
• Jury : Président / Présidente : Noël de Palma
• Jury : Examinateurs / Examinatrices : Mouna Mouncif-Moungache
• Jury : Rapporteurs / Rapporteuses : Caroline Le Goffic, Davide Frey

Mots clés

Mots clés contrôlés

Blockchains

Contrats intelligents

Mots clés libres

Smart contract

Blockchain

Legaltech

Résumé

Les smart contract sont des programmes informatiques qui ont pour principale caractéristique d’être déployés dans une blockchain. Comme le suggère leur appellation, ils peuvent être utilisés afin d’automatiser l’exécution de véritables contrats. L’objectif de notre recherche est de développer une méthodologie pour créer ces conventions dont des stipulations sont codées informatiquement et exécutées dans une blockchain. A travers notre proposition, nous présenterons leurs contextes d’utilisation les plus pertinents : quels sont les contrats les plus enclins à une exécution par smart contract ? Nous établirons la forme la plus appropriée que doivent prendre ces conventions : doivent-elles être écrites uniquement en code informatique ou pourvues également d’un texte rédigé en langage naturel ? Que doit-être le rôle et le contenu de ce dernier ? Enfin nous exposerons comment procéder techniquement à leur réalisation : sur quelles blockchain les déployer et de quelle manière peut-on coder leurs stipulations dans le langage de programmation Solidity ?

Smart contracts are computer programs that are primarily deployed within a blockchain. As their name suggests, they can be used to automate the execution of real contracts. The objective of our research is to develop a methodology for creating these agreements, in which stipulations are coded computationally and executed within a blockchain. Through our proposal, we will present their most relevant use cases: which contracts are most suitable for execution by smart contracts? We will establish the most appropriate form these agreements should take: should they be written solely in computer code or also include text written in natural language? What should be the role and content of the latter? Finally, we will explain how to proceed technically with their implementation: on which blockchains to deploy them and how to code their stipulations using the Solidity programming language.