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)
Parcours de rattachement
Format des notes
Numérique sur 20Littérale/grade européenProgramme 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.
