On February 13, Trias announced a strategic partnership with CertiK, the leading security organization, to strengthen the security of the blockchain industry.
Trias is a trustworthy cross-cloud infrastructure built by blockchain. Using TEE, through the three layers of MagCarta\Prometh\Leviatom, and the original consensus mechanism HCGraph, Trias is creating a trustworthy Layer “-1” for Blockchains, Clouds and Enterprise Applications.
Trias aims to define a new-generation all-platform-supported public chain system. And Trias’s vision is to build a trustworthy and reliable general-purpose computation infrastructure, where any system and software implement only expected behaviours, and make people trust in machines. Trias technologies have been applied in several institutions, including governments(Fuzhou\Taizhou\Chongren) and enterprises(Soochow Securities\China Asean Marine products exchange).
Cooperating with CertiK, Trias will provide security services to the entire blockchain industry, ensure the sustainable development of the blockchain ecosystem, and establish a trusted and reliable trading ecosystem
About CertiK
CertiK leads blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and hacker-resistance. CertiK was founded by Computer Science professors of Yale University and Columbia University, securing over $5B in assets, including many of the world’s top projects.
