Uniswap: 恒定乘积推导相关说明

[jht6]

论文地址: https://github.com/runtimeverification/verified-smart-contracts/blob/uniswap/uniswap/x-y-k.pdf

手续费场景方程推导

在第一章节中, 论文给出了含手续费时的 Δx, Δy的计算方式, 其公式中含γ
这个公式其实是从以下方程推导而来:

(x + γ * Δx) * (y - Δy) = k = x * y

ρ 为手续费, γ = 1 - ρ, 方程的含义是: 在计算转入X币量时直接将手续费部分扣除掉, 然后再根据恒定乘积计算Y币的兑换量.
将方程两侧同时除以 x*y , 即可得到Δx, Δy的计算公式.