INK跨链协议形式化验证完成 代码已通过安全团队CertiK测评

 

7月11日消息，墨链（INK）发布推特表示，近日，区快链安全团队CertiK完成对Ink跨链协议智能合约的形式化验证和系统检测，并发布代码审核报告。CertiK得出结论：认证Ink跨链协议智能合约中的代码完全通过安全测评，具备抵抗黑客攻击的能力。