Aggregator integration

PropAMMVenue merges every maker’s ladder, best price first. Integrate it like a pool. No API, no signatures, no per-trade requests. The venue implements the IPropAMM pool interface and its IPropAMMFillable extension.

Chain	`PropAMMVenue`
Base (8453), Base Sepolia (84532)	`0x0000009E5F98cDB4dd1E1d2E15B220217c88B3b8`

Discover pairs

function getPairs() external view returns (TokenPair[] memory);      // struct TokenPair { address token0; address token1; }, token0 < token1
function isActive(address tokenIn, address tokenOut) external view returns (bool);
function supportsInterface(bytes4 interfaceId) external pure returns (bool);

Function	Returns
`getPairs()`	advertised pairs; both directions are tradeable when a maker quotes them
`isActive(tokenIn, tokenOut)`	`true` when any maker has depth for that direction now
`supportsInterface(interfaceId)`	`true` for ERC-165 `0x01ffc9a7`, `IPropAMM` `0xf723370b` and `IPropAMMFillable` `0x7ae84825`

Re-read getPairs() on PairAdded.

Quote

function quote(address tokenIn, address tokenOut, uint256 amountIn) external view returns (uint256 amountOut);
function quoteFillable(address tokenIn, address tokenOut, uint256 amountIn) external view returns (uint256 fillableAmountIn, uint256 amountOut);
function levels(address tokenIn, address tokenOut) external view returns (uint256[] memory cumSizes, uint256[] memory prices, uint256 earliestExpiry);
function board(address mm, address tokenIn, address tokenOut) external view returns (uint256[] memory sizes, uint256[] memory prices, uint256 filled, uint256 remaining, uint256 expiresAt);

Function	Returns
`quote`	exact `swap` output at this block, net of the protocol fee; reverts `Inactive()` if the size is not covered
`quoteFillable`	the part of `amountIn` the venue fills now and the output for exactly that part, net of the protocol fee; `(0, 0)` when nothing fills
`levels`	merged ladder: cumulative sizes, price per segment, earliest expiry
`board`	one maker’s live ladder, filled and remaining size, expiry

All four are view functions; call them with eth_call. Segment output is floor(take * price / 1e18). Per-block caps and each maker’s payable inventory are already applied in all four, so the venue quotes only what makers can pay. A splitting router can size the venue with one quoteFillable call and send fillableAmountIn.

Swap

Push payment: transfer exactly amountIn to the venue, then call swap in the same transaction.

function swap(address tokenIn, address tokenOut, uint256 amountIn, uint256 minAmountOut, address recipient, uint256 deadline) external returns (uint256 amountOut);
function swapWithFee(address tokenIn, address tokenOut, uint256 amountIn, uint256 minAmountOut, address recipient, uint256 deadline, uint256 extraFeePpm, address feeReceiver) external returns (uint256 amountOut);

Parameter	Meaning
`amountIn`	pushed amount; calldata byte offset 68 in both functions
`minAmountOut`	checked on what `recipient` receives, after the protocol fee and your fee
`recipient`	receives `tokenOut`; not zero, not the venue
`deadline`	unix seconds; `0` disables
`extraFeePpm`	your fee, max `50_000` (5%)
`feeReceiver`	receives your fee in the same transaction

quote does not include your fee: with swapWithFee the recipient receives quote - quote * extraFeePpm / 1e6. A short push reverts. An over-push stays in the venue.Pull instead of push. If your router approves a pool and calls it, writing the input amount into the calldata, approve PropAMMPullRouter and call the same swap or swapWithFee on it. It pulls amountIn from the caller with transferFrom, then swaps on the venue. Signatures, selectors, the amountIn offset and every rule above are the same.

Chain	`PropAMMPullRouter`
Base (8453)	`0x000000d390775D801A53437613e0EAf64A30339c`

The router also rejects itself as recipient or feeReceiver (BadRecipient()), exposes quote (the venue’s), and accepts ERC-20 only. Quote and size on the venue or the router; the result is the same. Swaps through it emit the venue’s events with the router as sender.

Refresh

Ladders can reprice every block, and per-block caps reset each block. Re-read each block, or on AnchorCommitted, LadderCommitted, OffsetsCommitted, ControlsCommitted, MMFillExecuted and MakerPaused from the executor 0x0000006f9bBA066e4efda2e0CAbE4FF8cf9030aC. An AnchorCommitted reprices both directions of its pair. Or subscribe to the board feed: every maker’s board each block, without reading the venue.

Fees

Step	Formula
Protocol fee	`gross * feeBps / 10_000`; `feeBps()` max 100; `quote` is already net of it
Your fee	`net * extraFeePpm / 1_000_000`; `swapWithFee` only; not in `quote`
Recipient receives	`net - yourFee`; `minAmountOut` is checked here

When either fee is non-zero the venue also emits FeesTaken(uint256 protocolFee, address feeRecipient, uint256 routerFee, address feeReceiver), topic0 0x2e155316dd41148f34c353563f59940c4496861ec9264f7b97847857203340a5. Both fees come from the taker’s output; the maker’s price is not changed.

Reverts

Revert	Selector	Cause	Action
`Inactive()`	`0x2e8acb0d`	makers cannot cover the size, or `amountIn` is zero	route elsewhere
`InsufficientOutput(uint256,uint256)`	`0x2c19b8b8`	delivery below `minAmountOut`	refetch
`DeadlinePassed()`	`0x70f65caa`	past `deadline`	resubmit
`BadRecipient()`	`0x67a2cc26`	`recipient` is zero or the venue	fix
`ExtraFeeTooHigh(uint256)`	`0x61539341`	`extraFeePpm` above 5%	fix
`ZeroFeeReceiver()`	`0xb6802b7f`	fee set without `feeReceiver`	fix
`FillLegFailed(address,bytes4,bytes)`	`0x33fd2c98`	a maker’s provider reverted	retry

Events

Each swap emits Swapped, then PropAMMSwap, for the same trade and the same amounts. Index one of them. Do not add them together.

event Swapped(address indexed sender, address indexed tokenIn, address indexed tokenOut, uint256 amountIn, uint256 amountOut, address recipient);
event PropAMMSwap(address indexed sender, address indexed receiver, address tokenIn, address tokenOut, uint256 amountIn, uint256 amountOut, bytes32 indexed lane);

Field	`Swapped`	`PropAMMSwap`
`topic0`	`0x1eeaa4acf3c225a4033105c2647625dbb298dec93b14e16253c4231e26c02b1d`	`0x20198e5e9a55297673b83a909cf489803a8e65b9b3b28f0336d7786201d88ced`
defined by	`IPropAMM`, the pool interface other proprietary AMMs share	PropAMM
`lane` for venue swaps		`0x38bac6022d372bf52947085f84474211d0d8687b830ca07361b408294b503b24`
emitted	once per swap	once per swap
`amountOut`	delivery to the recipient, after fees	delivery to `receiver`, after fees

Selectors

Function	Selector
`getPairs()`	`0x767eb5ef`
`isActive(address,address)`	`0xae131deb`
`quote(address,address,uint256)`	`0xb6466384`
`quoteFillable(address,address,uint256)`	`0x7ae84825`
`supportsInterface(bytes4)`	`0x01ffc9a7`
`levels(address,address)`	`0x501dc709`
`board(address,address,address)`	`0xa5588684`
`swap(address,address,uint256,uint256,address,uint256)`	`0x9908fc8b`
`swapWithFee(address,address,uint256,uint256,address,uint256,uint256,address)`	`0xc13993c2`
`feeBps()`	`0x24a9d853`

Test on Base Sepolia

Token	Address	Decimals
MockWETH	`0x8b414aD7005EeFd315aF2A16538885Eae229bab7`	18
MockUSDC	`0xAbbdbbbd6d56593A9c5656c06cB30D61E4a544Df`	18
MockDAI	`0xa3Db3e064D74fF11e6E07b9869a67f1E4FCFEcFb`	18

Pairs: MockWETH/MockUSDC, MockDAI/MockUSDC. Anyone can call mint(address,uint256).

Getting Started

Market Makers

Aggregators

Reference

Fees

Reverts

Events

Selectors

Test on Base Sepolia

​Fees

​Reverts

​Events

​Selectors

​Test on Base Sepolia

Fees

Reverts

Events

Selectors

Test on Base Sepolia