present at the Inria Blockchain Day, Paris

Inria organized on December 12, a Blockchain day, where the most prominent Inriaresearchers in the field presented their on-going and future work. The talks covered exciting topics such as cryptography, formal verification of smart contracts, new consensus algorithms, network observation and more. We also had presentation a from Tezos blockchain CEO.