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.
