Zilliqa 提携を発表した ChainSecurity を通じて Twitter投稿 今日。 両社は、Zilliqaエコシステム向けのセキュリティツールを開発することを目的として提携を結びました。
セキュリティへの執着とChainSecurityとの協業によるZilliqa
同社は、高セキュリティのスマートコントラクトを通じて明らかになるように、常にセキュリティに焦点を当ててきました。 さらに、スマートコントラクトは「バグ耐性」のある言語を使用しており、バグのないシステムを確保することで高いセキュリティを提供します。それでも、同社はインフラをさらに強固なものにすることで、セキュリティを一段階高めることを望んでいます。
ChainSecurityは、Zilliqaネットワーク向けの拡張可能な静的解析フレームワークを開発します。これにより、開発者はプログラムコード内の問題を検出できるようになります。このインフラストラクチャは、制御フロー、データフロー、および情報分析を可能にし、これらはシステムのセキュリティ特性を決定する上で重要な要素です。
ChainSecurityとは？
ChainSecurityは、ブロックチェーン向けの最初の自動形式検証プラットフォームを購入したICEのスタートアップです。 ICEは、欧州連合ETHチューリッヒ大学にあるブロックチェーンに特化した研究開発ラボです。現在、ChainSecurityはブロックチェーンエコシステム内で70社以上のクライアントを抱えています。
ChainSecurityとZilliqa：提携がブロックチェーンにもたらすもの
このスタートアップは、開発者がコード内のセキュリティ脆弱性を検出できるセキュリティスキャナーを導入する計画です。 これには、不適切なコーディング慣行から生じる一般的な脆弱性も含まれます。
ChainSecurityはまた、Scilla言語の形式検証も実施しています。これにより、スタートアップは言語の特性を認識し、さまざまなセキュリティ目的で言語を活用することができます。この協業はZilliqaのセキュリティを向上させ、他のセキュリティ重視のビジネスが従うべきモデルを生み出します。
Zilliqaの価格動向は障害に直面しているように見え、ベアーズ（売り手）が市場のモメンタムを支配しているようです。より詳細な価格分析はこちらでお読みいただけます。
暗号通貨のニュースを読むだけでなく、それを理解しましょう。ニュースレターに登録してください。無料です。
Ahmad Asghar
本質的にファーストジェネレーションのゲーマーであり、天性のテック好きとして、過去10年以上にわたりテクノロジー業界に関わってきました。その洞察と知識を活かし、現在はブロックチェーン、暗号資産、そしてフィンテック全般をカバーし、業界を理解できるよう支援しています。
