Binance Labs investit des millions dans la plateforme d'audit blockchain CertiK

Binance Labs, l'aile incubatrice de la bourse de Cryptomonnaie Binance, a investi dans une startup de contrats intelligents et d'audit de blockchain, a annoncé la société lundi.

Baptisée CertiK, l'entreprise vise à sécuriser les contrats intelligents et les plateformes blockchain grâce à un processus de vérification formel. L'équipe a déjà commencé à s'assurer que les plateformes blockchain existantes ne contiennent pas de bugs susceptibles d'entraîner une perte de fonds ou d'autres vulnérabilités, selon un communiqué de presse.

L'entreprise a été fondée l'année dernière, en partie par le professeur de Yale Zhong Shao, connu pour avoir développé un «système d'exploitation certifié" appelé CertiKOS et professeur adjoint de l'Université de Columbia, Ronghui Gu.

L'équipe de CertiK opère en appliquant des preuves mathématiques aux réseaux pour déterminer si les pirates peuvent pénétrer dans les systèmes.

Les méthodes de l'équipe incluent « une approche de décomposition par couches, des moteurs de preuve enfichables, des objets de preuve vérifiables par machine, des bibliothèques certifiées [d'applications décentralisées] et un étiquetage intelligent », selon le communiqué. Grâce à ces approches, les chercheurs affirment pouvoir confirmer objectivement la sécurité d'une plateforme blockchain.

Bien que Binance Labs n'ait pas divulgué le montant total de l'investissement, un porte-parole a déclaré à CoinDesk que sa participation représentait « plusieurs millions » de dollars.

La PDG de l'incubateur, Ella Zhang, a déclaré dans le communiqué que la plateforme de CertiK répond à au moins un besoin exceptionnel dans l'espace blockchain, expliquant :

« CertiK valide mathématiquement la sécurité des contrats intelligents, ce qui est un point critique auquel nous sommes confrontés dans l'écosystème blockchain, en contournant les limites de la détection manuelle. »

Cet investissement « témoigne de la reconnaissance de l'importance de la vérification formelle dans le secteur de la blockchain », poursuit le communiqué. CertiK, en particulier, bénéficie d'un « avantage unique » dans ce domaine, compte tenu de son histoire et de Technologies éprouvée.

Cette Technologies comprend CertiKOS, qui a déjà été utilisé dans des programmes d'entreprise et militaires, et est ONEun des outils utilisés par l'Agence américaine des projets de recherche avancée de défense (DARPA), selon les notes de publication.

Miniatures d'entrepriseimage via Shutterstock