Research

Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs

Formal modeling and verification work for concentrated-liquidity automated market makers.

• Formal Methods
• AMMs
• Uniswap v3
• arXiv:2512.06203

Authors

Julius Tranquilli with Dr. Naman Gupta.

Focus

The paper develops formal state-machine models for Uniswap v3-style concentrated-liquidity AMMs, supporting more rigorous reasoning about protocol behavior.

Published

December 5, 2025 on arXiv.