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）