INK跨链协议形式化验证完成 代码已通过安全团队CertiK测评
7月11日消息,墨链(INK)发布推特表示,近日,区块链安全团队CertiK完成对Ink跨链协议智能合约的形式化验证和系统检测,并发布代码审核报告。CertiK得出结论:认证Ink跨链协议智能合约中的代码完全通过安全测评,具备抵抗黑客攻击的能力。
发布者: | szjc68 | 浏览次数: | 213 |
有效期至: | 长期有效 | 发布时间: | 2018-07-11 12:25 |
您还没有登录,请登录后查看详情
|
客服微信