Construire l'ordinateur Internet: un aperçu dans une aventure ambitieuse

Cette séance de cours se penche sur la création de l'"ordinateur Internet" par le protocole ICP, visant à transformer l'Internet en un système d'exploitation distribué hébergeant des logiciels et des services. Il explore le concept de WebAssembly 'canisters' pour l'exécution de code sécurisé, les algorithmes de consensus, la réplication de machine d'état, et les défis dans la dérivation aléatoire. La séance de cours couvre également la perspective «Au-delà des blockchains» par Adi Seredinschi, en se concentrant sur des systèmes et des organisations distribués vérifiables, y compris Tendermint et Cosmos. Adi discute des algorithmes de consensus, du consensus Tendermint BFT, des modèles de système, des rounds et de l'énoncé du problème de la communication inter-blockchain (IBC).