-
- CertiK · 08-02 09:00零知識證明的先進形式化驗證:如何證明零知識記憶體?
在本文中,我們將深入討論在驗證zkWasm記憶體子系統時所遇到的一些技術要點。記憶體是zkVM最獨特的部分,處理好這一點對所有其他zkVM的驗證都至關重要。
08-02 09:00 - CertiK · 06-19 16:00Solana鏈上異象:Rug Puller為何努力虧錢?
隨著小九等地址鏈上行為和資金流向的分析,我們發現了一個精心策劃且非常有針對性的rug puller系統。
06-19 16:00 - CertiK · 05-29 18:00深入剖析兩個ZK漏洞
在之前的文章中,我们讨论了零知识证明的先进形式化验证:如何验证一条ZK指令。通过形式化验证每条zkWasm指令,我们能够完全验证整个zkWasm电路的技术安全性和正确性。
05-29 18:00 - CertiK · 05-11 13:29Web3安全警示丨鏈上打新局中局,交稅的狙擊機器人
今天的文章则是以代币“ZhongHua”为例解析该团伙的另一种RugPull手法:用复杂的税收功能逻辑,掩盖可用于RugPull的转账功能。接下来,我们通过“ZhongHua”代币案例,分析地址0xdf1a的另一种RugPull手法细节。
05-11 13:29 - CertiK · 03-18 20:0003-18 20:00
- CertiK · 03-14 14:30Web3安全警示丨「蹭熱點」須謹慎:詳解OrdiZK退出騙局
3月5日,CertiK安全團隊發現OrdiZK精心策劃了一場退出騙局。在這起事件中,詐騙者使用了囤積交易手續費、惡意拋售以及濫用管理權等方式竊取了約140萬美元用戶資金。
03-14 14:30 - CertiK · 2023-09-08 14:142023-09-08 14:14
- CertiK · 2023-08-07 14:06Cointelegraph:安審公司再立功,CertiK發現Worldcoin安全漏洞
美國頭部區塊鏈媒體Cointelegraph發布長評,報導了知名Web3.0安全審計公司CertiK發現了Worldcoin系統中的安全漏洞一事。除Cointelegraph外,多家美國媒體也對此事進行了追踪報導。
2023-08-07 14:06 - CertiK · 2023-07-26 16:38又一例闪电贷攻击,Palmswap安全事件分析
在 2023 年 7 月 24 日,Palmswap 遭受了一次闪电贷攻击,导致失去了 901,455 USDT(约等于 901,000 美元)。由于项目的 PlpManager 合约存在漏洞,导致 USDP 计算错误,从而导致了此次攻击。
2023-07-26 16:38 - CertiK · 2023-06-29 16:26深度分析Sui公链最新漏洞“仓鼠轮”技术细节
本文我们分享了由CertiK Skyfall团队发现的“仓鼠轮”攻击技术细节,解释了这种新型攻击是如何利用关键漏洞来导致Sui网络完全关闭的。
2023-06-29 16:26 - CertiK · 2023-06-28 17:19精心策劃多日,盜取100萬美元,Arbitrum上Chibi Finance退出騙局事件分析
2023年6月27日,Chibi Finance團隊實施了一起退出騙局,導致投資者資金損失超過100萬美元。該項目利用了中心化風險,將用戶資金從Chibi擁有的合約中轉出,並將其兌換為ETH,而後通過跨鏈橋轉移到以太坊網絡,最後存入Tornado Cash。
2023-06-28 17:19 - CertiK · 2023-05-11 19:53加密資產被盜,該如何與黑客談判?
在與攻擊者的談判中,賞金是一個非常有效的手段。然而其也有一定的潛在風險。例如攻擊者拿到賞金後不履行承諾,而繼續洩露數據或再次攻擊。另外,一些國家和地區可能會對支付賞金的行為採取法律措施。
2023-05-11 19:53 - CertiK · 2023-04-23 16:112023-04-23 16:11
- CertiK · 2023-04-18 13:16探尋暗網KYC錢包銷售真相
Telegram和Discord的各類平台上都有兜售已通過KYC驗證的Web3.0交易所賬戶服務,包括KYC演員買賣等。不禁讓人們懷疑,這樣的賬戶買賣活動是否在暗網上也十分猖獗。
2023-04-18 13:16