{"id":32277,"date":"2020-01-14T03:28:00","date_gmt":"2020-01-14T03:28:00","guid":{"rendered":"https:\/\/fr.cryptonews.com\/?p=32277"},"modified":"2023-06-26T11:08:20","modified_gmt":"2023-06-26T11:08:20","slug":"inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309","status":"publish","type":"post","link":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/","title":{"rendered":"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain"},"content":{"rendered":"

Inria<\/b>, l’institut national de recherche en sciences et technologies du numérique, et Nomadic Labs<\/b>, le principal laboratoire de recherche et de développement de la blockchain Tezos<\/b>, dévoilent leur accord-cadre de recherche partenariale. Cet accord finance déjà quatre actions de recherche et les travaux de plus de dix chercheurs et deux ingénieurs.<\/p>

\"Inria
Source: iStock\/NicoElNino<\/figcaption><\/figure>

Un comité conjoint de pilotage scientifique du programme, est, dans le cadre de cet accord, chargé de sélectionner des actions de recherche dont l’objectif est de renforcer et développer les bases de la technologie Tezos, et de ses applications. S’inscrivant pleinement dans la stratégie de recherche du projet Tezos, l’ensemble des résultats scientifiques et logiciels produits dans ce cadre seront librement accessibles, et contribueront ainsi à renforcer l’impact de la recherche française sur les technologies logicielles en général et blockchain en particulier.<\/p>

Une collaboration naturelle entre Inria et Nomadic Labs<\/h2><\/span>

Les liens entre Inria et Nomadic Labs sont historiques. Le langage de programmation OCaml, qui est utilisé dans une implémentation du protocole Tezos et les techniques de certification de programmes, comme l’assistant de preuves Coq qui apportent fiabilité et sécurité à Tezos et à ses smart contracts, sont directement issus de plusieurs décennies de recherches au coeur des équipes-projets d’Inria. Inria a également une grande expertise dans de nombreux autres domaines utiles à Tezos, comme la programmation distribuée, la cryptographie et plus généralement la cybersécurité.<\/p>

Jérôme Chailloux<\/b>, président de Nomadic Labs souligne « Le projet Tezos finance déjà de nombreux programmes académiques de recherche au meilleur niveau international, il était logique pour nous de conclure un partenariat stratégique avec Inria, qui est une référence mondiale dans son domaine et dont sont issues de nombreuses technologies que nous utilisons aujourd’hui ».<\/p>

Une opportunité pour la recherche française<\/h2><\/span>

À ce jour, ce sont déjà quatre actions de recherche et plus de dix chercheurs qui sont financés par le biais de cet accord-cadre. Ils touchent à différentes évolutions du langage OCaml et de son compilateur ainsi que la sémantique du système de vérification F*.<\/p>

Didier Rémy<\/b>, directeur de recherche Inria, commente « cette collaboration entre Nomadic Labs et Inria est aussi une chance pour la recherche, car tous les sujets pertinents pour la technologie Tezos sont aussi intrinsèquement intéressants, tout à fait d’actualité, et auront nécessairement d’autres applications que les seules blockchains ».<\/p>

Avec cet accord, Tezos conforte sa position d’avant-garde dans l’écosystème blockchain grâce au soutien d’un institut de recherche mondialement reconnu. C’est de nouveau l’excellence française qui a été choisie par Tezos, puisque c’est déjà Paris qui avait été sélectionné pour accueillir Nomadic Labs. Ainsi, Arthur Breitman<\/b>, co-fondateur de Tezos, rappelle que « Tezos est un projet international qui parle avec un accent français ».<\/p>

Grâce au concours de la recherche scientifique française, Tezos entend ainsi résoudre nombre des problèmes auxquels sont confrontés les technologies blockchain aujourd’hui et ainsi favoriser leur déploiement et leur adoption.<\/p>

Source: communiqué de presse.<\/i><\/p>","protected":false},"excerpt":{"rendered":"

Inria, l’institut national de recherche en sciences et technologies du numérique, et Nomadic Labs, le principal laboratoire de recherche et de développement de la blockchain Tezos, dévoilent leur accord-cadre de recherche partenariale. Cet accord finance déjà quatre actions de recherche et les travaux de plus de dix chercheurs et deux ingénieurs.Source: iStock\/NicoElNinoUn comité conjoint de […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[11,1],"tags":[],"editors":[1470],"sponsored_companies":[],"class_list":["post-32277","post","type-post","status-publish","format-standard","hentry","category-press-releases","category-news","editors-communique-de-presse"],"acf":[],"yoast_head":"\nInria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain<\/title>\n<meta name=\"description\" content=\"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain\" \/>\n<meta name=\"robots\" content=\"noindex, follow\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain\" \/>\n<meta property=\"og:description\" content=\"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain\" \/>\n<meta property=\"og:url\" content=\"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/\" \/>\n<meta property=\"og:site_name\" content=\"Cryptonews France\" \/>\n<meta property=\"article:published_time\" content=\"2020-01-14T03:28:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-06-26T11:08:20+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/cimg.co\/w\/articles-attachments\/1\/5e1\/c72e25693f.jpg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain\" \/>\n<meta name=\"twitter:description\" content=\"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain\" \/>\n<meta name=\"twitter:image\" content=\"https:\/\/cimg.co\/news\/32277\/12135\/5e1c74ff0d7fd.jpg\" \/>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain","description":"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain","robots":{"index":"noindex","follow":"follow"},"og_locale":"fr_FR","og_type":"article","og_title":"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain","og_description":"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain","og_url":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/","og_site_name":"Cryptonews France","article_published_time":"2020-01-14T03:28:00+00:00","article_modified_time":"2023-06-26T11:08:20+00:00","og_image":[{"url":"https:\/\/cimg.co\/w\/articles-attachments\/1\/5e1\/c72e25693f.jpg","type":"","width":"","height":""}],"twitter_card":"summary_large_image","twitter_title":"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain","twitter_description":"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain","twitter_image":"https:\/\/cimg.co\/news\/32277\/12135\/5e1c74ff0d7fd.jpg","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/#article","isPartOf":{"@id":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/"},"author":{"name":"giedrius","@id":"https:\/\/cryptonews.com\/fr\/#\/schema\/person\/5d79e712f570715212460260f4f9cc0f"},"headline":"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain","datePublished":"2020-01-14T03:28:00+00:00","dateModified":"2023-06-26T11:08:20+00:00","mainEntityOfPage":{"@id":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/"},"wordCount":651,"publisher":{"@id":"https:\/\/cryptonews.com\/fr\/#organization"},"image":{"@id":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/#primaryimage"},"thumbnailUrl":"https:\/\/cimg.co\/w\/articles-attachments\/1\/5e1\/c72e25693f.jpg","articleSection":["Communiqu\u00e9s de Presse","News"],"inLanguage":"fr-FR","copyrightYear":"2020","copyrightHolder":{"@id":"https:\/\/cryptonews.com\/#organization"}},{"@type":"WebPage","@id":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/","url":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/","name":"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain","isPartOf":{"@id":"https:\/\/cryptonews.com\/fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/#primaryimage"},"image":{"@id":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/#primaryimage"},"thumbnailUrl":"https:\/\/cimg.co\/w\/articles-attachments\/1\/5e1\/c72e25693f.jpg","datePublished":"2020-01-14T03:28:00+00:00","dateModified":"2023-06-26T11:08:20+00:00","description":"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain","breadcrumb":{"@id":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/"]}],"author":[]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/#primaryimage","url":"https:\/\/cimg.co\/w\/articles-attachments\/1\/5e1\/c72e25693f.jpg","contentUrl":"https:\/\/cimg.co\/w\/articles-attachments\/1\/5e1\/c72e25693f.jpg"},{"@type":"BreadcrumbList","@id":"https:\/\/cryptonews.com\/fr\/news\/inria-et-nomadic-labs-s-associent-pour-developper-un-program-5309\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/cryptonews.com\/fr\/"},{"@type":"ListItem","position":2,"name":"Inria et Nomadic Labs s\u2019associent pour d\u00e9velopper un programme de recherche blockchain"}]},{"@type":"WebSite","@id":"https:\/\/cryptonews.com\/fr\/#website","url":"https:\/\/cryptonews.com\/fr\/","name":"Cryptonews","description":"","publisher":{"@id":"https:\/\/cryptonews.com\/fr\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/cryptonews.com\/fr\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/cryptonews.com\/fr\/#organization","name":"Cryptonews France","url":"https:\/\/cryptonews.com\/fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/cryptonews.com\/fr\/#\/schema\/logo\/image\/","url":"https:\/\/cryptonews.com\/wp-content\/uploads\/sites\/3\/2023\/09\/4.jpg","contentUrl":"https:\/\/cryptonews.com\/wp-content\/uploads\/sites\/3\/2023\/09\/4.jpg","width":1669,"height":874,"caption":"Cryptonews France"},"image":{"@id":"https:\/\/cryptonews.com\/fr\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/cryptonews.com\/fr\/wp-json\/wp\/v2\/posts\/32277","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cryptonews.com\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cryptonews.com\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cryptonews.com\/fr\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cryptonews.com\/fr\/wp-json\/wp\/v2\/comments?post=32277"}],"version-history":[{"count":0,"href":"https:\/\/cryptonews.com\/fr\/wp-json\/wp\/v2\/posts\/32277\/revisions"}],"wp:attachment":[{"href":"https:\/\/cryptonews.com\/fr\/wp-json\/wp\/v2\/media?parent=32277"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cryptonews.com\/fr\/wp-json\/wp\/v2\/categories?post=32277"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cryptonews.com\/fr\/wp-json\/wp\/v2\/tags?post=32277"},{"taxonomy":"editors","embeddable":true,"href":"https:\/\/cryptonews.com\/fr\/wp-json\/wp\/v2\/editors?post=32277"},{"taxonomy":"sponsored_companies","embeddable":true,"href":"https:\/\/cryptonews.com\/fr\/wp-json\/wp\/v2\/sponsored_companies?post=32277"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}