Informations du cours

(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.  You need to preinstall Docker  et docker-compose.

 

 

Bernadette Charron-Bost's course is  as follows (no labs). In agreement problems, each agent of a networked system has an input value and outputs a series of values;  it is required that all the agents eventually output the same value and that this common value is one (or a function) of the input values. Agreement problems arise in a number of applications including consistency in replicated databases, motion of autonomous agents or, more recently, in the blockchain technology. The (exact) consensus problem is a fundamental agreement problem where each agent is aware that agreement has been reached, as opposed to the stabilizing consensus problem where agents are just required to eventually stabilize on the same input value. The blockchain consensus, also called the Nakamoto consensus, corresponds to an intermediate type of agreement. The  goal of this course is to explore the solvability and the complexity of these different agreement problems in various contexts,  depending on the synchrony model, the failure model, and on other features like the fact that the system is open or closed (permissioned vs. permissionless systems).