H1: Cozy Finance Exploit:Protection-Market Logic 在 Optimism 被利用,约 163K USDC.e 被抽走
Cozy Finance 9 月 7 日在 Optimism 发生新的 exploit。
主交易涉及约:
163,326 USDC.e
早期 security alert 通常把事件金额写成 $160K–$170K。
CEXVia 使用 transaction-level amount 作为更精确的 on-chain quantity,而美元金额保持 approximate。
这起事件最重要的不是绝对金额,而是它暴露出一种:
Protection Market + Optimistic Oracle + Payout Eligibility
组合设计风险。
攻击过程
当前 security reconstruction 指向以下 sequence:
- Attacker 先买入 Cozy protection market 的 PTokens;
- 这些 protection market 引用了 Aave v2 和 Curve;
- Attacker 向 UMA Optimistic Oracle path 提交 “YES” assertion;
- Assertion 没有在 settlement flow 中被有效 dispute;
- Protection trigger 本身没有独立确认真实 Aave/Curve hack 是否发生;
- Payout eligibility 没有绑定 pre-proposal holder snapshot;
- Attacker 因此可以在接近 trigger 的时间取得 protection rights 并参与 payout。
结果是 Cozy protection capital 被不当支付。
On-chain Transaction
Blockaid 相关分析把主 exploit transaction 时间指向:
9 月 7 日约 05:43 UTC
约 163,326 USDC.e 在该 flow 中被移出。
Transaction 包含大量 token transfers,并 burn 了大量 Cozy PToken。
约 13 分钟后,attacker 已经开始 bridge proceeds。
这说明对 automated DeFi exploit 来说,一旦 payout condition 被满足,protocol reaction window 可以非常短。
Aave 被 Hack 了吗?
目前没有证据支持这个结论。
Aave v2 是 protection product 引用的 underlying market。
Cozy exploit 并不需要攻破 Aave core lending contract,就可以从 Cozy protection system 中拿走资金。
所以不能写:
“Aave hack caused $163K loss”
Curve 被 Hack 了吗?
同样不能这么写。
Curve 是另一个被 protection product 引用的 market。
目前没有 evidence 表明这次事件中 Curve protocol 本身发生新的 exploit。
UMA Optimistic Oracle 为什么重要?
Optimistic oracle 的一个核心假设是:
错误 assertion 会被有激励的参与者在 challenge window 中 dispute。
这个模式本身并不等于不安全。
真正问题在 downstream protocol 如何使用这个结果。
Protection protocol 必须明确:
- 谁可以 assert event;
- 需要什么 evidence;
- Challenge window 多久;
- 无人 dispute 时意味着什么;
- Downstream 是否再做 independent validation;
- 谁有 payout eligibility。
如果 downstream 直接把:
Undisputed = True
当成足以放款/赔付的最终条件,那么 system security 会非常依赖 dispute incentives 与操作响应。
Holder Snapshot 为什么重要?
类似 insurance/protection 的产品有天然 adverse-selection risk。
如果用户可以:
- 先看到甚至制造 trigger;
- 然后立即买 protection;
- 最后参与 payout;
那么 protection 就失去“提前承担风险”的基本经济逻辑。
Pre-event / pre-proposal snapshot 是一种常见防护方式。
当前 reported Cozy path 的问题之一,就是 payout eligibility 没有绑定这样的 snapshot。
Attacker 似乎提前准备
Reporting 指出 attacker contract 在 exploit 前数天就已经部署。
这更像 premeditated attack,而不是刚好发现一个当场可用机会。
资金准备也经过 external routing/solver path。
为什么 $163K 也值得写 Detail?
因为这里的 design lesson 大于金额。
Protection market 需要同时处理:
- Event verification;
- Oracle trust;
- Dispute incentives;
- Coverage ownership;
- Snapshot;
- Payout timing。
任何一层的假设错误,都可能让 contract 对不存在的 event 赔付,或者让 attacker 在 trigger 前后临时买入 protection。
与 Cozy 历史事件的边界
Cozy 过去也发生过其他 security incident。
9 月 7 日这个事件应该单独计算和分析。
不能把以前 loss 合并进本次 loss。
Evidence Status
Confirmed / Security Research + On-chain
- Cozy Finance on Optimism 被 exploit;
- Principal outflow ~163,326 USDC.e;
- Early alerts rounded ~$160K–$170K;
- Attacker acquired protection PTokens;
- UMA Optimistic Oracle YES assertion involved;
- Reported payout eligibility 没有 pre-proposal snapshot;
- Funds rapidly bridged。
Developing
- Cozy final official post-mortem;
- Exact affected pools;
- 是否仍有 vulnerable capital;
- Final attacker proceeds;
- Recovery/reimbursement;
- Assertion/dispute redesign;
- Eligibility/snapshot changes。
Risk Assessment
High。
金额中等,但 mechanism 有可复用性,而且 protection-market 的经济意义本身被绕过。
What to Watch Next
- Cozy official post-mortem;
- Pool pause;
- Additional vulnerable markets;
- UMA dispute analysis;
- Snapshot redesign;
- Attacker bridge destination;
- CEX interaction;
- Recovery negotiation;
- User reimbursement;
- New audit。
FAQ
损失多少?
主 on-chain outflow 约 163,326 USDC.e;早期报道约 $160K–$170K。
Aave v2 被 Hack 了吗?
目前没有证据支持。
Curve 被 Hack 了吗?
目前也没有看到这个证据。
Attacker 利用了什么?
Reported mechanism 是 Cozy protection eligibility + undisputed UMA Optimistic Oracle YES path。
Snapshot 为什么关键?
没有 pre-proposal snapshot 时,attacker 可能在 trigger 附近才买 protection,却仍获得 payout。
Cozy 有 final post-mortem 了吗?
今天核验时没有看到完整 final post-mortem。