Use Aven
Verify a swap
Recompute any fee in your browser.
Paste a swap. The app fetches the receipt from the RPC and redoes the math in your browser.
- Check A: the logged fee equals
compute()on the logged inputs. - Check B: the PoolManager's own Swap event charged exactly that fee.
Verify recent swaps
The newest 25 Aven-pool swaps the Arena knows, recomputed from the chain.
No Aven-pool swaps yet. Paste a tx hash above.
One swap every 3 s, so the public RPC's limit (100 requests a minute) isn't hit. For a full scan, run pnpm verify --all with a dedicated RPC.
✓ What this proves
- The fee is exactly the published formula applied to the inputs the hook logged (check A).
- The PoolManager charged exactly that fee on the swap (check B, from its own Swap event).
- The TypeScript recompute is an exact BigInt port, matched against 10,000 Solidity vectors.
⚠ What it doesn't prove
- That the logged oracle and mark equal HyperCore's history: the RPC serves only the latest state. Compare against the info API candles by hand.
- That the parameters are optimal. They are the spec defaults, calibrated, not tuned.
From the command line#
bash
pnpm verify <txHash> # one swap
pnpm verify --all # every FeeComputed since deploymentAven · MIT · ETHGlobal MumbaiEdit on GitHub ↗