CertiK基金會(huì)是一家技術(shù)組織，奉行安全第一的準(zhǔn)則?；饡?huì)運(yùn)用安全可信賴(lài)的軟件程序，得到了IBM和以太坊基金會(huì)的資助。同時(shí)，CerTIK基金會(huì)致力于提升算法、協(xié)議和業(yè)務(wù)功能的安全性，在區(qū)塊鏈和其他關(guān)鍵任務(wù)軟件中推進(jìn)使用更安全的程序和編程方法。

CerTIK基金會(huì)著力于研究形式化驗(yàn)證技術(shù)和保證其中從端到端的正確性，從而建設(shè)安全性編程社區(qū)，為區(qū)塊鏈節(jié)點(diǎn)創(chuàng)建一個(gè)統(tǒng)一的、高表現(xiàn)力的并且端到端的安全基礎(chǔ)架構(gòu)。

CerTIK團(tuán)隊(duì)宣布，CerTIK鏈測(cè)試網(wǎng)Beta版本已于今日首發(fā)。

CertiK鏈以CertiK基金會(huì)獨(dú)有的形式化驗(yàn)證平臺(tái)為基礎(chǔ)所打造，是一個(gè)安全且公開(kāi)的區(qū)塊鏈。迄今為止，CertiK已保護(hù)超過(guò)62.3億美元的資產(chǎn)免受黑客竊取，審計(jì)范圍涵蓋了包括BNB、TrueUSD、Terra、PAX Gold、Ocean Protocol等在內(nèi)的各大公司及項(xiàng)目。

CertiK鏈擁有自己的本地虛擬機(jī)——CertiK虛擬機(jī)（CVM）。它具有與以太坊虛擬機(jī)（EVM）完全兼容的特性，并允許現(xiàn)有的Solidity智能合約無(wú)縫運(yùn)行。該區(qū)塊鏈的完整節(jié)點(diǎn)將運(yùn)行在CertiKOS上，這是一個(gè)“經(jīng)過(guò)充分驗(yàn)證的管理程序并發(fā)操作系統(tǒng)內(nèi)核”，可以提供軍事級(jí)安全以防黑客攻擊，并允許Solidity智能合約在Cosmos網(wǎng)絡(luò)上運(yùn)行，是最早在Cosmos網(wǎng)絡(luò)上實(shí)現(xiàn)鏈間互操作性的鏈之一。

CertiK鏈將安全性作為一種有形的運(yùn)行時(shí)間價(jià)值，允許智能合約在運(yùn)行之前檢查其他智能合約提交的安全審計(jì)數(shù)據(jù)。如同銀行可以根據(jù)信用評(píng)分來(lái)判定用戶(hù)的信用額度及APR，智能合約也可根據(jù)其他智能合約的安全性來(lái)進(jìn)行不同的交互。

在Testnet 2.0部署之后，Testnet 3.0作為公開(kāi)測(cè)試版即將發(fā)布，這次版本升級(jí)后，CertiK鏈采用了DPoS（代理權(quán)益證明）。有了DPoS共識(shí)算法，測(cè)試網(wǎng)就能有效地處理拓展和區(qū)塊驗(yàn)證。

此次發(fā)布的測(cè)試版本不僅提升了額外的安全度，使普通企業(yè)也可以使用CertiK鏈，且為了確保其安全性，測(cè)試網(wǎng)同樣擁有包括沙箱和隔離不安全的代碼在內(nèi)的其他安全保護(hù)功能，以防止與區(qū)塊鏈的其他部分進(jìn)行惡意交互。

CertiK鏈最初由耶魯大學(xué)的FLINT團(tuán)隊(duì)開(kāi)發(fā)，是世界上唯一經(jīng)過(guò)完全認(rèn)證的、可同時(shí)運(yùn)行的操作系統(tǒng)內(nèi)核和管理程序，將在CertiKOS上運(yùn)行。除此之外，CVM也將可以運(yùn)行用函數(shù)式編程語(yǔ)言DeepSEA開(kāi)發(fā)的智能合約。

目前DeepSEA已經(jīng)獲得了以太坊基金會(huì)、量子基金會(huì)和Columbia- IBM的資助。

CertiK團(tuán)隊(duì)所構(gòu)建的CertiK鏈?zhǔn)墙⒃诎踩該碛凶罡邇?yōu)先級(jí)這個(gè)基礎(chǔ)概念之上的技術(shù)，可為區(qū)塊鏈建立起一個(gè)強(qiáng)大的基礎(chǔ)層，在區(qū)塊鏈應(yīng)用層面，進(jìn)一步有效降低成本，提高能效。