Julius Tranquilli

02 / 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
01

Authors

Julius Tranquilli with Dr. Naman Gupta.

02

Focus

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

03

Published

December 5, 2025 on arXiv.

arXiv ↗ PDF ↗