鏈聞 ChainNews 誠邀讀者共同監督,堅決杜絕各類代幣發行、投資推薦及虛擬貨幣炒作信息。舉報

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

CertiK新聞快訊文章, CertiK深度文章, CertiK快訊, 區塊鏈CertiK, CertiK是什麼, CertiK介紹, CertiK解讀, CertiK項目, 三分鐘瞭解CertiK, 秒懂CertiK, 如何評價CertiK, CertiK怎麼樣, CertiK創始人, CertiK招聘, CertiK融資, CertiK價格, CertiK技術, CertiK社區, CertiK論壇, CertiK瀏覽器, CertiK排名, CertiK白皮書, CertiK本質, CertiK意義, CertiK代碼, CertiK遊戲, CertiK什麼意思, CertiK學習, CertiK培訓, CertiK教程, CertiK投資, CertiK賺錢, CertiK安全, CertiK漏洞

區塊鏈安全公司 CertiK 將於 10 月 24 日上線 CertiK 主網

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

這次我們殺出了以太坊 DeFi 黑暗森林,完美拯救 960 萬美元

知名白帽 Sam Sun 與 Tina Zhen、星火礦池等人徹夜合作,幫助 DeFi 穩定幣協議 Lien 免受漏洞攻擊,保護了 960 萬美元的資金。
這次我們殺出了以太坊 DeFi 黑暗森林,完美拯救 960 萬美元

區塊鏈安全公司 CertiK 正式開源 CertiK Chain

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

CertiK 預言機將爲 ForTube 提供鏈上實時安全評分

2020 年 9 月 14 日,知名 DeFi 項目 ForTube 和其官方安全審計服務商 CertiK 達成安全再合作,將與 CertiK 新產品——安全預言機進行集成。

區塊鏈安全公司 CertiK 發佈去中心化安全預言機

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

DeFi 借貸平臺 ForTube 2.0 將於 9 月初上線,支持 YFI、NEST、LEND 等資產

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

ForTube 的 Bank 模塊經過 Certik 安全審計,未發現主要或次要漏洞

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

區塊鏈瀏覽器夠安全嗎?瞭解 DoS 攻擊影響與應對之策

超過 50% 的區塊鏈瀏覽器面臨着被 DoS 攻擊的危險,可以採取措施增加攻擊成本並降低區塊鏈瀏覽器應用中存在漏洞的概率。
區塊鏈瀏覽器夠安全嗎?瞭解 DoS 攻擊影響與應對之策
·

多位政商名流與區塊鏈企業推特賬號被盜,黑客獲利逾 10 萬美元

黑客盜取奧巴馬、比爾蓋茨及 Coinbase 交易所、幣安趙長鵬等推特賬號,發佈比特幣釣魚信息,目前獲利超 10 萬美元。
多位政商名流與區塊鏈企業推特賬號被盜,黑客獲利逾 10 萬美元
·

三分鐘速覽 CertiK 對跨鏈 DeFi 平臺 Kava 的 CDP 和拍賣模塊審計結果

CertiK 完成 Kava 的第二次代碼安全審計,對 CDP 和拍賣模塊的實施進行對照性能規範的審計檢查。
三分鐘速覽 CertiK 對跨鏈 DeFi 平臺 Kava 的 CDP 和拍賣模塊審計結果

區塊鏈安全公司 CertiK 完成對 Kava 的第二次代碼安全審計,確認代碼處於安全水平

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

DeFi 明星項目 Balancer 再遭攻擊,簡析 Compound 金融模型漏洞

CertiK 還原 Balancer 中 COMP 代幣遭受攻擊過程,DeFi 金融模型設計安全值得關注。
DeFi 明星項目 Balancer 再遭攻擊,簡析 Compound 金融模型漏洞
·

CertiK:技術解讀 CORS-anywhere 配置錯誤如何造成敏感信息泄漏

當你受益於第三方代碼的價值和功能時,你也需要承擔其中可能存在的風險和安全漏洞。
CertiK:技術解讀 CORS-anywhere 配置錯誤如何造成敏感信息泄漏
·

CertiK 技術團隊:謹防 CORS-anywhere 漏洞,可導致第三方軟件配置錯誤

在最近一次進行的 Web 應用程序滲透測試中,CertiK 技術團隊發現了一個預料之外的嚴重漏洞。在獲得客戶的許可後,我們將此發現寫入本文以做分享,幫助相關開發人員未來規避同樣的錯誤。
CertiK 技術團隊:謹防 CORS-anywhere 漏洞,可導致第三方軟件配置錯誤

Taxa Network 智能合約已通過區塊鏈安全公司 CertiK 安全審計

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

耶魯大學計算機系教授邵中:CertiK 希望建立完全可信的智能合約以及區塊鏈生態系統

耶魯大學計算機系教授&CertiK聯合創始人邵中在第五屆區塊鏈全球峯會分享《建立完全可信的智能合約以及區塊鏈生態系統》。
耶魯大學計算機系教授邵中:CertiK 希望建立完全可信的智能合約以及區塊鏈生態系統

CertiK 爲 staking 服務平臺 HashQuark OSP 提供安全審計服務

鏈聞消息,形式化驗證平臺 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 等十餘條公鏈。
·

CertiK 顧榮輝:PoS 機制更高效與輕量級,但需要持續完善安全性

公鏈的安全性是相比智能合約安全更重要的問題,它是區塊鏈可信賴生態的基石。
·

Evaluape:CertiK 技術模式清晰,團隊學術背景紮實,實際落地情況良好

Evaluape:CertiK 技術模式清晰,團隊學術背景紮實,實際落地情況良好。

CertiK 基金會 : 未與 CYBEX 接觸合作,也未授權 CYBEX 出售代幣

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