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年三星移动安全名人堂》。

攻击的漏洞在于在销毁存款凭证时错误的整数除法问题，但黑客没想到“螳螂捕蝉，黄雀在后”。