The problem Fairplay solves

The current prediction market landscape often involves financial risks, as participants lose their stake if their prediction is incorrect. This creates a barrier for new users and discourages broader participation. By introducing a no-loss prediction market, this project eliminates the risk of losing funds while maintaining the thrill of making predictions. It uses zero-knowledge proofs (risc0) to verify the outcomes, ensuring fairness and transparency. The generated proof is then published onchain with zkVerify.

This approach also applies to on-chain gaming scenarios, where participants can predict in-game events (e.g., the first player to roll a 6 in a Ludo game). The verified attestation on Sepolia is what is then used to distribute wins to winners and losers get back their stake.

Challenges I ran into

One major challenge was integrating RISC0 to generate proofs for game outcomes and ensuring compatibility with zkVerify for proof verification. zkVerify only supported 0.1.0 version of risc0 so I spent time fixing some issues.

The smart contract example also only covered groth16 and none on risc0 so I am unable to properly verifyProofAttestation onchain to determine who the winners are.