CertiK

鏈聞消息，去中心化借貸協議 Aave 宣佈其 V2 版本已通過安全機構 Sigma Prime 的安全審計，這也是 Aave V2 協議完成的第五次安全審計，此前是 Certik、Certora、Mixbytes、PeckShield…

鏈聞消息，ZKSwap 官方表示已重置測試網併發布第 5 版測試網，重點修復了前面 4 個版本中的各種漏洞，並且已經修復了 ABDK、Certik、慢霧 3 家審計單位所反饋的問題。官方表示，第 5 版測試網可公開上線， 並且，由於使用了更多的高性能服務器來加速 zk 證明的計算，從而進一步解決了…

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

鏈聞消息，據 Cointelegraph 報道，區塊鏈安全公司 CertiK 宣佈推出自動掃描智能合約漏洞的工具 QuickScan。QuickScan 根據已知的漏洞數據庫檢查已部署的智能合約，使用靜態和動態分析技術檢查每個智能合約的字節碼、源代碼和訪問參數。該系統將成爲 CertiK Chain…

鏈聞消息，區塊鏈安全公司 CertiK （CTK）發佈基於 CertiK 鏈的去中心化安全預言機，旨在有效減少鏈上交易與實時安全檢測之間的距離，致力於運用去中心化的方法來解決安全難點。CertiK 安全預言機可以應用於任何支持智能合約功能的區塊鏈平臺（如以太坊）。CertiK…

鏈聞消息，DeFi 借貸平臺 ForTube 2.0 將於 9 月初上線，多項核心功能將升級，包括支持 YFI、NEST、LEND 等熱門數字資產，升級算法和賬本結構，Gas 費用將大幅度降低。ForTube 2.0 採用獨創的鏈下審計系統，可對合約資產進行 7x24 不間斷審計…

鏈聞消息，基於以太坊的 DeFi 協議 ForTube 發佈 Bank 模塊 1.0 版本的智能合約安全審計結果，此次審計由安全團隊 Certik 執行。ForTube 表示，CertiK 團隊運用動態分析、靜態分析和人工複覈等方法對 Bank 1.0 進行了安全審計，審計報告結果爲：Bank…

鏈聞消息，區塊鏈安全公司 CertiK 宣佈完成對跨鏈 DeFi 項目 Kava 的第二次代碼安全審計。目標是通過發現和修復可能導致未經授權的訪問、資金損失、級聯故障等已知漏洞以及其他安全漏洞，幫助 Kava Labs 保護用戶的資金安全。在六週的審計後，CertiK 再次確認 Kava…

鏈聞消息，Taxa 團隊宣佈 TXT 智能合約已通過區塊鏈安全公司 CertiK 安全審計，這將確保 Taxa 主網在今年春天以公開透明、安全、去中心化的方式順利發佈。CertiK 的智能標籤對 TXT 智能合約源代碼進行了 100% 形式化驗證覆蓋，並輔以安全專家人工逐行審覈。審計結果認爲 TXT…

鏈聞消息，形式化驗證平臺 CertiK 宣佈作爲安全合作伙伴加入 staking 生態服務平臺 HashQuark OSP，提供安全審計服務，維護生態安全。HashQuark OSP 爲個人、團隊與平臺機構提供定製化 staking 解決方案，已服務於逾 10 家數字資產平臺。CertiK…