Constant-Product AMM (D01)

A Uniswap-V2-style exchange built from scratch: permissionless factory, pair with flash swaps and cumulative prices, single-hop router, and a permit-enabled LP token. Deployed and Sourcify exact-match verified on Base Sepolia.

Web3DeFiAMMDEX

Live Demo Source Code

Key Results

43 contract tests: unit, stateful fuzz, invariant and differential suites

Sourcify exact-match verified contracts on Base Sepolia

Fee-adjusted invariant and donation/skim semantics formally documented

Wallet UI with swap and LP round-trip acceptance evidence

Tech Stack

SolidityFoundryOpenZeppelinNext.jswagmiviem