ANNULE - Introduction à Tezos

Tezos est une nouvelle blockchain dotée d'une gouvernance intégrée qui en fait un véritable commun numérique. Tezos offre la vérification formelle, une technique qui permet de prouver mathématiquement que le code des transactions est correct et qui augmente considérablement la sécurité des smart contracts. Pendant cette présentation, nous parlerons des principes ayant présidé à la conception de Tezos et de ses perspectives de développement.