This project is a library to create provable play-by-email games, leveraging zero-knowledge proofs.
We provide an example project: a provable chess game played via email.
This project is work in progress and might not work as expected. I still need to polish the code.
- Provable gameplay: Ensures players are honest by using zero-knowledge proofs.
- Trustworthy: Game servers cannot cheat, and players can play against dishonest opponents with confidence.
- Onchain settlement: Settle your game on the Hylé chain at low cost and without latency.
Learn more:
- Generic presentation on the Hylé podcast
- Technical presentation at Real World Cryptography Paris //TODO
- Challenge a friend to play chess by email.
- Send each other emails with your chess moves, cc’ing the zkChess referee server on your emails.
- Using zkEmail and RISC Zero, the referee server generates two proofs:
- zkEmail generates proof of the state transition sent by email.
- The shakmaty library + RISC Zero allow for easy proof generation that the final email includes a mate.
- Hylé verifies and settles both proofs in a single transaction without requiring the proofs to reference each other.
- 2 players sending each other emails
- A chess engine processing the emails to find the winning condition
- A referee server receiving emails and generating the final zk proofs
- Hylé to verify and settles the final proofs
- Clean up code
- Add privacy (commit-reveal schemes)
- Add more play-by-email games
- Onchain side bets
- Provable onchain ELO
- Censorship-resistance of the email server
TODO.
This project is supported by Hylé, the lean blockchain for your provable apps
