CertiK文章 資訊 新聞 快訊 深度評論 介紹 解讀

鏈聞消息，區塊鏈安全公司 CertiK 宣佈 CertiK Chain 主網將於北京時間 2020 年 10 月 24 日 22 點 24 分上線。鏈聞此前報道，9 月中旬，CertiK 基金會正式開源 CertiK Chain。目前已開放使用的產品包括 CertiK Chain、去中心化 CertiK 安全預言機、用於編寫安全智能合約的安全編程語言和編譯器工具鏈 DeepSEA 工具鏈。

鏈聞消息，CertiK 基金會宣佈現已正式開源 CertiK Chain。目前已開放使用的產品包括 CertiK Chain、去中心化 CertiK 安全預言機、用於編寫安全智能合約的安全編程語言和編譯器工具鏈 DeepSEA 工具鏈。鏈聞此前報道，9 月 7 日，CertiK 發佈基於 CertiK 鏈的去中心化安全預言機，旨在有效減少鏈上交易與實時安全檢測之間的距離，致力於運用去中心化的方法來解決安全難點。

鏈聞消息，區塊鏈安全公司 CertiK （CTK）發佈基於 CertiK 鏈的去中心化安全預言機，旨在有效減少鏈上交易與實時安全檢測之間的距離，致力於運用去中心化的方法來解決安全難點。CertiK 安全預言機可以應用於任何支持智能合約功能的區塊鏈平臺（如以太坊）。CertiK 鏈在其業務區塊鏈上部署了安全預言機的公共入口，以接收來自 DeFi 應用程序的安全查詢，爲即將進行的交易提供信息。用戶可以輕鬆訪問安全預言機、查詢即將進行的交易，並獲得實時的安全情報。另外，CertiK 提出的解決方案都將使用 CertiK 鏈上的原生代幣 CTK 來維護預言機網絡的正常運轉。

鏈聞消息，DeFi 借貸平臺 ForTube 2.0 將於 9 月初上線，多項核心功能將升級，包括支持 YFI、NEST、LEND 等熱門數字資產，升級算法和賬本結構，Gas 費用將大幅度降低。ForTube 2.0 採用獨創的鏈下審計系統，可對合約資產進行 7x24 不間斷審計 ，全方位保護用戶資產安全。同時，使用業內領先的安全可升級的系統架構，可在去中心化治理的管理體系下對各系統模塊進行靈活升級，以實現功能迭代和安全更新，極大地提升了產品的使用體驗和可維護性。在安全性方面，團隊聘請了慢霧、CertiK、派盾等爲 ForTube 提供代碼審計服務。ForTube 2.0 還將採用全新的挖礦模式，包括淨資產挖礦等，實現用戶預期收益的最大化 。此外，ForTube 2.0 將開啓優質資產投票上幣，以及 FOR 的 Staking 功能，更好的推動 FOR 的應用場景落地和價值賦能。

鏈聞消息，基於以太坊的 DeFi 協議 ForTube 發佈 Bank 模塊 1.0 版本的智能合約安全審計結果，此次審計由安全團隊 Certik 執行。ForTube 表示，CertiK 團隊運用動態分析、靜態分析和人工複覈等方法對 Bank 1.0 進行了安全審計，審計報告結果爲：Bank 項目的代碼庫在設計和細節方面經過了認真的處理，文檔規範，所有區域均未發現主要或次要漏洞，經過整體分析，ForTube Bank 通過安全性檢驗，且在數學層面上驗證無誤。

鏈聞消息，區塊鏈安全公司 CertiK 宣佈完成對跨鏈 DeFi 項目 Kava 的第二次代碼安全審計。目標是通過發現和修復可能導致未經授權的訪問、資金損失、級聯故障等已知漏洞以及其他安全漏洞，幫助 Kava Labs 保護用戶的資金安全。在六週的審計後，CertiK 再次確認 Kava 交付的代碼處於非常高的安全水平。審計工作嚴格限定在源代碼的具體提交範圍內，模塊包括 CDP 模塊和拍賣模塊。鏈聞注，此前在 2020 年 3 月，CertiK 完成了對 Kava Labs 驗證器 Vesting 模塊的安全審計，審覈結果證實了 Kava 的代碼交付了一個安全的優級實施協議。

鏈聞消息，Taxa 團隊宣佈 TXT 智能合約已通過區塊鏈安全公司 CertiK 安全審計，這將確保 Taxa 主網在今年春天以公開透明、安全、去中心化的方式順利發佈。CertiK 的智能標籤對 TXT 智能合約源代碼進行了 100% 形式化驗證覆蓋，並輔以安全專家人工逐行審覈。審計結果認爲 TXT 智能合約結構堅固，不存在整數溢出、函數錯誤、緩衝區溢出等漏洞。Taxa 是基於前沿隱私技術，致力於成爲分層區塊鏈架構中的通用邏輯層，支持計算能力強大、保護數據隱私的、開發環境友好的應用，助力真實世界中去信任化技術的發展。

鏈聞消息，形式化驗證平臺 CertiK 宣佈作爲安全合作伙伴加入 staking 生態服務平臺 HashQuark OSP，提供安全審計服務，維護生態安全。HashQuark OSP 爲個人、團隊與平臺機構提供定製化 staking 解決方案，已服務於逾 10 家數字資產平臺。CertiK 是智能合約以及區塊鏈生態的形式化驗證平臺，由耶魯大學和哥倫比亞大學提供研究支持，稱目前已爲 200 餘家交易所和公鏈提供安全審計服務，保護了近 62 億美元的資產。HashQuark 是香港金融科技公司 HashKey Group 旗下專注於 PoS、DPoS 以及其他共識機制公鏈的 staking 生態服務商，目前支持 Qtum、VET、EOS、Cosmos、IRISnet、IOST、Decred、Tezos、Cybex、ChainX 等十餘條公鏈。

鏈聞消息，對於 CYBEX 計劃上線 CertiK IOU 一事，CertiK 基金會發布公告稱對此毫不知情，也未曾與 CYBEX 接觸合作，而且 CertiK 基金會稱沒有授權任何機構出售代幣，也不允許二次銷售。去中心化交易所 CYBEX 前幾日發佈公告稱將在 7 月 26 日 12:00 以 IOU 方式上線 CertiK 代幣 CTK，用戶可以按盤面實時價格購買 CTK 期貨，還承諾將在 CertiK 主網上線後開放 CTK 充提。