La fondation Tezos a apporté son soutien à l’association France-ioi, pour la création d’outils et contenus d’enseignement autour des technologies liées aux cryptomonnaies : systèmes distribués, principes de la blockchain, théorie des langages, cryptographie, preuve de programmes, et une plateforme d’apprentissage pour mettre le tout et bien plus à la disposition des élèves et enseignants.
- FR
- EN
Débutants ou inités, vous pourrez écrire très rapidement des programmes qui manipulent des capteurs de distance, de luminosité, un accéléromètre, un buzzer, un servomoteur, etc. tout en apprenant les fondamentaux de la programmation dans le langage de votre choix : Scratch, Blockly, ou Python.
Nous avons également une carte électronique contenant de nombreux capteurs, pour offrir toutes ces possibilitéss dans un kit compact.
Sur la base de QuickPi, nous développons un environnement pour s'initier à la programmation de systèmes distribués, de programmer et tester ses propres algorithmes de consensus, au cours de séquences d'exercices de difficulté progressive, le tout dans votre navigateur.
Nous avons accompagné notre partenaire PlayCurious, en partenariat avec l'association Science Animation et la fondation Blaise Pascal, dans la réalisation du jeu Blockchain Battle, qui permet de découvrir de manière ludique, les principes des cryptomonnaies.
De nombreux langages sont développés pour programmer des smart contrats sur Tezos. Pour aider les développeurs à s'initier à la théorie des langages, et peut-être créer leurs propres langages, nous développons des outils et contenus pour découvrir la théorie des langages : automates, lexeurs, parseurs, etc...
En août 2019, nous avons organisé, en partenariat avec la Maison des Mathématiques et de l'Informatique, l'association Plaisir Maths et la Fondation Blaise Pascal, une école d'été sur le thème de la Cryptographie, blockchain et vérification de programmes.
Les conférences de l'école d'été, données par deux spécialistes de ces domaines, Pascal Lafourcade et Cătălin Hrițcu, sont disponibles en ligne.
Pour mettre tous ces contenus, de tous nos contenus d'enseignement de la programmation et de l'algorithmique et bien plus à la disposition des élèves et enseignants nous développons une toute nouvelle plateforme d'enseignement open-source, permettant à chaque enseignant de créer ses propres parcours pédagogiques, et de suivre la progression de ses élèves.
