DEMO
BRA2 - 1ARG67'
ENG1 - 0GER34'
POR2 - 1NEDFT
MEX0 - 0USA12'
ITA1 - 1BEL78'
FRA— · —ESP20:00
CRO2 - 0URUFT
BRA2 - 1ARG67'
ENG1 - 0GER34'
POR2 - 1NEDFT
MEX0 - 0USA12'
ITA1 - 1BEL78'
FRA— · —ESP20:00
CRO2 - 0URUFT
ProofKick
MarketsPortfolioActivityDocs

Docs

ProofKick is a set of trustless parametric prediction markets on the 2026 FIFA World Cup. Users escrow USDC on a YES/NO predicate over a verifiable match statistic; settlement is a function of a TxLINE Merkle proof verified on-chain via CPI — no oracle operator to trust.

GitHub repository
Full source: Anchor program, tracer, and this web app.
→
TECHNICAL.md
Architecture, PDAs, and the settlement / proof flow.
→
Settlement program (explorer)
ProofKick program on Solana devnet.
→
TxLINE oracle program (explorer)
The txoracle program the CPI validates proofs against.
→
On-chain coordinates
Clusterdevnet
ProofKick program921ys67mT4rn62pg2ZvfkrNoS581bU6u3QJojtBV71Qm
TxLINE oracle program6pW64gN1s2uqjHkn1unFeEjAwJkPGHoppGvS715wyP2J