wtf is astraea?

Astraea is a football prediction exchange built so that nobody has to trust a company to pay out winnings honestly. Instead of a platform declaring who won a bet, the app reads live match data from a service called TxLINE, checks that data against a cryptographic proof stored on the Solana blockchain, and lets a program automatically release funds once the proof checks out. It was built for the Superteam x TxLINE World Cup Hackathon, in the prediction markets and settlement category. The basic flow works like this: a user creates a prediction and deposits funds, which are held in an on-chain vault. A matching service pairs that prediction with someone taking the opposite side. As the real match plays out, TxLINE streams live scores and odds. Once the match ends, a keeper service fetches a Merkle proof, a kind of cryptographic receipt, for the final result and submits it to the on-chain program. If the proof is valid, the payout happens automatically, with no person approving or reviewing it. The project stresses that it never calculates outcomes itself. It only checks whether TxLINE's published match data matches a specific claim, such as who won or the total goals scored, and lets the on-chain program verify that against a stored proof before releasing money. The app is built with Next.js, connects to a Phantom wallet, and currently runs on Solana's test network called Devnet, using a program named Txoracle that was deployed by a separate company, TxODDS. The README includes a guided demo flow: connecting a wallet, claiming free test tokens, picking a match to bet on, watching the trade get automatically matched, and then tracking orders, settlement status, and history, all pulled live from the blockchain rather than sample data. The project also includes a table distinguishing which parts are working on-chain versus still in progress, showing that most of the core trading and settlement pieces were functional at the time of writing.