區塊鏈安全公司CertiK正式加入通用協議聯盟
矽谷Live / 實地探訪 / 熱點探秘/ 深度探討
通用協議聯盟(Universal Protocol Alliance,以下簡稱「聯盟」)近日正式對外宣布了區塊鏈安全領域先鋒企業 CertiK 的加入。據悉截至目前,CertiK 已在區塊鏈安全和智能合約審計方面成功保護了價值 12 億美金的資產免受攻擊。
通用協議聯盟位於美國舊金山,是一個由多家區塊鏈行業最具規模和影響力的企業組建的機構,包括 Brave、Bittrex International、Uphold、Cred、Blockchain at Berkeley、BraveBitgo 等。聯盟的創立,旨在制定通用且透明的資產儲備標準,實現「為未來的 1 億加密貨幣用戶提供支持」的宏大目標。聯盟深度聚焦區塊鏈科技行業,致力於連接不同平台的區塊鏈技術,允許代理通證的生成、託管和存儲,推動區塊鏈技術的創新,助力實現區塊鏈在經濟、社會和工業領域的快速發展。此外,聯盟也引入了一系列重要的加密貨幣安全保障措施,被主流的加密貨幣所採用。此次 CertiK 的加入也表明了聯盟對區塊鏈安全的高度重視。
CertiK 是由耶魯大學計算機科學系系主任邵中教授和哥倫比亞大學助理教授顧榮輝聯合創立,其共同擁有的形式化驗證技術得到了世界專利認證。CertiK聯合行業內領先的安全專家為區塊鏈項目提供智能合約審計、滲透測試和威脅警報等安全服務。近日,CertiK 聯合創始人顧榮輝榮獲IBM公司通過哥倫比亞-IBM數據中心頒發的科研獎金,該獎金將主要用於研發函數式高級編程語言 DeepSEA,用於在超級賬本(Hyperledger Burrow)等跨平台環境中,編寫能夠被完全形式化驗證的智能合約。
CertiK 表示,此次加入通用協議聯盟,團隊會利用自身強大的安全審計技術優勢,用深度規範的形式化驗證方法,為每一個將要在聯盟平台上發行通證的項目,提供安全保障。另外,項目的審計結果也會在社區進行公布,實現公開透明,從代碼安全這一重要方面反映出代理通證生態系統的健康狀況。目前,生態中首個被驗證的項目是近日將發行的 Universal Dollar。
通用協議聯盟主席暨 Cred 主席 Dan Schatt 評價「當今世界正處於科研和創新的劃時代階段,CertiK 是一個值得信賴的區塊鏈安全科技公司」,並稱「 CertiK 的加入將會推動通用協議聯盟進一步貫徹對智能合約代碼結構的完整性、透明性和可持續價值的堅定承諾。這些承諾將會作為重要基石,增強廣大用戶對聯盟所提供的通證的信賴和信心。」
CertiK 首席運營官 Daryl Hok 說:「CertiK 非常榮幸能夠加入通用協議聯盟,也十分期待通過我們的形式化驗證技術為區塊鏈生態中的更多企業提供更強有力的安全保障。」
未來,聯盟的通用協議平台將打造一個新的通證化數字資產世界,涵蓋從包括比特幣在內的通用區塊鏈一直到通用證券和通用私募股權等多種數字資產,並將為不同形式價值之間的即時無縫兌換提供便利。通過這一系列舉措,通用協議平台將全面解鎖區塊鏈未被開發的巨大潛力,用代理通證表現數字資產,從而轉變個人和企業儲存和傳輸價值的方式。
上述言論是在近日於美國舊金山舉辦的通用協議聯盟理事會首次會議中對外公布的,本次出席會議的有聯盟成員高管、多家主流媒體,以及多位區塊鏈行業知名人士,如 JavaScript 創始人和 Brave 創始人 Brendan Eich、TechCrunch 和 Arriton XRP Capital 創始人 Michael Arrington、Decrypt Capital 合伙人 Howard Wu、Uphold 首席執行官 JP Thieriot等。
推薦閱讀
區塊鏈報告 |腦機介面報告
矽谷人工智慧|斯坦福校長
衛哲|姚勁波|胡海泉
垂直種植 | 無人車
王者榮耀 | 返老還童
※除了投資,中國在AI領域如何趕超美國?行業洞察
※除了「帶地球去流浪」,還有哪些腦洞大開的太空計劃?
TAG:矽谷密探 |