-
Notifications
You must be signed in to change notification settings - Fork 213
SuiBets — Decentralized Sports Betting with Formal Verification on Sui #4943
elpou88
started this conversation in
Show and tell
-
SuiBets
Decentralized sports betting on Sui blockchain with 13 formally verified security properties.
As a prediction market protocol, thought the UMA community would find this interesting — different chain but similar space.
Highlights
- On-chain settlement for 8+ sports
- Formal verification using Boogie/Z3 SMT Solver
- Multisig treasury
- Verified contract source code
Links
Beta Was this translation helpful? Give feedback.
All reactions
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment