Axoni et Clearmatics franchissent une étape importante dans l'interopérabilité de la blockchain

Deux des startups les plus importantes du secteur de la blockchain d'entreprise s'associent pour s'attaquer au problème difficile, mais désormais apparemment inévitable, de l'interopérabilité.

Cette semaine, lors du salon Consensus 2018, Clearmatics et Axoni ont démontré comment un produit dérivé financier peut être émis via un contrat intelligent, déclencher un paiement, puis initier un transfert atomique de valeur inter-chaînes entre deux réseaux distincts. C'est la première fois qu'un contrat dérivé est créé sur une blockchain d'entreprise et réglé sur une autre.

Cette étape est importante car l’interopérabilité apparaît désormais comme un objectif clé de la conception de la Technologies du registre distribué (DLT).

Alors que le monde financier est en train de passer d’un état de nombreux registres à un état de moins de registres, les architectes de la blockchain ont réalisé que les échanges, les transactions et les accords ne seront probablement jamais créés, traités et réglés par un système unique et monolithique.

Robert Sams, le PDG de Clearmatics, a déclaré à CoinDesk:

« Pour faciliter le traitement de bout en bout, du point de transaction au règlement, nous devons partir du principe que ce processus transitera par plusieurs systèmes, plutôt que par un seul système de règlement monolithique, distribué ou non. »

La collaboration est significative également en raison de l’influence des acteurs impliqués.

Axoni, basé à New York, travaille avec un large éventail d'institutions financières et de fournisseurs d'infrastructures de premier plan pour transférer des milliers de milliards de valeur notionnelle en dollars américains vers la technologie blockchain dans diverses classes d'actifs.

Pendant ce temps, son partenaire dans la démonstration, Clearmatics de Londres, travaille avec un consortium de banques et d'institutions financières pour créer une monnaie fiduciaire numérique entièrement garantie par des espèces auprès de la banque centrale correspondante et transférable sur un registre distribué.

Axoni a également beaucoup travaillé dans le domaine des produits dérivés et dans d'autres domaines des processus post-négociation, tandis que Clearmatics se concentre sur le côté règlement des choses, donc le jumelage était une évidence (tous deux construisent une Technologies basée sur une architecture dérivée d'Ethereum).

« Si nous pouvons collaborer de manière appropriée et faciliter les liens entre ces réseaux, nous obtiendrons un processus hautement automatisé et hautement transparent, depuis l'accord commercial jusqu'à la finalisation du règlement », a déclaré Greg Schvey, PDG d'Axoni.

Les leçons de la Crypto

En prenant du recul, il est juste de dire que l’interopérabilité de la blockchain est au stade de la R&D.

Comprendre le problème implique de nombreuses exigences basées sur les cas d'utilisation et les applications du domaine, qui doivent toutes être considérées conjointement. Sams a souligné que la démonstration d'interopérabilité n'était qu'une preuve de concept, mais une ONE importante, car elle alimente l'esprit de collaboration open source.

« L'interopérabilité doit être abordée de manière ouverte et collaborative et construite autour de normes ouvertes et d'implémentations open source », a-t-il déclaré, ajoutant :

« Il y aura probablement plusieurs types de solutions d’interopérabilité – pas beaucoup, mais plus d’ une. »

Le même esprit s’étend à la communauté de la blockchain publique, où de nombreux travaux de pointe sont réalisés sur les aspects très techniques du sujet.

« Il existe de nombreux points communs entre les échanges atomiques inter-chaînes dans le domaine des Cryptomonnaie et nos activités », a déclaré Sams. « Même si le domaine d'application est totalement différent, les principes technologiques sous-jacents sont très similaires. »

Le contrat en question a été modélisé à l'aide du langage spécifique au domaine d'Axoni, AxLang, puis la finalité du règlement des paiements en espèces résultants a été réalisée sur différents registres autorisés et compatibles avec Ethereum.

La contribution de Clearmatics à la démo était Ion, un protocole d'interopérabilité open source, conçu pour effectuer des transactions inter-chaînes atomiques.

Lingua franca

Le langage de programmation intelligent AxLang utilisé ici a été développé par Axoni pour faire du travail avec des contrats intelligents dans un environnement d'entreprise une chose sûre, pour ainsi dire.

Axlang est basé sur Scala et permet la vérification formelle des contrats intelligents, une méthode mathématique rigoureuse utilisée pour prouver l'exactitude des programmes informatiques. Il peut également compiler vers les machines virtuelles Java et Ethereum .

Cependant, on demande souvent aux développeurs : pourquoi un autre langage de programmation ?

Schvey a déclaré que le fait de travailler beaucoup sur la conception d'applications à grande échelle sur des blockchains a révélé que certaines exigences n'étaient pas satisfaites par Solidity, la première étape vers la programmation de contrats intelligents au sein de la communauté Ethereum .

En particulier, Solidity manque de vérification formelle, c'est-à-dire la capacité d'avoir des preuves mathématiques que le code écrit a été compilé correctement, a déclaré Schvey.

« Être capable de vérifier certains vecteurs d’erreur est un concept très puissant, surtout si vous déployez une infrastructure multipartite à grande échelle avec beaucoup de valeur qui y transite », a-t-il déclaré.

En effet, la preuve de concept allie deux défis techniques complexes : l’interopérabilité et la vérification formelle. Et il existe un lien important entre les deux, a souligné Sams.

« Imaginez un état final d’infrastructure de marché distribuée où vous avez un FLOW de processus de bout en bout, se produisant à travers plusieurs systèmes », a-t-il déclaré.

« Il sera évidemment très important qu'au niveau sémantique, un système reprenant un processus d'un autre système, et vice versa, comprenne et puisse démontrer exactement quelle est la logique métier qu'il consomme ou produit pour qu'un autre système la consomme. »

Image de deux routesvia Shutterstock