talk
11 Janvier 2020
13h00 - 14h00
FR
Ground Control
Pietro Abate - Nomadic Labs
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.

Intervenants


Pietro Abate

Nomadic Labs