Les codeurs de la blockchain WIN une subvention pour corriger les contrats intelligents avec le « jargon juridique »

Le mantra « bouger vite et casser des choses » peut bien fonctionner dans les logiciels traditionnels, mais comme l’a montré la disparition de The DAO, l’approche pourrait ne pas être adaptée aux technologies financières expérimentales.

Mais à la suite de la disparition de la DAO, de nouveaux efforts commencent à émerger qui cherchent à relever les défis auxquels les développeurs ont été confrontés jusqu'à présent en travaillant avec des contrats intelligents, les éléments clés qui ont sous-tendu le projet et dont l'exploitation a conduit à son échec.

ONEune de ces startups est Legalese, un projet issu des efforts internes de l'accélérateur d'amorçage JFDI Asia, et qui compte parmi ses rangs un cofondateur notable de cette opération.

Cofondé par Virgil Griffith et Wong Meng Weng, Legalese est un projet open source qui écrit un nouveau langage de programmation spécifiquement destiné aux contrats intelligents. Baptisé L4, ce langage est conçu pour aider les codeurs à VET correctement les contrats avant leur mise en ligne.

Après avoir gagné 8 888 $ grâce à unprogramme de subventionsoffert par un projet financier autonomeLaboratoires de cordesGriffith a déclaré qu’il était prêt à poursuivre son travail avec une équipe de leaders établis dans l’industrie.

Griffith a déclaré à CoinDesk:

« L'idée fondamentale était de créer un langage de programmation pour le droit. Il s'agit en fait d'une manière mathématique de décrire les obligations et les relations. »

En utilisant ce qu'on appelle le mu-calcul modal, Griffth et Wong, qui ont précédemment conçu l'infrastructure de messagerie électronique RFC4408, ont battu environ 30 autres candidats à la subvention.

Nouveau langage de programmation

L'offre phare de Legalese est le langage formel L4, conçu pour permettre aux programmeurs de publier plus facilement des contrats intelligents pour une utilisation publique sans avoir besoin de faire vérifier ces contrats.

Les codeurs, ont expliqué les responsables du projet, écriraient en L4, qui serait ensuite converti en Solidity, le nouveau langage de programmation d'Ethereum. Ce langage pourrait ensuite être compilé en byte code, qui serait lu et interprété par les machines virtuelles Ethereum (EVM), le composant du protocole qui lit et gère les instructions dynamiques.

Le premier produit du projet est un logiciel en tant que serviceapplicationconçu pour aider les entrepreneurs à remplir les documents relatifs à un tour de financement providentiel ou d'amorçage, y compris l'encodage des accords d'actionnaires, des résolutions d'entreprise, des avis de droits et des résolutions d'entreprise.

À l’avenir, le travail de Legalese pourrait aider à empêcher la publication de code comportant des failles pouvant être exploitées par des attaquants, selon Tom Ding, cofondateur de String Labs et cofondateur de Blockchain University.

Ding a dit :

« Lorsque vous rédigez un contrat, vous souhaitez détecter tous les bugs. Les avocats utilisent leur formation et leur expérience pour détecter les failles, et les contrats intelligents ont besoin de la même chose. »

Subventions à chaîne ouverte

Également annoncé par String Labs, startup spécialisée dans l'historique de crédit en chaîneHistoirea gagné 10 000 $ pour construire un système d'historique de crédit qui voyage avec les utilisateurs au-delà des frontières.

Les historiques de crédit en ligne pourraient ensuite être utilisés par d’autres contrats intelligents pour faciliter les emprunts en ligne et hors ligne.

« L’idée ultime est de réduire le coût des transactions », a déclaré Ding.

Legalese et Distory sont les premiers gagnants de ce que Ding espère être uncycle de subventions en coursfinancer des projets spécifiquement construits sur des blockchains publiques.

Image en petits caractèrespar Shutterstock