CertiK完成对Trias智能合约的安全审计

据悉，Trias智能合约已经顺利通过CertiK的安全审计，在此期间，Trias智能合约接受了CertiK全面、严格的形式化验证审计，并确认合约安全无漏洞。 作为KuCoin Spotlight 的第二期项目，Trias将于5月14日上线。Trias旨在定义支持通用应用程序的新一代公链体系，构建可信赖的智能自主运算设备，构筑普世可信赖计算机生态，潜心研发面向未知威胁的持续免疫技术，可有效提升企业信息系统应对未知威胁的能力。 CertiK已成功保护累计超43亿美元的资产免受损失。本次安全审计可以有效帮助Trias团队更好的规避风险。