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