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 les contrats intelligents dans Bitcoin, le modèle UTXO, l'autorisation, les contrôles de validité, les défis, les applications et les tendances émergentes.
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.
Explore l'essentiel de blockchain, couvrant les concepts clés, les transactions Bitcoin, les contrats intelligents Ethereum, et les développements futurs.
Couvre les fonctions de hachage cryptographiques, les codes d'authentification des messages et les chaînes de blocs, y compris les bitcoins, la preuve de travail et les variantes MAC.
Explore les applications financières des blockchains, couvrant la définition, l'histoire, Ethereum, la finance décentralisée, les contrats intelligents, les jetons, les méthodes d'évaluation, les défis de la double dépense, les signatures numériques, et les fonctions de hachage cryptographique.
