CertiK中文社區的文章
-
零知識證明的先進形式化驗證:如何證明零知識內存
名人講師 2024.07.31
在關於零知識證明的先進形式化驗證的系列博客中,我們已經討論了如何驗證 ZK 指令以及對兩個 ZK 漏洞的深度剖析。正如在公开報告和代碼庫中所顯示的,通過形式化驗證每一條 zkWasm 指令,我們找到並...
作者/編譯: CertiK中文社區 閱讀全文→
-
CertiK:向Kraken報告安全漏洞後員工卻遭到其安全運營團隊的威脅
名人講師 2024.06.20
免責聲明: 內容不構成买賣依據,投資有風險,入市需謹慎! CertiK:向Kraken報告安全漏洞後員工卻遭到其安全運營團隊的威脅 CertiK中文社區 企業專欄 剛剛 關注 來源:CertiK中文社...
作者/編譯: CertiK中文社區 閱讀全文→
-
零知識證明的先進形式化驗證:兩個ZK漏洞的深度剖析
名人講師 2024.05.29
免責聲明: 內容不構成买賣依據,投資有風險,入市需謹慎! 零知識證明的先進形式化驗證:兩個ZK漏洞的深度剖析 CertiK中文社區 企業專欄 剛剛 關注 在之前的文章中,我們討論了零知識證明的先進形式...
作者/編譯: CertiK中文社區 閱讀全文→
-
零知識證明的先進形式化驗證:如何驗證一條ZK指令
名人講師 2024.04.30
免責聲明: 內容不構成买賣依據,投資有風險,入市需謹慎! 零知識證明的先進形式化驗證:如何驗證一條ZK指令 CertiK中文社區 企業專欄 剛剛 關注 來源:CertiK中文社區 爲了深入理解形式化驗...
作者/編譯: CertiK中文社區 閱讀全文→
-
數據驗證環節漏洞導致損失330萬美元 詳解Socket攻擊事件始末
名人講師 2024.02.04
免責聲明: 內容不構成买賣依據,投資有風險,入市需謹慎! 數據驗證環節漏洞導致損失330萬美元 詳解Socket攻擊事件始末 CertiK中文社區 企業專欄 剛剛 關注 來源:CertiK中文社區 2...
作者/編譯: CertiK中文社區 閱讀全文→
-
CertiK入選三星移動安全名人堂 能否引領Web3.0公司出圈潮
名人講師 2024.01.24
免責聲明: 內容不構成买賣依據,投資有風險,入市需謹慎! CertiK入選三星移動安全名人堂 能否引領Web3.0公司出圈潮 CertiK中文社區 企業專欄 剛剛 關注 作爲全球領先的Web3.0安全...
作者/編譯: CertiK中文社區 閱讀全文→
-
CertiK:解構Cosmos生態安全 助力Web3星際之旅
名人講師 2023.12.27
來源:CertiK 上周,由CertiK團隊發布的《Cosmos生態安全指南》在Web3媒體Meta Era首發,並得到衆多媒體轉發,獲得了Web3社區的廣泛關注。 作爲全球最大,最爲知名的區塊鏈生態...
作者/編譯: CertiK中文社區 閱讀全文→
-
CertiK獨家:解構Cosmos生態安全 助力Web3.0星際之旅
名人講師 2023.12.27
免責聲明: 內容不構成买賣依據,投資有風險,入市需謹慎! CertiK獨家:解構Cosmos生態安全 助力Web3.0星際之旅 CertiK中文社區 企業專欄 剛剛 關注 作爲全球最大,最爲知名的區塊...
作者/編譯: CertiK中文社區 閱讀全文→
-
繼Maestrobot後Telegram Bot項目再遭惡意利用:Unibot攻擊事件分析
名人講師 2023.10.31
北京時間2023年10月31日12:39:23,Unibot發生漏洞惡意利用,損失了64萬美元的資產。攻擊者利用Unibot路由器合約中的“arbitrary call”漏洞,將價值64萬美元的各種預...
作者/編譯: CertiK中文社區 閱讀全文→
-
CertiK首席安全官:透明性——保護Web3資產安全的關鍵
名人講師 2023.10.24
隨着香港Web3行業的迅速發展,鏈上資產安全合規問題日益受到關注。香港證券及期貨事務監察委員會(SFC)也加強了對數字資產交易平台的監管,強調了KYC(了解你的客戶)和AML(反洗錢)政策的重要性,以...
作者/編譯: CertiK中文社區 閱讀全文→
-
私鑰自托管平台Safeheron攜手Web3安全機構CertiK 推動私鑰管理透明化
名人講師 2023.09.14
2023年9月14日,領先企業級私鑰自托管服務提供商Safeheron宣布,已與Web3智能合約和區塊鏈安全領域的領軍機構CertiK達成安全合作,將協力推出全新驗證機制,以驗證項目是否已採用增強的私...
作者/編譯: CertiK中文社區 閱讀全文→
-
CertiK與OKLink達成战略合作 聯手推進凍結資產請求(FAR)標准化
名人講師 2023.09.12
2023年9月12日,在新加坡舉行的Token 2049邊會 Meta Era Summit 2023峰會上,歐科雲鏈控股有限公司(“歐科雲鏈”,1499.HK)旗下領先的Web3.0鏈上數據及合規解...
作者/編譯: CertiK中文社區 閱讀全文→
-
CertiK 安全報告:2023年有近10億美元因詐騙、漏洞利用和黑客攻擊被盜
名人講師 2023.09.11
CertiK披露,截至2023年8月,閃電貸攻擊、退出騙局和漏洞利用造成的損失已超過9.97億美元。 根據Web3安全機構CertiK發布的一份報告顯示,僅在8月份,針對加密貨幣領域的惡意行爲者就從受...
作者/編譯: CertiK中文社區 閱讀全文→
-
詳解對Cosmos SDK標准模塊的形式化驗證
名人講師 2023.09.09
在本文中,我們將介紹形式化驗證Cosmos SDK Bank模塊的具體步驟,以及一些驗證結果。 / Web3完整軟件棧先進形式化驗證/ CertiK最近發布了一份關於Cosmos SDK Bank模塊...
作者/編譯: CertiK中文社區 閱讀全文→
-
CertiK已完成對Finschia(原LINE區塊鏈)的安全審計
名人講師 2023.09.05
作爲區塊鏈網絡安全領域的領軍企業,CertiK宣布已完成了對Finschia基金會第三代公鏈和Ostracon共識機制的嚴格審計。 Finschia作爲原LINE區塊鏈,是繼承了LINE區塊鏈理念的第...
作者/編譯: CertiK中文社區 閱讀全文→
-
CertiK KBW Café精彩亮相亞洲區塊鏈盛會KBW
名人講師 2023.08.31
業內領先的Web3安全機構CertiK非常榮幸宣布將參加今年的韓國區塊鏈周(KBW),並將在2023年9月3日舉辦KBW官方的Side Event“CertiK KBW Cafe”活動。 作爲亞洲最具...
作者/編譯: CertiK中文社區 閱讀全文→
-
一定要收藏的10大BNB鏈安全开發實用tips
名人講師 2023.08.22
BNB Chain是Web3世界中最受歡迎的區塊鏈之一,其費用合理、交易迅速以及項目生態系統豐富幾大原因吸引了廣大用戶。與任何的區塊鏈都一樣,BNB Chain上的开發者在开發過程中首先考慮的應該是安...
作者/編譯: CertiK中文社區 閱讀全文→
-
Zunami Protocol事件分析
名人講師 2023.08.14
CertiK安全團隊接到與同一錢包有關的一系列安全警報。經調查發現,Zunami Protocol遭到閃電貸攻擊,損失約216萬美元。 事件摘要 2023年8月13日,CertiK安全團隊發現了一起可...
作者/編譯: CertiK中文社區 閱讀全文→
-
CertiK | 愿做黑暗叢林裏的光明騎士 爲Web3.0行業保駕護航
名人講師 2023.08.08
8月3日,全球領先的安全機構CertiK在香港數碼港(Cyberport)舉辦的线下沙龍圓滿落幕。此次沙龍主題爲「Web3.0安全:創新、挑战與關鍵點」,現場不僅聚集了近百位來自大灣區的Web3.0從...
作者/編譯: CertiK中文社區 閱讀全文→
-
CertiK:Vyper 5200萬美元損失 事件詳解
名人講師 2023.08.02
有報告稱 Vyper 0.2.15、0.2.16 和 0.3.0 版本存在漏洞,導致 Curve 上的許多池有遭受重入攻擊的風險。該漏洞允許攻擊者在移除流動性過程中調用添加流動性函數。 目前,總共有6...
作者/編譯: CertiK中文社區 閱讀全文→
-
技術詳解 | CertiK對螞蟻集團HyperEnclave先進形式化驗證
名人講師 2023.07.31
上周,CertiK宣布已完成了對螞蟻集團可信原生技術團隊开發的創新开放式跨平台可信執行環境(TEE)HyperEnclave的先進形式化驗證。 爲了實現保護Web3世界的使命,CertiK在審計過程中...
作者/編譯: CertiK中文社區 閱讀全文→
-
EraLend 攻擊事件分析
名人講師 2023.07.27
簡介 在2023年7月25日,zkSync Era-based借貸協議EraLend宣布發生了一起安全事件。在初步調查後,CertiK發現EraLend遭到了只讀可重入攻擊,導致總損失約270萬美元。...
作者/編譯: CertiK中文社區 閱讀全文→
-
對話CertiK顧榮輝教授:任何時代 都是從對抗「黑暗」开始的
名人講師 2023.07.21
在過去幾年中,Web3.0行業發展迅猛且受到廣泛關注。在這個全新的數字世界中,數據不再是由少數人掌控,而是由整個網絡共同維護和管理。這將帶來更加公平、透明、安全的數字經濟生態系統。 然而Web3.0技...
作者/編譯: CertiK中文社區 閱讀全文→
-
多家美國web3行業媒體發文:Ripple攜手CertiK共同塑造安全典範
名人講師 2023.07.20
7月12日,美國知名Web3媒體The News Crypto發布評論文章《Certik安審驗證,XRP前景看漲》(XRP Set to Soar as CertiK’s Comprehensive ...
作者/編譯: CertiK中文社區 閱讀全文→
-
邁入更安全可靠的區塊鏈生態系統:CertiK完成XRP Ledger自動做市商審計
名人講師 2023.07.11
近日,全球區塊鏈和智能合約安全領域的先鋒CertiK宣布已完成對XLS-30d的全面安全審計。XLS-30d是一個建立在XRP Ledger (XRPL) 上的創新自動做市商(AMM),而XRPL是一...
作者/編譯: CertiK中文社區 閱讀全文→
-
Sui最新漏洞“倉鼠輪” 技術細節與深入分析
名人講師 2023.06.29
此前,CertiK團隊於Sui區塊鏈發現了一系列拒絕服務漏洞。在這些漏洞中,一種新型且具有嚴重影響力的漏洞格外引人注目。該漏洞可導致Sui網絡節點無法處理新的交易,效果等同於整個網絡完全關閉。 就在上...
作者/編譯: CertiK中文社區 閱讀全文→
-
打破區塊鏈的不可篡改性:代理模式如何實現智能合約升級?
名人講師 2023.06.15
代理模式使智能合約能夠升級其邏輯,同時維持其鏈上地址和狀態值。對代理合約的調用會通過delegateCall的方式執行來自邏輯合約的代碼,以修改代理合約的狀態。 本文將爲大家概述代理合約的類型、相關的...
作者/編譯: CertiK中文社區 閱讀全文→
-
零知識證明的基礎介紹及其在區塊鏈領域的應用
名人講師 2023.06.02
在復雜的密碼學領域,零知識證明爲一項看似矛盾的任務提供了獨特的解決方案:在不透露信息本身的情況下證明知道某一信息。這種加密方法涉及兩方:證明者及驗證者。證明者的目的是證明他們擁有某一信息(我們稱之爲x...
作者/編譯: CertiK中文社區 閱讀全文→
-
即時Web3新聞及消息獲取 這幾個選擇不容錯過
名人講師 2023.05.25
在不斷發展的Web3.0行業中,及時了解最新的安全事件對於保護個人數字資產至關重要。隨着Web3.0貨幣採用率的激增,Rug Pull、漏洞利用和網絡釣魚詐騙等事件越來越普遍。 因此,擁有可靠的安全信...
作者/編譯: CertiK中文社區 閱讀全文→
-
一文了解Web3.0數據泄露事件分類及保護措施
名人講師 2023.05.18
當今社會,我們無論工作還是生活,網絡早已離不开人們的生活。可以不帶錢包,但是一定要帶手機出門,付款方式沒有了實體卡片,就連街邊乞討也开始用網絡進行二維碼轉账收款。 不難想到,個人、企業、組織及其客戶目...
作者/編譯: CertiK中文社區 閱讀全文→