Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Les séminaires du LIFO

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



Les séminaires du LIFO


Accès par année : 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019

Sauf exception, les séminaires se déroulent le lundi de 14h à 15h, Salle de réunion 1, bâtiment IIIA (voir plan du campus).


29/04/2019 : TBA
Petr Golovach (Université de Bergen, Norvège) Résumé
Attention : Débute à 13 h 45.

11/02/2019 : An overview of the Tezos blockchain
Mathias Bourgoin (Nomadic Labs) Résumé
Attention : Débute à 13 h 45.


Résumés des séminaires


TBA Petr Golovach, Université de Bergen, Norvège

TBA


An overview of the Tezos blockchain Mathias Bourgoin, Nomadic Labs

Blockchains, such as Bitcoin or Ethereum, are distributed and decentralized ledgers. Bitcoin was, in 2009, the first blockchain, allowing financial transactions using a cryptocurrency. Then new blockchains such as Ethereum introduced smart contracts, small computer programs running in the blockchain and Dapps, distributed applications running on the blockchain (through smart contracts). These blockchains are based on an energy consuming 'proof of work' consensus algorithm and their governance is informal and can lead to hard forks of the blockchain. In this talk, I will present Tezos, an innovative self-amending blockchain that - provides a formal *on-chain governance* mechanism to activate upgrades without the need for hard forks. - focuses on *security* (through formal verification) and provides an environment to run formally verifiable smart contracts. - also replaces the classic 'proof of work' consensus algorithm with a modern, resilient and energy efficient (thus ecological) *'proof of stake'* algorithm.