CertiK

從 5 月 12 日到 13 日，一共在鏈上發起了約 64 筆 Rug Pull（退出騙局），每幾分鐘就有一個。在這短短不到 24 小時裡，共計損失金額 272 個 SOL，價值約 4.59 萬美元。

ZK漏洞將使得黑客可以提交用於證明虛假交易的伪造ZK證明，並讓ZK證明檢查器接受。

為了深入理解形式化驗證技術是如何應用於 zkVM（零知識虛擬機）之上的，本文將聚焦於單條指令的驗證。

此次合作覆蓋交易所平台、移動端、錢包安全和智能合約審計在內的多個領域。

本文將揭開一個大規模自動化的，通過“退出騙局”方式進行資產收割的黑客團隊。

在未來，逐漸湧現出的擴容方案與智能合約等眾多創新，勢必將再次重塑比特幣生態格局。

回顧比特幣生態振奮人心的 2023 年，並對其未來發展趨勢作出展望。

1 月 6 日，MangoFarmSOL 就實施了退出詐騙，從項目合約中轉移了用戶存入的 13,512 枚 SOL（當時約 126 萬美元），又部署惡意前端，誤導用戶授權「緊急遷移」並在此盜取約 6 萬美元。

CertiK 的 Skyfall 團隊與安全專家 Dawuge 入選《2023年三星移動安全名人堂》。

攻擊的漏洞在於在銷毀存款憑證時錯誤的整數除法問題，但駭客沒想到“螳螂捕蟬，黃雀在後”。