CertiK:願做黑暗叢林裡的光明騎士,為Web3.0行業保駕護航
8 月3 日,全球領先的安全機構CertiK 在香港數碼港(Cyberport)舉辦的線下沙龍圓滿落幕。此次沙龍主題為「Web 3.0 安全:創新、挑戰與關鍵點」,現場不僅聚集了近百位來自大灣區的Web 3.0 從業者,CertiK 聯合創始人、新加坡金管局國際技術諮詢委員會委員、香港Web 3.0 發展專責小組成員顧榮輝教授和CertiK 首席安全官李康教授也親臨現場,與眾多Builder 共同探討Web 3.0 安全賽道的發展趨勢和破局之處。
此次沙龍活動之所以引發行業內的高度關注和積極參與,一方面因為CertiK 和顧榮輝教授在業內擁有的廣泛影響力,另一個更為深刻的原因也不容忽視——自去年底以來,一系列重磅政策接連出台,Web 3.0 行業的深刻變革和再度繁榮已成為必然趨勢,但行業內“冰火兩極”現象層出不窮。
一邊是2023 年Web 3.0 全球熱門大會一浪高過一浪,Token 2049 新加坡、Crypto Expo 迪拜、Mainnet 紐約、KBW 首爾等等爭相為行業再度勢起預熱暖場;另一邊則是以Curve Finance 遭受攻擊損失5200 萬美元為代表的鏈上安全事件頻發,以SEC 對Binance 和Coinbase 提出指控為代表的監管紅線增壓,這些又不斷消磨人們對Web 3.0 的信心。此種情況下,對行業趨勢的精準研判和清晰定位,就顯得比以往任何時刻都更具備戰略意義與價值。
二級標題
二級標題
Q:顧教授,是什麼契機讓CertiK 聯合Cyberport 在香港舉辦這場沙龍呢?
二級標題
二級標題
Q:聽說沙龍原定的規模只有50 人,但現場來了近百人。相信不少人是被您和李教授的“學術光環”吸引而來的,您有預料到現場人氣如此火爆嗎?
二級標題
二級標題
Q:按照這樣的說法,您認為Web 3.0 下一步的發展趨勢是什麼?
二級標題
二級標題
Q:這個發展趨勢會對業內造成什麼樣的影響?
顧榮輝:除了前面提到的精英人才,目前學界的研究成果和技術進步也在持續為Web 3.0 的發展提供更加堅實的基礎。學界在更多地探索Web 3.0 技術的應用場景和發展方向,這也為Web 3.0 的發展提供了重要的支持。
二級標題
二級標題
Q:為什麼你認為安全會是接下來的關鍵點和風口?
顧榮輝:當然。僅從學術界來談,前不久我榮獲了2022 年度的VMware Systems Research Award。這個獎項旨在表彰和支持計算機科學系統領域有潛力和有前途的新興研究,並關注有可能極大推動計算機科學領域發展的突破性研究。該獎項能從側面證明,我代表的CertiK 在系統驗證理論方面的基礎性貢獻受到了學術界的認可,也是對我們將工作理論成果轉化成無漏洞和安全的系統軟件實際應用,並拓展其應用領域的莫大鼓勵。
不僅是學術界的各個利好,我們一直致力於Web 3.0 的安全教育正是因為安全從來不是一個單一層面的概念,它是搭建一個完善生態系統中不可或缺的一環。 Web 3.0 的規模化越龐大,其受眾群體的數量和高度就越多。同時也意味著全球面臨的安全威脅將會越高,這反過來會影響Web 3.0 的使用率。
二級標題
二級標題
Q:像這樣的安全主題沙龍,你認為它最大的價值是什麼?
二級標題
二級標題
Q:對於未能親臨現場的小伙伴,您能否再為他們簡單描述下演講重點?
顧榮輝:這次演講嘉賓除了我,還有CertiK 首席安全官李康教授。李康教授是美國佐治亞大學網絡安全與隱私學院院長、計算機系教授。他在計算機網絡與系統安全領域擁有豐富的科研和管理經驗,本次演講他以多方計算(MPC)與可信執行環境(TEE)為切入點,闡述了新興技術如何賦能Web 3.0 錢包的安全性,重點列舉了與MPC 錢包相關卻容易被忽視的安全威脅,通過探索和解決這些挑戰,以更好地保護Web 3.0 用戶。
我主要分享的內容是智能分析在安全審計中的實踐,目前,我們就正在利用最先進的形式化驗證技術、安全智能審計技術以及安全專家人工審計,通過掃描及監控區塊鏈協議和智能合約,保證項目的安全性。其中比較具備代表的產品就是CertiK 的寫在最後寫在最後
寫在最後
隨著Web 3.0 技術的不斷發展,Web 3.0 的安全前景將受到越來越多的關注和重視。雖然仍需面對諸多挑戰,但我們相信,各方的共同努力將會構建一個更加安全、可靠和可持續的Web 3.0 生態系統。
CertiK 願做Web 3.0 黑暗森林裡的光明騎士,為開發者和用戶提供更好的安全體驗,推動Web 3.0 業態的進一步發展和普及,促進全球經濟的繁榮和發展。


