本文深入解析了Uniswap V3的核心代码和白皮书,详细介绍了其架构创新,包括多费率池、区间流动性、非同质化流动性的实现,以及Ticks机制、流动性计算、手续费模型和Swap交易流程的数学原理与Solidity代码实现。文章通过代码片段和数学公式,探讨了V3相较于V2的复杂性和精妙之处。
本文详细分析并重新实现了 Uniswap V2 的核心合约,包括 ERC20 LP 代币、Pair 合约(流动性管理、兑换、费用机制)和 Factory 合约。文章深入探讨了 EIP-712、瞬态存储、定点小数运算、create2 等复杂技术,并提供了设计决策、安全考量及 Gas 优化的见解。
本文深入分析了 AAVE v4 的核心代码库,详细阐述了其 Hub-and-Spoke 架构、创新的风险溢价 (Risk Premium) 机制、基础债务与溢价债务的利息累计方式,以及基于荷兰式拍卖的清算引擎。文章结合官方文档和源代码,对关键概念和实现细节进行了详尽的解析。
本文深入分析了Balancer v2被黑客攻击的细节,阐述了攻击者如何利用StableSwap AMM的舍入误差和BPT代币机制,对[WETH, BPT, osETH]池进行攻击。文章详细剖析了Balancer v2的架构、流动性管理、Swap机制及背后的StableSwap数学原理,并简述了白帽攻击案例。
[WETH, BPT, osETH]
本文深入探讨了自动做市商(AMM)领域中的最优路由问题,通过引入对偶分解和凸优化方法,详细阐述了如何为跨多个AMM池的交易寻找最优路径。文章不仅定义了核心概念和数学符号,还推导了不同类型AMM(如几何平均数市场和区间流动性市场)的套利闭式解,并结合Julia代码展示了算法实现。
Licredity 核心开发者分享了 Uniswap V4 的架构和编程技巧,以及现代智能合约项目的目录结构和开发架构。文章还介绍了现代常见的合约特性,例如使用 soldeer 进行依赖管理,使用 Extsload 合约来访问 internal 变量,利用 BalanceDelta 机制实现更高效的清算,以及引入 unlock 机制实现终局原子性。