据CertiK官方消息，Trias智能合约已经顺利通过CertiK的安全审计，在此期间，Trias智能合约接受了CertiK全面、严格的形式化验证审计，并确认合约安全无漏洞。作为KuCoinSpotlight的第二期项目，Trias将于5月14日上线。Trias旨在定义支持通用应用程序的新一代公链体系，构建可信赖的智能自主运算设备，构筑普世可信赖计算机生态，潜心研发面向未知威胁的持续免疫技术，可有效提升企业信息系统应对未知威胁的能力。CertiK作为全球领先的区块链安全公司，利用其独有的形式化验证技术，已成功保护累计超43亿美元的资产免受损失。本次安全审计可以有效帮助Trias团队更好的规避风险。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。