Invariant，中文常译作不变式，是去中心化交易所AMM自动做市体系最底层的数学约束，也是区分各类DEX交易机制的核心标尺。在去中心化流动性池内，不变式代表一组代币储备需要持续满足的固定数学关系，单次代币交换完成后，合约会自动校验该关系式维持恒定，流动性增减操作才会改变常数数值。大众最为熟悉的不变式模型为恒定乘积公式x·y=k，广泛应用于UniswapV2、SushiSwap等早期去中心化交易协议。交易过程不考虑手续费时，池内两类代币余额乘积k保持不变；交易者买入某类代币，池中对应资产储备下降、另一种代币储备上升，价格随储备比例自动调整，不需要订单簿、撮合引擎即可实现链上自动兑换。不同不变式衍生出差异化交易曲线，直接决定滑点大小、资金承载能力与资产适配类型。
不变式不存在统一标准公式，开发者可以根据交易场景设计对应的计算模型，不同方案在实际应用中形成清晰分化。恒定和不变式x+y=k理论上能够实现1:1零滑点兑换，但缺陷十分明显，一旦外部市场价格偏离锚定比例，套利资金容易耗尽池子内单边资产，很少单独投入生产环境。Curve推出的StableSwap不变式融合恒定乘积与恒定和两种逻辑，在价格锚点附近拥有极低滑点，价格大幅偏离时又保留恒定乘积模型的流动性兜底能力，因此长期成为稳定币、锚定资产交易池的主流方案。Balancer进一步拓展不变式结构，支持多代币加权资金池，打破传统50/50双向资金池限制，满足指数类资产组合做市需求。各类创新DEX的机制迭代，本质上都是对不变式函数持续优化调整。
不变式直接决定交易成本与持仓风险。在恒定乘积不变式资金池，大额交易会沿着双曲线曲线产生明显价格冲击，也就是滑点；流动性深度越低，同等规模交易造成的价格偏移越显著。流动性提供者面临的无常损失，根源同样来自不变式驱动的池内资产自动再平衡。当外部市场两种代币比价发生波动，套利者会持续交易抹平价差，资金池按照不变式调整两类代币占比，最终LP持仓组合收益会低于单纯持有原始代币。UniswapV3集中流动性机制并未抛弃恒定乘积不变式，而是允许流动性只在指定价格区间生效，在不变式基础上提升资金利用率，同时也提高了流动性管理的操作门槛。
多链生态发展，不变式机制持续延伸出更多落地场景，不再局限于基础代币互换。聚合交易路由会自动对比不同协议不变式曲线，为大额交易拆分订单，分散到多条曲线完成兑换，最大限度降低滑点。部分借贷协议、链上期权底层也引入定制化不变式，构建自主平衡的资产池。同时行业也在探索动态不变式模型，尝试根据市场波动率、资金池体量自动调整函数参数，缓解传统固定不变式固有的短板。理解不变式，能够帮助参与者区分各类去中心化交易所底层差异，不再单纯依靠表面费率、宣传热度选择交易平台，从底层逻辑预判交易滑点、流动性风险与资金池长期稳定性。
任何一种不变式模型都存在取舍平衡，不存在能够适配所有交易场景的完美方案。恒定乘积不变式通用性强，适合波动较大的原生代币交易，但滑点与无常损失问题难以根除；StableSwap不变式适合锚定资产兑换，用于高波动币种时交易体验会明显下降。市场参与者需要根据自身交易标的、资金持有周期匹配对应不变式类型的资金池。不变式作为DeFi去中心化交易的数学基石，推动加密市场摆脱中心化撮合模式，实现无需对手方的永续流动性，后续AMM技术演进，依旧会围绕不变式函数持续开展创新，也是研究去中心化交易所长期发展无法绕过的核心概念。
