本文深入分析了 Uniswap V4 智能合约中涉及的数学计算模块,包括 BitMath(用于检索 uint256 中 1 的索引位置,包括 mostSignificantBit 和 leastSignificantBit 函数的实现原理和 z3 求解)、FullMath(中国剩余定理,全精度乘法和除法实现,如 mulDiv)、TickMath(对数和指数计算,详细介绍了 log2 的计算方法,定点小数的应用,误差分析,以及 tick 到 sqrtPrice 的转换过程)等内容,并结合代码示例进行了解释。