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

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

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

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

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

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

CertiK 的 Skyfall 团队与安全专家 Dawuge 入选《2023年三星移动安全名人堂》。

本文不仅包括 Cosmos 生态以往重大安全漏洞的分析，还将一些常见的安全漏洞根据起因、效果、代码位置等分类，最大程度地为 Cosmos 生态开发者提供安全指引，并为安全审计人员提供学习和审计 Cosmos 安全问题的索引资料。

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

VMware Systems Research Award 由 VMware 学术部门设立，旨在表彰和支持计算机科学系统领域有潜力和有前途的新兴研究，并关注有可能极大推动计算机科学领域发展的突破性研究。