GdT programmation / séminaire IRILL / séminaire APRRSS

Michelson : langage de smart-contracts de la blockchain Tezos


05/23/2019
Speaker(s) : Guillaume BAU (Namadics Lab)
Michelson est le langage permettant l'exécution de smart-contracts sur la blockchain Tezos. C'est un langage statiquement et fortement typé, à pile, disposant de structures de données haut-niveau et d'un typage fort. Il dispose d'une sémantique formalisée, conçue pour éviter les erreurs d'exécution, faciliter l'analyse statique et l'écriture de preuves formelles concernant les smart-contracts. Dans cet exposé, nous présenterons le contexte d'utilisation de smart-contracts, présenterons les différents aspects de Michelson les plus intéressants du point de vue de la sûreté, et introduirons à la programmation en Michelson avec des exemples simples.
More details here
Emmanuel.Chailloux (at) nulllip6.fr
 Mentions légales
Site map |