CertiK基金會是一家技術(shù)組織，奉行安全第一的準則。基金會運用安全可信賴的軟件程序，得到了IBM和以太坊基金會的資助。同時，CertiK基金會
CertiK基金會是一家技術(shù)組織，奉行安全第一的準則?；饡\用安全可信賴的軟件程序，得到了IBM和以太坊基金會的資助。同時，CertiK基金會致力于提升算法、協(xié)議和業(yè)務功能的安全性，在區(qū)塊鏈和其他關(guān)鍵任務軟件中推進使用更安全的程序和編程方法。
CertiK基金會著力于研究形式化驗證技術(shù)和保證其中從端到端的正確性，從而建設(shè)安全性編程社區(qū)，為區(qū)塊鏈節(jié)點創(chuàng)建一個統(tǒng)一的、高表現(xiàn)力的并且端到端的安全基礎(chǔ)架構(gòu)。
CertiK團隊宣布，CertiK鏈測試網(wǎng)Beta版本已于今日首發(fā)。
CertiK鏈以CertiK基金會獨有的形式化驗證平臺為基礎(chǔ)所打造，是一個安全且公開的區(qū)塊鏈。迄今為止，CertiK已保護超過62.3億美元的資產(chǎn)免受黑客竊取，審計范圍涵蓋了包括BNB、TrueUSD、Terra、PAX Gold、Ocean Protocol等在內(nèi)的各大公司及項目。
CertiK鏈擁有自己的本地虛擬機——CertiK虛擬機(CVM)。它具有與以太坊虛擬機(EVM)完全兼容的特性，并允許現(xiàn)有的Solidity智能合約無縫運行。該區(qū)塊鏈的完整節(jié)點將運行在CertiKOS上，這是一個“經(jīng)過充分驗證的管理程序并發(fā)操作系統(tǒng)內(nèi)核”，可以提供軍事級安全以防黑客攻擊，并允許Solidity智能合約在Cosmos網(wǎng)絡(luò)上運行，是最早在Cosmos網(wǎng)絡(luò)上實現(xiàn)鏈間互操作性的鏈之一。
CertiK鏈將安全性作為一種有形的運行時間價值，允許智能合約在運行之前檢查其他智能合約提交的安全審計數(shù)據(jù)。如同銀行可以根據(jù)信用評分來判定用戶的信用額度及APR，智能合約也可根據(jù)其他智能合約的安全性來進行不同的交互。
在Testnet 2.0部署之后，Testnet 3.0作為公開測試版即將發(fā)布，這次版本升級后，CertiK鏈采用了DPoS(代理權(quán)益證明)。有了DPoS共識算法，測試網(wǎng)就能有效地處理拓展和區(qū)塊驗證。
此次發(fā)布的測試版本不僅提升了額外的安全度，使普通企業(yè)也可以使用CertiK鏈，且為了確保其安全性，測試網(wǎng)同樣擁有包括沙箱和隔離不安全的代碼在內(nèi)的其他安全保護功能，以防止與區(qū)塊鏈的其他部分進行惡意交互。
CertiK鏈最初由耶魯大學的FLINT團隊開發(fā)，是世界上唯一經(jīng)過完全認證的、可同時運行的操作系統(tǒng)內(nèi)核和管理程序，將在CertiKOS上運行。除此之外，CVM也將可以運行用函數(shù)式編程語言DeepSEA開發(fā)的智能合約。
目前DeepSEA已經(jīng)獲得了以太坊基金會、量子基金會和Columbia- IBM的資助。
CertiK團隊所構(gòu)建的CertiK鏈是建立在安全性擁有最高優(yōu)先級這個基礎(chǔ)概念之上的技術(shù)，可為區(qū)塊鏈建立起一個強大的基礎(chǔ)層，在區(qū)塊鏈應用層面，進一步有效降低成本，提高能效。（CertiK）
關(guān)鍵詞： CertiK鏈 測試網(wǎng)Beta版本 DPoS
