慢雾科技
晓道
Move智能合约的形式化验证工具
“程序测试能证明错误的存在, 但不能证明错误不存在” – Edsger Dijkstra。智能合约是一个对安全性要求非常高的领域，一个不经意的小 bug 很可能会导致不可估量的损失。
- Young Rocks
- 发布于 2022-01-20
- 阅读 ( 4045 )
- ( 10 )
Young Rocks
ChinaDeFi 去中心化金融社区
王者开局偶遇猪队友——简析 Alpha Finance & Cream被黑
由于Alpha Finance的问题，导致了两个协议同时遭受了损失。
- 慢雾科技
- 发布于 2022-01-13
- 阅读 ( 2097 )
开心做聚合，无奈被攻击 —— Rari 被黑事故分析
慢雾安全团队建议在逐渐趋于复杂的情况下，各DeFi项目在进行协议间交互时，需要做好协议之间的兼容性，避免因协议兼容问题导致的损失。
- 慢雾科技
- 发布于 2022-01-10
- 阅读 ( 2345 )
“不可思议” 的被黑之旅 —— Impossible Finance 被黑分析
本次攻击的核心在于cheapSwap函数中未进行K值检查，导致攻击者可以通过一次兑换过程中进行多次兑换操作以获得额外的代币。
- 慢雾科技
- 发布于 2022-01-05
- 阅读 ( 2406 )
强扭的瓜不甜 —— SafeDollar 被黑分析
此次攻击的核心问题在于“通缩性代币”与构架参考自SUSHI的MasterChef合约不兼容导致的。
- 慢雾科技
- 发布于 2022-01-04
- 阅读 ( 2750 )
零时科技 | DeFi平台Grim Finance攻击事件分析
北京时间2021年12月19日，Grim Finance官方发推文称平台被外部攻击者利用，攻击者盗币价值超过3000万美元
- 零时科技
- 发布于 2021-12-21
- 阅读 ( 2194 )
零时科技
又一经典的闪电贷套利 —— Wault.Finance 被黑事件分析
本次攻击事件是经典的利用闪电贷进行套利的案例，我们建议先对项目在DeFi各种场景下的攻击面进行推演，排查可能的攻击面，对项目进行优化和加固。
- 慢雾科技
- 发布于 2021-12-21
- 阅读 ( 3751 )
