La nouvelle technologie Ethereum fait appel aux dieux slaves pour la sécurité

Le dieu slave de la foudre, Perun, entre dans l'écosystème Ethereum (du moins dans l'esprit).

Inspiré par le bitcoinréseau Lightning, un groupe de chercheurs dirigé par le professeur associé de l'Université de Varsovie Stefan Dziembowski et le professeur de l'Université technique de Darmstadt Sebastian Faust ont dévoiléun nouveau livre blancintitulé « Fondements des réseaux de canaux d'état », qui décrit un protocole conçu pour aider Ethereum à évoluer afin de prendre en charge des volumes plus importants de données plus complexes.contrats intelligents.

Mais alors qu'un certain nombre de projets Ethereum élaborent des solutions à ce problème, l'approche de Perun envers son protocole est unique, notamment dans son accent sur la sécurité, car il fournit des définitions de sécurité formelles et des preuves de sécurité pour son protocole.

Fondamentalement, Perun fonctionne comme d'autres « canaux d'état » visant à transférer des transactions hors de la blockchain. Cependant, la différence réside dans le fait que les parties impliquées peuvent enregistrer l'état actuel du contrat à tout moment sur la blockchain, ce qui permet aux contrats intelligents de revenir au dernier état convenu entre les parties.

« Dans le cas où deux parties (éventuellement malveillantes) envoient des états conflictuels au contrat de canal, la logique du contrat sélectionnera le dernier état sur lequel les deux utilisateurs se sont mis d'accord », peut-on lire dans le document.

Il s'agit peut-être d'une innovation progressive, mais Dziembowski, co-auteur de l'article, soutient T peut être sous-estimée étant donné la nature des transferts de valeur.

Il a déclaré à CoinDesk:

« Nous sommes convaincus que dans le contexte des cryptomonnaies, une analyse de sécurité rigoureuse est particulièrement importante car les failles de sécurité ont une valeur monétaire directe et sont donc, contrairement à de nombreux autres contextes, assurées d'être exploitées. »

Il s'avère que cet objectif est si ambitieux que les chercheurs collaborent déjà avec le géant technologique Bosch pour concevoir un prototype. De plus, le projet a été salué par le créateur Ethereum , Vitalik Buterin.

En fait, Buterin a été le premier àlouer l'idée, affirmant que les preuves de sécurité mises en œuvre par l'équipe étaient un pas dans la bonne direction pour l'écosystème dans son ensemble, et devraient être étudiées, voire adoptées, par des projets de mise à l'échelle de toutes sortes.

« Je pense vraiment que nous avons besoin d’une sorte de machine à usage général pour vérifier formellement les propriétés des systèmes de couche deux en général », a déclaré Buterin.

Voyage vers l'État

En prenant du recul, cependant, le chemin de l'équipe vers Perun était un BIT sinueux.

Dziembowski a déclaré à CoinDesk que lui et son équipe voulaient à l'origine créer une application de partage de fichiers « équitable » sur Ethereum , mais qu'ils ont été confrontés à des problèmes critiques peu après le début du processus de développement de cette application.

« En travaillant sur ce projet, nous avons remarqué qu'un goulot d'étranglement fondamental pour faire fonctionner notre application était les coûts élevés des transactions en chaîne et le temps relativement lent de traitement des contrats intelligents exécutés sur la blockchain », a déclaré Dziembowski.

C'est exactement ce que d'autres développeurs ont vécu, notamment avec l'application de collection de chats numériquesLes CryptoKitties ont émergé En tant que favori des utilisateurs, ce qui explique la lenteur des transactions et les frais élevés. Plusieurs solutions de scalabilité ont été FORTH à la communauté Ethereum depuis, mais l'équipe de Perun s'est en fait inspirée d'un tout autre réseau.

C'est le réseau Lightning de Bitcoin, une autre « solution de couche 2 » pour la blockchain Bitcoin , qui a suscité leur intérêt. C'est alors que l'équipe, qui comprend également les chercheuses Kristina Hostakova et Lisa Eckey, s'est mise à travailler sur une Technologies compatible avec la plateforme plus ambitieuse d'Ethereum.

Heureusement, d'autres avaient déjà commencé à exploiter cette idée grâce à une Technologies appelée « canaux d'état », qui étend Lightning aux contrats intelligents complexes d'Ethereum. L'article de Perun ne fait donc que poursuivre ces recherches en formulant une spécification décrivant un ensemble d'exigences nécessaires à toute implémentation de canal d'état pour se protéger contre des « adversaires puissants ».

Vers la réalité ?

Cela dit, l’équipe de Perun et même Buterin comprennent qu’il reste encore un long chemin à parcourir.

Dziembowski a déclaré que le prototype de son équipe n'était T encore prêt à être utilisé en conditions réelles, mais qu'il était désormais « principalement destiné à la recherche ». Buterin a quant à lui exprimé son inquiétude quant au « risque d'erreur » futur lors de la mise en pratique de la théorie avec du code de contrat intelligent réel.

S'exprimant sur ces risques, Dziembowskinommé The DAO, une organisation basée sur Ethereum qui était censée s'appuyer uniquement sur du code mais qui a fini par faire faillite après que des utilisateurs ont été piratés pour plus de 50 millions de dollars d'Ether, comme exemple de ce qui peut mal se passer et à quel point.

Pourtant, nombreux sont ceux qui sont enthousiasmés par cet effort.

Buterin a même déclaré qu'il avait l'intention de proposer un cadre de sécurité similaire pourPlasma, un projet de mise à l'échelle très attendu dont il a été co-auteur l'année dernière et que des startups comme OmiseGo mettent désormais en pratique.

Parlant du travail de Perun, Buterin a poursuivi :

« Personnellement, je suis convaincu qu’il est fondamentalement possible de réaliser tout ce que vous prétendez de la manière dont vous le faites. »

L'équipe de recherche lui a répondu qu'elle travaillait sur une mise en œuvre simple.

BLUR de mouvementimage via Shutterstock