NEO、CertiKとの提携を発表

2018.07.31

BCHNews編集部

協力して、次世代のスマートな経済モデルを実現

今週、NEOは、スマートコントラクトとブロックチェーンエコシステムのための形式検証プラットフォームであるCertiKとの提携を発表した。
スマートコントラストの検証に加えて、CertiKは、NEOの資産とデジタルアイデンティティを検証するために最適化したソリューションも提供する。

形式検証とは、厳しい数学的演繹を使用して特定のシステムコードが要件を満たしているかどうかをチェックする。
NEOは、ほとんどが個人開発で開発されているNEOの潜在的な抜け穴を防ぐために、形式検証が不可欠であるとしている。

この記事のカテゴリ

この記事のタグ

BCHNews編集部です。
日々更新される暗号通貨関連のニュースを読者の皆様にお届けします。