Zilliqa dévoilé aujourd'hui son partenariat avec ChainSecurity via une publication sur Twitter . Les entreprises ont conclu le partenariat dans l'intention de développer des outils de sécurité pour l' Zilliqa .
L'obsession de Zilliqa pour la sécurité et la collaboration avec ChainSecurity
L'entreprise a toujours été axée sur la sécurité, comme en témoignent dent trac de haute sécurité . trac intelligents utilisent un langage « résistant aux bogues » qui offre une sécurité élevée en garantissant un système sans bogues. Néanmoins, l'entreprise espère faire passer la sécurité à un niveau supérieur en rendant son infrastructure encore plus imprenable.
ChainSecurity développera un cadre d'analyse statique extensible pour le réseau Zilliqa . Cela permettrait aux développeurs de détecter les problèmes dans les codes de leurs programmes. L'infrastructure permettrait des analyses de flux de contrôle, de flux de données et d'informations qui sont des facteurs importants lors de la détermination des propriétés de sécurité d'un système.
Qu'est-ce que ChainSecurity ?
ChainSecuirty est une startup ICE qui a acheté la première plateforme d'audit formel automatisé pour les blockchains. ICE est un blockchain de l'Université européenne ETH Zurich. Actuellement, ChainSecurity compte plus de soixante-dix clients dans l'écosystème de la blockchain.
ChainSecurity et Zilliqa : que réserve le partenariat pour la blockchain
La startup prévoit d'introduire un scanner de sécurité qui permettra aux développeurs de détecter les vulnérabilités de sécurité dans leurs codes. Il s'agit notamment de vulnérabilités génériques résultant de pratiques de codage inappropriées.
ChainSecurity mène également un audit formel du langage Scilla. De cette façon, la startup peut reconnaître ses propriétés et donc utiliser le langage à diverses fins de sécurité. La collaboration améliorera la sécurité de Zilliqa tout en créant un modèle à suivre pour les autres entreprises axées sur la sécurité.
prix Zilliqa semble être un obstacle car les baissiers semblent contrôler la dynamique du marché. Vous pouvez lire une analyse de prix plus détaillée ici.
