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.
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.
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 l'essentiel de blockchain, couvrant les concepts clés, les transactions Bitcoin, les contrats intelligents Ethereum, et les développements futurs.
