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

鏈聞消息，穩定幣聚合協議 mStable 發佈儲蓄理財產品 mUSD Save 的 V2 版本。mStable 表示，mUSD Save v2 合約已通過 Certik 審計，Save V1 的現有用戶必須手動將其資金遷移到 Save V2。

鏈聞消息，去中心化虛擬遊戲平臺沙盒遊戲 The Sandbox 表示，The Sandbox ASSET 智能合約很容易出現重複問題，目前還沒有惡意用戶利用該漏洞進行攻擊，其他所有智能合約均不受影響，SAND 和 LAND 智能合約也沒有風險。另外，The Sandbox 已於 1 月 13 日告知交易 The Sandbox ASSET 的所有主要交易平臺（包括 OpenSea、Arkane Marketplace、Lootex、...

鏈聞消息，區塊鏈安全公司 CertiK 的去中心化鏈上資金保險池 CertiKShield 針對「Nexus Mutual 創始人 Hugh Karp 個人 37 萬枚 NXM 被盜」創建 WNXM Shield 保險資金池，爲 WNXM 持有者提供 CertiKShield 保險服務。目前所有 WNXM 的個人持有者均可以加入 CertiKShield，購買所需的 WNXM Shield，當其資產產生丟失、被盜或無法訪問等情況，CertiKShield 可爲其提供補償。...

鏈聞消息，由 Bittrex Global、Certik、Uphold 以及 Ledger 等組成的通用協議聯盟（Universal Protocol Alliance）在以太坊網絡上推出可交易的碳信用額代幣 Universal Carbon （UPCO2），目前可在 Uphold 上購買。具體來說，每個 UPCO2 都代表一種經過認證的碳信用額度，可購買和持有，也可用來抵消個人或公司的碳足跡，一個 UPCO2 代幣相當於抵押一年的二氧化碳排放量。相應地，UPCO2 將根據需求從零開始發行，每個代幣都由一個基礎的碳信用額作爲支持。另外，用戶無需購買一整個碳信用額度，而是可以根據購買金額來購買。另外，Universal Carbon 目前正在建立 Carbon 基金會。鏈聞注，碳信用額類似於一種證書，用於確認環境項目或公司在給定的一年中是否避免了 1 噸的二氧化碳（或等效溫室氣體）排放，並得到了 Verra 等國際減排標準機構的驗證。

鏈聞消息，開源算法穩定幣項目 Basis Cash 更新代幣分配規則，向將 DAI （MCD）、yCRV、USDT、SUSD 和 USDC 存入其分配合約的用戶分配的 Basis Cash （BAC）代幣數量從 10 萬減至 5 萬枚，每日 1 萬枚，向在 Uniswap v2 的資金池 BAC/DAI 中提供流動性的用戶分配的 Basis Shares （BAS）從 25 萬枚增加至 75 萬枚，分發首日將分配 6250 枚 BAS，之後將每 30 日減少到 75%。另外，Basis Cash 還向在 Uniswap v2 的資金池 BAS/DAI 中提供流動性的用戶分配的 BAS 從一年 75 萬枚減少至 25 萬枚，每日等量分配。此外，Basis Cash 已在 11 月上旬通過了區塊鏈安全公司 Certik 的審計。鏈聞注，Basis Cash 原身爲 Basis，後者是一個早期 DeFi 算法穩定幣，由於與 SEC 相關的風險而被關閉。今年 8 月份，匿名團隊宣佈在以太坊上重啓 Basis 項目，並將其重命名爲 Basis Cash。與之前的 Basis 不同，Basis Cash 沒有風險資本投資，沒有代幣銷售，也沒有預售代幣。Basis Cash 有三種代幣，分別爲內置穩定機制的、錨定 MakerDAO 多抵押 Dai 價值的 Basis Cash （BAC），用來激勵 BAC 供應的可鑄造和贖回的 Basis Bonds （BAB）以及代表 Basis Cash 網絡價值的 Basis Shares （BAS）。

鏈聞消息，由 Bittrex Global、Certik、Uphold 以及 Ledger 等組成的通用協議聯盟（Universal Protocol Alliance）宣佈，金融科技公司 Infinigold、硅谷投資公司 Hard Yaka 和 Fifth Era 加入其聯盟。同時，通用協議聯盟任命新董事長 Matthew Le Merle。Matthew Le Merle 爲 Fifth Era、Keiretsu Capital 和 Blockchain Coinvestors 的聯合創始人兼執行合夥人。通用協議聯盟還將於 2020 年 12 月 1 日和 12 月 8 日推出兩種新的代幣。Hard Yaka 是 Twitter 和 Square 的初始投資方和顧問。Infinigold 此前推出黃金支持的加密貨幣，由澳大利亞珀斯鑄幣庫儲存的黃金提供支持。另外，Infinigold 還公開由 Sigma Prime 出具的智能合約審計報告，報告發現了 1 個關鍵問題、1 個高風險問題、1 個低風險問題，目前這些問題已被解決。

鏈聞消息，跨鏈 DeFi 協議 Kava （KAVA）宣佈加入區塊鏈安全公司 CertiK 推出的去中心化鏈上資金保險池 CertiKShield，成爲 CertiKShield 會員。CertiKShield 資金池可補償在區塊鏈網絡上因被盜等原因導致無法追回的加密資產。同時，CertiKShield 也向 KAVA 持有者社區開放會員資格。鏈聞注，CertiKShield 是一種保險類型的網絡協議，用戶可以通過購買保護以防數字資產失竊。CertiKShield 資金池可通過 CertiK Chain 的鏈上管理系統來補償在區塊鏈網絡上因被盜等原因導致無法追回的加密資產。如果持有 Shield 的成員其損失無法被追回，該成員可以提交一份詳細的理賠提案，並讓 CertiK Chain 的成員參與投票，以決定該提案是否通過。

鏈聞消息，據 Cointelegraph 報道，區塊鏈安全公司 CertiK 宣佈推出自動掃描智能合約漏洞的工具 QuickScan。QuickScan 根據已知的漏洞數據庫檢查已部署的智能合約，使用靜態和動態分析技術檢查每個智能合約的字節碼、源代碼和訪問參數。該系統將成爲 CertiK Chain 內置的安全審覈系統的一部分。CertiK 首席運營官 Daryl Hok 表示，「智能合約分析可以在不到一個小時的時間內完成。該系統將安全評分分配給每個不同的區域，並將其彙總以展示總體評估。」據鏈聞此前報道，CertiK 主網 CertiK Chain 已於 10 月 24 日上線。

鏈聞消息，區塊鏈安全公司 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 通過安全性檢驗，且在數學層面上驗證無誤。