Trustless parametric prediction markets for the World Cup, settled on-chain via TxLINE Merkle proofs on Solana.