稳定池

这篇文章详细探讨了 Liquity V2 的去中心化借贷机制，介绍了多种新特性，包括用户设定利率、多抵押品系统以及流动性池的奖励分配等。文章涵盖了 Liquity V2 的架构、功能与安全性视角，对于想要了解去中心化借贷的用户来说，提供了深刻的见解和理论基础。

Certora 分析了 Balancer v2 稳定池中由于四舍五入误差导致的安全漏洞事件。攻击者利用 composable 池的特性，通过大量 BPT 交易人为降低池的流动性，从而放大四舍五入误差，最终获利。Certora 强调，仅验证偿付能力不足以保证 rounding 的安全性，需要更细粒度的验证，如 swap 可逆性和 share-value 单调性。

本文深入分析了 Liquity 协议的核心机制，重点介绍了稳定池、清算和赎回的实现原理。通过对多个核心 Solidity 合约代码的解析，详细展示了协议如何处理债务抵消、抵押品分配以及在正常和恢复模式下的系统安全性维护。