GokooSwap

Swap

The quote uses the contract's own formula with integer floor division — out = reserve_out × in / (reserve_in + in) — so what you see here is what the pool would settle on-chain, to the unit.

Add liquidity

On onx-isa-1 messages carry no value, so the reserves above are the pool's own ledger of the two test tokens. Custody between separate token contracts arrives with the onx-isa-2 proposals — GokooSwap's pricing core carries over unchanged.

How it settles

A swap is a signed ContractCall to the pool contract on ONX devnet-3. The contract recomputes the price from its own reserves — no oracle, no off-chain matching — using checked u64 arithmetic: an overflowing trade faults and bounces rather than wrapping. A swap can never decrease the product of the reserves.

GokooSwap is written in Nacre, ONX's contract language, and compiled by the Nacre compiler — extended for this pool with message fields and integer division, proven by execution tests and a full STF end-to-end run before it ever touched a chain.

Proof

Source and compiler live in the ONX repository: git.on-x.live/amethyst/the-open-network-x (contracts/nacre/gokooswap.nacre).