Skip to main content
Slip turns a supported football rule into a two-to-five-outcome parimutuel market on Solana. Users stake any allowed amount of devnet USDT. TxLINE supplies fixtures and cryptographic settlement facts; pool balances supply the implied odds.
The unified program passes local Surfpool verification but is not deployed on public devnet. Write controls remain disabled there. See Deployment status.

Understand Slip

Learn why one parimutuel primitive covers result, totals, cards, corners, and period markets.

Verify locally

Build the SBF and run real token, proof, claim, and refund scenarios in Surfpool.

Prepare the bounty

Track the mandatory demo, public access, repository, and deployment evidence.

​
System documentation

Architecture

Follow a market from natural language through escrow, TxLINE proof verification, and claims.

Program reference

Look up accounts, instructions, states, limits, arithmetic, and errors.

TxLINE integration

Find the exact endpoints, stat keys, terminal phases, proof bytes, and roots account layout.

SDK and API

Find AI compilation, TxLINE, transaction, math, account, proof, and HTTP interfaces.

​
Submission documentation

For recovered proof evidence and live devnet observations, read GROUND-TRUTH.md in the repository.