Descriptif

(English version below)

Ce cours comporte deux parties, l’une avec Daniel Augot sur la
cryptographie dans les  blockchains, l’une avec Bernadette Charron-Bost sur
les fondamentaux de l'algorithmique distribuée et du problème du
consensus.

Le cours de Daniel Augot présente plusieurs sujets abordés
dans le monde des blockchains: rappels sur les fonctions de hachage et les signatures, les nombreuses utilisations
des fonctions de hachage cryptographique; UTXOs, Merkle trees, Ethereum «smart contracts»;
lightning, zero-knowledge, zk-snarks;

Il est structué en 6 blocs de 4h00: 1h30 de cours et 2h30 de TP.

Les TP sont en ligne de commande à faire sur votre ordinateur personnel.  Installations prérequises :   Docker  et docker-compose.

Le cours de Bernadette Charron-Bost posera les fondamentaux du
problème du consensus (pas de travaux pratiques). Dans le problème du
consensus, chaque agent d’un système en réseau a une valeur d’entrée
et décide une valeur de sortie; il est nécessaire que tous les agents
finalement se décident sur la même valeur et que cette valeur commune
soit une (ou une fonction) des valeurs d'entrée. Les problèmes de
consensus se posent dans un certain nombre d'applications, y compris
la cohérence dans les bases de données répliquées, les agents
autonomes ou, plus récemment, dans la technologie de la blockchain.

Le problème du consensus (exact) est un problème fondamental d’accord
où chaque agent est conscient qu'un accord a été conclu, par
opposition au problème de consensus stabilisant où les agents sont
juste tenus de se stabiliser éventuellement sur la même valeur
d'entrée. Le consensus blockchain, également appelé le consensus de
Nakamoto, correspond à un type intermédiaire d'accord.

Le but de ce cours est d’explorer la solvabilité et les complexité de
ces différents problèmes d’accord dans différents contextes, en
fonction du modèle de synchronicité, du modèle de défaillance et
d’autres propriétés telles que le fait que le système soit ouvert ou
fermé, systèmes «sans permissions» ou «avec permissions».