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 deployment
Aven · MIT · ETHGlobal MumbaiEdit on GitHub ↗