Conférence : les blockchains entre réalités techniques et perspectives scientifiques

1
69

Quand ? – Vendredi 12 mai 2017 de 13h30 à 17h30.
Où ?
Bpifrance, 8 Boulevard Haussmann à Paris.

« Les technologies et les idées autour des blockchains foisonnent, et de nombreuses questions scientifiques et techniques se posent. Du point de vue de l’analyse, la question est de qualifier ces protocoles en termes de fonctionnalité et de sécurité. Du point de vue constructif, le monde académique nous laisse avoir un regard sur le futur, avec de plus grandes potentialités à venir. Cette journée propose de porter ces deux regards, avec des intervenants académiques, mais aussi des sociétés qui sont déjà positionnées sur le coup d’après. »

Programme dirigé par Daniel Augot (Inria) et Fabrice Le Fessant (Inria, OCamlPro).

 

En savoir plus : open-source-innovation-spring.org


Programme

13:30: Accueil

14:00: Mot d’introduction

14:05: Le danger des forks, et comment les éviter – Romaric LUDINARD (ENSAI / CREST) – Les mécanismes de mise à jour de la blockchain et le problème des forks seront présentés. Ensuite, trois améliorations parues en 2016 (Bitcoin-NG, PeerCensus et ByzCoin) seront détaillées, ainsi qu’une étude de leur fiabilité.

14:35: Lightning Network – Fabrice DROUIN (société Acinq) – Le réseau Lightning Network sera présenté, un réseau de paiement P2P haute-performance basé sur Bitcoin.

15:05: Going Beyond Decentralized Fragmentation with Process Networks – Anuj Das GUPTA (VP of research, société Stratuum) – Since no one is born in the blockchain, establishing trust has to always fall on real world sources, through client-server sources of trust. However, the deterministic world of blockchains is not compatible for interfacing with the nondeterministic nature of real world processes. At Stratumn, we are building process networks for mapping processes onto prover-verifier networks where objectively verifiable data can coexist with oracles and trusted third parties. In this talk, we are going to talk about the core design principles behind the architecture of the process network.

15:35: Pause Café

16:00: Preuve formelle et Blockchains – Thomas Sibut-Pinote (Inria Saclay)

16:30: Tezos, la blockchain évolutive – Benjamin CANOU (société OCamlPro) – Nous présenterons Tezos, un protocole de blockchain dont l’une des particularités est un mécanisme de gouvernance, qui lui permet d’évoluer et d’éviter ainsi tout risque de « fork » du réseau. Tezos a été conçu par Arthur Breitman, et implanté du POC jusqu’au client actuel, par la société OCamlPro.

17:00: Discussion entre les orateurs et le public à la fois sur les blockchains aujourd’hui (les technologies, les problèmes à résoudre, leurs usages, etc.) et leurs perspectives.

17:30: Bpifrance : financement des partenariats labos/PME – Céline Passedouet, Direction de l’innovation, Bpifrance – Bpifrance propose différents outils de financement des partenariats technologiques : programmes collaboratifs, bourse French Tech Emergence, etc. Quand et comment les mettre en place ?

17:40: Projets blockchain à l’IRT SystemX – Eric Théa, architecte programme, IRT SystemX – L’Institut de Recherche Technologique (IRT) SystemX travaille, avec ses partenaires industriels et académiques, à valoriser le potentiel de la blockchain pour le développement de nouveaux usages. Il s’appuie pour cela sur sa plateforme d’expérimentation et les compétences interdisciplinaires de ses chercheurs.

17:45: Pot — Networking

18:30: FIN