CertiK

随着Web3应用的发展，稳定币成为中央银行与机构关注的重点方向，有望重塑全球支付与金融基础设施。形式化验证作为一种技术手段，能够有效帮助稳定币项目满足包括《GENIUS法案》在内的监管要求，构建更可靠的合约体系。

希望能够帮助所有Web3成员提升防范意识，在面对层出不穷的骗局时保持警惕，并及时采取必要的预防措施，保护好自己的资产安全。

从 5 月 12 日到 13 日，一共在链上发起了约 64 笔 Rug Pull（退出骗局），每几分钟就有一个。在这短短不到 24 小时里，共计损失金额 272 个 SOL，价值约 4.59 万美元。

ZK漏洞将使得黑客可以提交用于证明虚假交易的伪造ZK证明，并让ZK证明检查器接受。

为了深入理解形式化验证技术是如何应用于 zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。

此次合作覆盖交易所平台、移动端、钱包安全和智能合约审计在内的多个领域。

本文将揭开一个大规模自动化的，通过“退出骗局”方式进行资产收割的黑客团队。

在未来，逐渐涌现出的扩容方案与智能合约等众多创新，势必将再次重塑比特币生态格局。

回顾比特币生态振奋人心的 2023 年，并对其未来发展趋势作出展望。

1 月 6 日，MangoFarmSOL 就实施了退出骗局，从项目合约中转移了用户存入的 13,512 枚 SOL（当时约 126 万美元），又部署恶意前段，误导用户授权「紧急迁移」并在此盗取约 6 万美元。