Published event
DeveloperTools Other 1 source(s)

Show HN: ExactOdds – provably fair games that prove the rules

Updated September 27, 2026 · 12:02 AM · source date September 26, 2026

Summary

Show HN: ExactOdds – provably fair games that prove the rules ceedot-rock / exactodds Public Notifications You must be signed in to change notification settings Fork 0 Star 1 Branches Tags Open more actions menu Latest commit History 5 Commits 5 Commits Folders and files Name Name Last commit message Last commit date games games gate gate outreach outreach paper paper receipts receipts verifier verifier LICENSE LICENSE LICENSE.AGPL-3.0 LICENSE.AGPL-3.0 LICENSE.COMMERCIAL LICENSE.COMMERCIAL NOTICE NOTICE README.md README.md Repository files navigation ExactOdds Fair outcomes you can prove. ExactOdds is a protocol for provably-fair gaming with two halves: commit-reveal seeds (the outcome was fixed before your bet) and the exactness law (the game program produces byte-identical output on every target seat — Python, JavaScript, TypeScript, C, C++ — or the program is refused).
Why it matters

This Other is relevant to the technology intelligence record because it involves DeveloperTools activity. The source article should remain the factual reference for follow-up coverage.

Key facts
  • ceedot-rock / exactodds Public Notifications You must be signed in to change notification settings Fork 0 Star 1 Branches Tags Open more actions menu Latest commit History 5 Commits 5 Commits Folders and files Name Name Last commit message Last commit date games games gate gate outreach outreach paper paper receipts receipts verifier verifier LICENSE LICENSE LICENSE.AGPL-3.0 LICENSE.AGPL-3.0 LICENSE.COMMERCIAL LICENSE.COMMERCIAL NOTICE NOTICE README.md README.md Repository files navigation ExactOdds Fair outcomes you can prove.
  • ExactOdds is a protocol for provably-fair gaming with two halves: commit-reveal seeds (the outcome was fixed before your bet) and the exactness law (the game program produces byte-identical output on every target seat — Python, JavaScript, TypeScript, C, C++ — or the program is refused).
  • Today's "provably fair" proves only the outcome.
  • ExactOdds proves the rules too: the program an auditor gates is the only program that can pass, so a house can't run different rules in production than the ones it showed the auditor.
  • What's here games/ — the three reference games: provably-fair-dice.cuni , provably-fair-coin-flip.cuni , and provably-fair-roulette.cuni .
  • Short, readable, deterministic: seeds in, result out.
Entities in this story