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.
Explore la génération de nombres quantiques aléatoires, en discutant des défis et des implémentations de générer une bonne randomité à l'aide de dispositifs quantiques.
Explore les preuves mathématiques historiques, les problèmes de décision, les systèmes de déductibilité, les preuves probabilistes et quantiques, et les systèmes de preuve interactifs.
