GdT programmation / séminaire IRILL / séminaire APR
Michelson : langage de smart-contracts de la blockchain Tezos
Giovedì 23 maggio 2019Guillaume 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.
Maggiori dettagli qui …
Emmanuel.Chailloux (at)
nulllip6.fr