v1.1.0 — AsyncSwap V1.1: Token/USD Fairness for Arbitrary Pairs

Generalizes USD-value fairness from native/USDC to arbitrary token pairs.

New in v1.1

• ITokenPriceOracle interface for per-token USD price feeds
• previewUsdSurplusCapture() computes fairness via cross-rate in USD terms
• Bilateral surplus detection (user and filler disadvantaged cases)
• Fill path prefers token/USD when configured, falls back to v1.0 sqrtPriceX96
• Governance-controlled tokenPriceOracle setter
• 6 new USD oracle tests

Carries forward from v1.0.0

• All core protocol features
• TLA+ verified state machine (206,497 states)
• Formal spec reviewed and updated for v1.1
• 185 tests pass

v1.0.0 — AsyncSwap V1: USD-Value Fairness (native/USDC)

Checkpoint release for the AsyncSwap V1 protocol.

Core Features

• Async intent-based swap hook on Uniswap V4
• Bilateral value protection (user enforced, filler detected)
• Immediate rebate semantics aligned with TLA+ verified spec
• Fee refund toggle (fees only on filled volume)
• Order expiry with permissionless keeper cleanup
• Batch fill / coincidence of wants
• One-time governance token rewards for swappers, fillers, and keepers
• Protocol starts paused by default — governance unpauses to launch
• Governance via AsyncGovernor + TimelockController

Oracle

• Chronicle ETH/USD oracle adapter for native/USDC pools
• Oracle-based surplus capture with governance-controlled split
• Safe degradation on oracle failure

Formal Verification

• TLA+ state machine spec (206,497 states, no violations)
• Python state machine and USD-value fairness models
• Plain-English formal spec reviewed and approved

Deployment

• Numbered deployment scripts with make orchestration
• Env-driven chain/mode selection via YAML config
• E2E walkthrough tested on forked Unichain Sepolia