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 la construction de 'Internet Computer' et 'Beyond Blockchains', couvrant WebAssembly, algorithmes de consensus, réplication de machine d'état, et les défis dans la dérivation aléatoire.
Introduit les fondamentaux de la blockchain, couvrant la structure, les transactions, la preuve de travail, les hypothèses de sécurité, les transactions Bitcoin, Ethereum smart contrats, et les limitations.
