Déplacez-vous dans les bases de la blockchain et les applications financières, couvrant les puzzles de hachage, les arbres de Merkle, preuve d'enjeux, et les contrats intelligents.
Couvre la conception, la mise en œuvre et la vérification formelle des systèmes distribués, en se concentrant sur les systèmes et organisations distribués vérifiables.
Explore l'ingénierie décentralisée des systèmes, les algorithmes de consensus, la tolérance aux défauts, les défauts byzantins, et les applications pratiques des systèmes tolérants aux défauts.
Explore le consensus sans permission et autorisé dans Bitcoin, couvrant l'argent basé sur l'information, les clés publiques et les mécanismes de stimulation asynchrone.
