CertiK基金會推出以安全為重點的區塊鏈

區塊鏈網路安全公司CertiK推出了其原生CertiK Chain區塊鏈。 CertiK基金會於7月22日在官方博客文章中宣布了其新版本。

根據公告，CertiK Chain旨在提供全面安全的區塊鏈基礎設施。

據報道，這個區塊鏈的完整節點將運行在CertiKOS上，他們稱這是一個「完全驗證的虛擬機管理程序/並發操作系統內核」，提供據稱是針對黑客攻擊的軍用級安全性。此外，該公告還指出，區塊鏈由CertiK虛擬機支持，後者使用公司的形式驗證平台確保其正確實施。

然後可以使用函數式編程語言DeepSEA開發智能合約，據報道，DeepSEA通過代碼保證安全性。此外，據報道，任何鏈上智能合約都將具有加密貨幣證書，作為經過驗證的安全性的證據;但是，據報道，沒有這種證書的智能合約可能需要額外收費。

根據博客文章，CertiK的一個主張是區塊鏈需要足夠的安全性才能擴大規模。 CertiK希望其區塊鏈可以成為一個長期解決方案，可以大規模採用區塊鏈技術。

據其網站稱，CertiK目前通過安全審計，滲透測試和平台定製提供以區塊鏈為中心的網路安全服務。此外，該公司還與主要的區塊鏈組織建立了合作夥伴關係，例如Binance，CertiK在1月份宣布了這一組織。

正如Cointelegraph之前報道的那樣，以太坊基金會在3月份為DeepSEA項目提供了資金。開源區塊鏈項目Qtum還在12月為DeepSEA提供了400,000美元的資金。該項目由哥倫比亞的Ronghui Gu教授領導，他也是CertiK的聯合創始人。