Groupe de Travail Blockchain

Présentation du GT

Ce groupe de travail a pour but de rassembler les personnes souhaitant approfondir leurs connaissances dans le domaine des systèmes Blockchain.

Ce groupe est destiné aux débutants comme aux plus confirmés.

Le GT se décline en trois formats : format présentation, format brainstorming et format atelier.

Le format présentation consiste en une ou plusieurs présentations par les membres du groupe ou par un intervenant externe.

Ce format a pour but de mettre en lumière les thématiques traitées au sein de l'IRIF, mais aussi d'en découvrir d'autres.

Voici une liste, non exhaustive, des thématiques pouvant être traitées :

  1. Les fondamentaux de la Blockchain
  2. Les Smart contracts
  3. Les ERC
  4. La vérification formelle des systèmes Blockchain
  5. Les protocoles de consensus

Le format brainstorming a pour but d’échanger sur une problématique, choisie en amont de la journée, et de tenter d'apporter des solutions ou des pistes de solutions.

L'avantage de ce format est de favoriser l’échange autour d'une table en partageant nos connaissances de façon animée et dynamique.

Le format atelier a pour but d'appliquer concrètement des notions apprises lors des précédentes sessions.

À titre d'exemple, l'atelier pourra traiter des sujets suivants : installer une blockchain en local, écrire des smart contrats, simuler l'envoi de transactions, etc… .

Membres

Sessions précédentes

  • 8 décembre 2020 02:00 PM

Le programme :

14h30-15h00 - Laurent Viennot - « Blockchains : an introduction »

15h15-15h45 - Constantin Enea - « Validating Blockchain Algorithms and Applications Against Formal Specifications »

16h00-16h30 - Zeinab Nehaï - « Applying Formal methods on Blockchain systems »

16h45-17h15 - Jean Krivine - « A Decentralized Exchange Protocol on Ethereum »

Enregistrement de la réunion :

  • 3 mars 2021 10:00 AM

Yackolley Amoussou-Guenou - « Qu’en est-il du consensus dans les blockchains »

Abstract:

The word consensus means different things. In blockchain systems, consensus often refers to agreeing on a “common” shared structure, the blockchain.

It is also popular in the community that such consensus (e.g., in Bitcoin) can be achieved when at least 50% of the total participants in the system are correct/honest,

even when the system is asynchronous.

The latter directly contradicts some impossibility results known in distributed computing, where the problem of Consensus is clearly defined.

In this presentation, we will see why the famous belief in Bitcoin is wrong, and present how one can use distributed consensus (BFT algorithms) to build a blockchain.

If time allows, we will also present some challenges blockchains brought to the table.

Enregistrement de la réunion : https://u-paris.zoom.us/rec/share/xgXRkUB72zHpu0FGxl1sxdG1UXViUfEPWM1zdSJckSlowRYcUZGmf8_20cYBmINu.EPhZ1aESpfzEiGYp

Code secret d’accès: Wy!e2o!Tga

  • 24 juin 2021 10:00 AM

Colin Gonzalez - « Introduction to smart contracts »

Abstract:

This talk is about smart contracts and the challenges faced in their design.

The focus is on the current approaches towards safer and more usable smart contracts.

The end goal is to provide an overview of some of the scientific topics connected to smart contracts.

Enregistrement de la réunion : https://u-paris.zoom.us/rec/share/KkBzYJUg1jnF5qdUrtf7B5hEg_22MMUTT0NuHUwhFNhfUd_5x96aq52swcs7JfdE.1IIFWOz3pTia2bF5

Code secret d’accès: 1wq50G8&!C

* 15 novembre 2021 10:00 AM

Yann Régis-Gianas - « Certifying an automatic market maker place »

Abstract:

In this talk, we will present a smart contract that we have recently certified. The talk will first describe the whole certification process and the properties, coming back on the technical difficulties we encountered. In a second part, we will explain what are the open issues and why are verification tools are limited to tackle them.

Sessions à venir

—-

Contacts

nehai@irif.fr - pierref@irif.fr

— Zeinab Nehai 12/07/2021 16:20