CertiK基金会是一家技术组织，奉行安全第一的准则。基金会运用安全可信赖的软件程序，得到了IBM和以太坊基金会的资助。同时，CertiK基金会
CertiK基金会是一家技术组织，奉行安全第一的准则。基金会运用安全可信赖的软件程序，得到了IBM和以太坊基金会的资助。同时，CertiK基金会致力于提升算法、协议和业务功能的安全性，在区块链和其他关键任务软件中推进使用更安全的程序和编程方法。
CertiK基金会着力于研究形式化验证技术和保证其中从端到端的正确性，从而建设安全性编程社区，为区块链节点创建一个统一的、高表现力的并且端到端的安全基础架构。
CertiK团队宣布，CertiK链测试网Beta版本已于今日首发。
CertiK链以CertiK基金会独有的形式化验证平台为基础所打造，是一个安全且公开的区块链。迄今为止，CertiK已保护超过62.3亿美元的资产免受黑客窃取，审计范围涵盖了包括BNB、TrueUSD、Terra、PAX Gold、Ocean Protocol等在内的各大公司及项目。
CertiK链拥有自己的本地虚拟机——CertiK虚拟机(CVM)。它具有与以太坊虚拟机(EVM)完全兼容的特性，并允许现有的Solidity智能合约无缝运行。该区块链的完整节点将运行在CertiKOS上，这是一个“经过充分验证的管理程序并发操作系统内核”，可以提供军事级安全以防黑客攻击，并允许Solidity智能合约在Cosmos网络上运行，是最早在Cosmos网络上实现链间互操作性的链之一。
CertiK链将安全性作为一种有形的运行时间价值，允许智能合约在运行之前检查其他智能合约提交的安全审计数据。如同银行可以根据信用评分来判定用户的信用额度及APR，智能合约也可根据其他智能合约的安全性来进行不同的交互。
在Testnet 2.0部署之后，Testnet 3.0作为公开测试版即将发布，这次版本升级后，CertiK链采用了DPoS(代理权益证明)。有了DPoS共识算法，测试网就能有效地处理拓展和区块验证。
此次发布的测试版本不仅提升了额外的安全度，使普通企业也可以使用CertiK链，且为了确保其安全性，测试网同样拥有包括沙箱和隔离不安全的代码在内的其他安全保护功能，以防止与区块链的其他部分进行恶意交互。
CertiK链最初由耶鲁大学的FLINT团队开发，是世界上唯一经过完全认证的、可同时运行的操作系统内核和管理程序，将在CertiKOS上运行。除此之外，CVM也将可以运行用函数式编程语言DeepSEA开发的智能合约。
目前DeepSEA已经获得了以太坊基金会、量子基金会和Columbia- IBM的资助。
CertiK团队所构建的CertiK链是建立在安全性拥有最高优先级这个基础概念之上的技术，可为区块链建立起一个强大的基础层，在区块链应用层面，进一步有效降低成本，提高能效。（CertiK）
