Descriptif
Compréhension des fondements algorithmiques de la technologie blockchain :
Nous étudions les bases algorithmiques derrière les systèmes de stockage décentralisés et cohérents, utilisant des nœuds potentiellement malveillants ou ayant une participation instable dans le temps. Nous commençons par l'étude des protocoles classiques de stockage reconfigurables et systèmes tolérants aux fautes byzantins. Ensuite, nous explorons les protocoles dits de «blockchain » permettant le développement des systèmes de confiance pour le stockage de transactions réparties.
Objectifs pédagogiques
Acquis d'apprentissageÀ l'issue de l'UE, l'élève sera capable de:
- Understand the algorithmic basics underlying the blockchain technology.
- Explain benefits and limitations of reliable broadcast and Byzantine fault-tolerant consensus, the principle building blocks of blockchain.
Compétences de rattachement (et justification)
- BC1.5 – Réaliser un système complexe en mettant en œuvre les solutions technologiques nécessaires, en s’appuyant sur les ressources humaines, techniques, matérielles disponibles en faisant preuve de rigueur, d’esprit critique et d’adaptabilité; Justification : The blockchain technology is a very interesting combination of technical tools developed in the distributed computing and crypto communities, and our course employs a principled approach to deal with it. We also have a hands-on project on building a consensus protocol and analysing its performance.
- BC10.3 – Analyser une résolution par des approches formelles ou mathématiques; Justification : We take a formal approach based on precise specifications and proofs.
Diplôme(s) concerné(s)
- Echange international non diplomant
- M2 PDS - Parallel and Distributed Systems
- M1 PDS - Parallel and Distributed Systems
- Diplôme d'ingénieur
Parcours de rattachement
Pour les étudiants du diplôme Echange international non diplomant
SLR206
Pour les étudiants du diplôme Diplôme d'ingénieur
SLR206
Format des notes
Numérique sur 20Littérale/grade européenPour les étudiants du diplôme M2 PDS - Parallel and Distributed Systems
Vos modalités d'acquisition :
The final grade is computed as 0.7*written exam grade + 0.3*project grade
You also have extra bonuses for:
- participation/discussion of exercises
- bugs found in slides/lecture notes
- Crédits ECTS acquis : 2.5 ECTS
Pour les étudiants du diplôme Diplôme d'ingénieur
Vos modalités d'acquisition :
The final grade is computed as 0.7*written exam grade + 0.3*project grade
You also have extra bonuses for:
- participation/discussion of exercises
- bugs found in slides/lecture notes
- Crédits ECTS acquis : 2.5 ECTS
- Crédit d'UE électives acquis : 2.5
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M1 PDS - Parallel and Distributed Systems
Vos modalités d'acquisition :
The final grade is computed as 0.7*written exam grade + 0.3*project grade
You also have extra bonuses for:
- participation/discussion of exercises
- bugs found in slides/lecture notes
- Crédits ECTS acquis : 2.5 ECTS
Pour les étudiants du diplôme Echange international non diplomant
Vos modalités d'acquisition :
The final grade is computed as 0.7*written exam grade + 0.3*project grade
You also have extra bonuses for:
- participation/discussion of exercises
- bugs found in slides/lecture notes
- Crédits ECTS acquis : 2.5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M2 CPS - Cyber Physical Systems
Vos modalités d'acquisition :
The final grade is computed as 0.7*written exam grade + 0.3*project grade
You also have extra bonuses for:
- participation/discussion of exercises
- bugs found in slides/lecture notes
La note obtenue rentre dans le calcul de votre GPA.
Programme détaillé
Contenu
Nous étudions les bases algorithmiques derrière les systèmes de stockage décentralisés et cohérents, utilisant des nœuds potentiellement malveillants ou ayant une participation instable dans le temps. Nous commençons par l'étude des protocoles classiques de stockage reconfigurables et systèmes tolérants aux fautes byzantins. Ensuite, nous explorons les protocoles dits de «blockchain» permettant le développement des systèmes de confiance pour le stockage de transactions réparties.