3個月前

在關於零知識證明的先進形式化驗證的系列博客中，我們已經討論了如何驗證 ZK 指令以及對兩個 ZK 漏洞的深度剖析。正如在公开報告和代碼庫中所顯示的，通過形式化驗證每一條 zkWasm 指令，我們找到...

5個月前

免責聲明: 內容不構成买賣依據，投資有風險，入市需謹慎! CertiK：向Kraken報告安全漏洞後員工卻遭到其安全運營團隊的威脅 CertiK中文社區 企業專欄 剛剛 關注 來源：CertiK中文...

5個月前

免責聲明: 內容不構成买賣依據，投資有風險，入市需謹慎! 零知識證明的先進形式化驗證：兩個ZK漏洞的深度剖析 CertiK中文社區 企業專欄 剛剛 關注 在之前的文章中，我們討論了零知識證明的先進形...

6個月前

免責聲明: 內容不構成买賣依據，投資有風險，入市需謹慎! 零知識證明的先進形式化驗證：如何驗證一條ZK指令 CertiK中文社區 企業專欄 剛剛 關注 來源：CertiK中文社區 爲了深入理解形式化...

9個月前

免責聲明: 內容不構成买賣依據，投資有風險，入市需謹慎! 數據驗證環節漏洞導致損失330萬美元 詳解Socket攻擊事件始末 CertiK中文社區 企業專欄 剛剛 關注 來源：CertiK中文社區 ...

9個月前

免責聲明: 內容不構成买賣依據，投資有風險，入市需謹慎! CertiK入選三星移動安全名人堂 能否引領Web3.0公司出圈潮 CertiK中文社區 企業專欄 剛剛 關注 作爲全球領先的Web3.0安...

10個月前

來源：CertiK 上周，由CertiK團隊發布的《Cosmos生態安全指南》在Web3媒體Meta Era首發，並得到衆多媒體轉發，獲得了Web3社區的廣泛關注。 作爲全球最大，最爲知名的區塊鏈生...

10個月前

免責聲明: 內容不構成买賣依據，投資有風險，入市需謹慎! CertiK獨家：解構Cosmos生態安全 助力Web3.0星際之旅 CertiK中文社區 企業專欄 剛剛 關注 作爲全球最大，最爲知名的區...

1年前

北京時間2023年10月31日12:39:23，Unibot發生漏洞惡意利用，損失了64萬美元的資產。攻擊者利用Unibot路由器合約中的“arbitrary call”漏洞，將價值64萬美元的各種...

1年前

隨着香港Web3行業的迅速發展，鏈上資產安全合規問題日益受到關注。香港證券及期貨事務監察委員會（SFC）也加強了對數字資產交易平台的監管，強調了KYC（了解你的客戶）和AML（反洗錢）政策的重要性，...

1年前

2023年9月14日，領先企業級私鑰自托管服務提供商Safeheron宣布，已與Web3智能合約和區塊鏈安全領域的領軍機構CertiK達成安全合作，將協力推出全新驗證機制，以驗證項目是否已採用增強的...

1年前

作爲Web3智能合約和區塊鏈安全領域的領軍企業，CertiK今日正式宣布推出安全工具SkyInsights。SkyInsights旨在滿足Web3企業和利益相關者對Web3合規性和風險管理方面的迫切...

1年前

2023年9月12日，在新加坡舉行的Token 2049邊會 Meta Era Summit 2023峰會上，歐科雲鏈控股有限公司（“歐科雲鏈”，1499.HK）旗下領先的Web3.0鏈上數據及合規...

1年前

CertiK披露，截至2023年8月，閃電貸攻擊、退出騙局和漏洞利用造成的損失已超過9.97億美元。 根據Web3安全機構CertiK發布的一份報告顯示，僅在8月份，針對加密貨幣領域的惡意行爲者就從...

1年前

作爲區塊鏈網絡安全領域的領軍企業，CertiK宣布已完成了對Finschia基金會第三代公鏈和Ostracon共識機制的嚴格審計。 Finschia作爲原LINE區塊鏈，是繼承了LINE區塊鏈理念的...