crvUSD是什么？它是 Curve 推出的借贷型稳定币，用 LLAMMA 算法把传统清算变成平滑的价格区间调整，并以 PegKeeper 维持锚定。本文解释其铸造、软清算机制，以及与 DAI 的区别和风险。

Liquity USD是什么？Liquity 是超额抵押稳定币协议，早期发行 LUSD，V2 推出新一代稳定币 BOLD。本文解释 BOLD 的铸造、清算、赎回、Earn 与 LQTY 质押机制，以及与 DAI 的差异和风险。

Curve是什么？它是专注稳定币等相近资产互换的去中心化交易所，通过专门的做市曲线把同价资产交易的滑点压到极低，并提供 crvUSD 与抵押借贷组件。本文解析其做市机制、流动性提供者的收益与损失来源、veCRV 治理，以及池子失衡时的风险。

Euler是什么？它是模块化借贷基础设施，让创建与使用可配置的链上信贷市场成为可能，核心组件是 Euler Vaults。本文解析 vaults 架构、EVC 联动、健康因子与清算规则，以及贷方借方各自的风险。

形式验证用数学证明代替测试用例，覆盖的是写进规范的性质，而不是全部风险。本文解释它和审计、监控的分工，教你读懂验证报告里证了什么、没证什么。

同一个地址在一个协议里同时欠着多笔借款时，还款资金按什么顺序分配？本文拆开按资产分账、按市场分账和利息先行三种账本结构，讲清还款顺序怎么决定你的清算风险。

清算不是点一下按钮就完成的状态切换，而是一串可能被 gas 尖峰、限价失败、并发抢占打断的交易。本文拆解清算从触发到落地的每一步断点，以及失败重试怎么影响你的处置价格。

资金费率从正转负，不只是数字变小，而是现金流方向整体掉头。本文讲清算费公式里符号的含义、转负时多头和空头各自的账怎么变，以及转负常伴随的执行陷阱。

同样金额的大单，在不同池子里的成交成本可以差几倍。本文用深度尺的思路教你把池子的储备换算成「每推动一成价格需要多大单」，下单前估计自己的冲击成本。

有些池子合约带着两个不起眼的维护函数，平时没人碰，它们存在的意义是对付「实际余额与记账储备不一致」的极端状态。本文拆解这类错位从哪来、谁来触发修复、为什么它也可能是攻击的台阶。