NEO、CertiKとの提携を発表

2018.07.31

BCHNews編集部

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

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

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

参考URL:https://medium.com/neo-smart-economy/neo-partners-with-certik-for-next-secure-smart-economic-model-7f342d98e30e

BCHNews編集部

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

関連記事

WAX、CryptoCarzと提携

2018.09.05

by BCHNews編集部

HCASH、モバイルでの自動PoS機能を停止

2018.09.05

by BCHNews編集部

ICON財団、Portal Networkとの戦略的提携を発表

2018.09.05

by BCHNews編集部

BitcoinCash向けウォレットのMoney Buttonがローンチされる

2018.09.17

by BCHNews編集部