MYKEY是一个在多个公共区块链上实施的自我主权身份系统，它能从社会维度、资产维度以及数据维度三方面共同提供信任网络、多链钱包和可靠的数据存储等服务。其代码具备一定的复杂性，CertiK团队对此高度重视，由形式化验证专家倪兆中带领下为MyKey提供了全面、缜密的安全审计。与此同时，此次安全审计不但验证MyKey拥有高质量的代码设计，也使得CertiK的形式化验证技术保护到更广泛公共区块链上。 未来，CertiK将继续与MyKey密切合作，共同创造安全的区块链新环境。