🔶 Êtes-vous cypherpunk ?

Tout débute dans les années 1980 dans le sillage des travaux sur la cryptographie moderne. De très nombreux protocoles sont développés par des chercheurs qui marqueront l’informatique : Merkle et son arbre, Chaum et ses clés publiques, Haber et l’horodatage… Voilà pour les origines.

Avec la décennie 1990 prend forme l’idée de reproduire une monnaie numérique, sans autorité et décentralisée : la cryptomonnaie. Celle-ci sera très populaire dans le mouvement crypto-anarchiste des cypherpunks, composé d’ingénieurs de la Silicon Valley. Mais, après quelques tentatives, le mouvement semble s’éteindre vers 2000…

C’était pour mieux revenir en 2009 avec l’arrivée du fameux Bitcoin. C’est une révolution : à la fois parce qu’il assemble des protocoles provenant de thématiques variées mais surtout pour son élément phare : la blockchain – un registre sécurisé distribué entre les collaborateurs du projet.

A partir de là, une culture propre aux cryptomonnaies va se développer en dehors du champ académique. Le caractère open source permettra leur multiplication (il en existe plusieurs milliers aujourd’hui), notamment Ethereum et ses contrats intelligents ou la monnaie Tether adossée au dollar américain.

Les deux mondes se reconnectent avec le financement privé de recherches académiques, comme dans le cas de la monnaie Cardano en 2017. Face aux enjeux économiques et écologiques, les partenariats continuent de fleurir : l’Inria vient de signer un accord avec Nomadic Labs pour financer des recherches sur Tezos (▼ Lire notre interview ▼).

Qu’est-ce qui vous plaît dans la recherche appliquée à la blockchain ?
Les idées autour de la blockchain se sont construites depuis 20 ans et cela m’intéresse de les voir se mettre en pratique. Je me suis toujours senti frustré par des projets de recherche dont la finalité est la publication car les contributions qui prennent la forme de programmes informatiques ne sont pas très reconnues alors que, de mon point de vue, elles ont une grande valeur de validation des théories.

Quel sera l’apport de la blockchain à la société ?
La notion de registre distribué permet de collaborer en toute confiance, sans intermédiaire et de façon décentralisée. On remplace ainsi  une partie du travail des notaires par exemple. Quand on dit blockchain, on pense tout de suite à la finance et à la spéculation mais c’est avant tout un outil économique, pas forcément rattaché à une idéologie. Beaucoup de règles peuvent l’encadrer.

Est-ce pour bientôt ?
Ce sera comme Internet : à ses débuts, son usage était cantonné à l’échange d’emails entre chercheurs puis est devenu illimité pour tous. Pour la blockchain, les personnes vont au début l’utiliser sans s’en rendre compte, c’est même déjà le cas dans certains jeux vidéo.

Vous travaillez sur la cryptomonnaie Tezos, quelles sont ses particularités ?
Tout d’abord, Tezos repose sur un algorithme probabiliste qui le rend plus écologique : on peut aujourd’hui faire tourner un nœud Tezos sur un petit ordinateur de quelques dizaines d’euros. Ensuite, Tezos est une blockchain reprogrammable par les utilisateurs eux-mêmes qui votent les évolutions ; nous en sommes à la septième version.

Quel est votre apport en tant que chercheur ?
Renforcer la confiance. Ma spécialité, comme celle des deux tiers des 50 employés de Nomadic Labs, ce sont les méthodes formelles et la programmation fonctionnelle. Nous certifions l’absence de bugs dans les programmes et leur résistance à une panoplie d’attaques. Par ailleurs, nous utilisons deux technologies issues d’INRIA — OCaml et Coq —, qui donnent un avantage à Tezos en termes de productivité et de qualité du logiciel. Ce sont les fruits de 40 ans de recherche dans un domaine où la France est en pointe.

• Pronostic. The Download (la newsletter du MIT) révèle les 10 ruptures technologiques de 2021 : vaccins à ARN messager (on vous en parlait là), hydrogène “vert” (on vous en parlait ici), mais aussi des algorithmes de recommandation TikTok ! 
• Féministes. En cette journée de la femme, c’est fort à propos : les chercheuses Flora Vincent et Aude Bernheim militent pour une science plus inclusive : une interview à lire dans Maddyness.
• Silence. Après la chercheuse Timnit Gebru, c’est au tour de Margaret Mitchell d’avoir été licenciée par Google. En interne, c’est la tourmente et des changements sont peut-être à venir, rapporte The Guardian.