SuiBets — Formally Verified Decentralized Sports Betting #17916

elpou88 started this conversation in Show and tell

elpou88
Apr 3, 2026

SuiBets — Decentralized Sports Betting

Sharing SuiBets, a decentralized sports betting platform with formally verified smart contracts.

Highlights

On-chain settlement for 8+ sports
13 security properties formally verified using Boogie/Z3 SMT Solver
Multisig treasury — no single key access
Verified smart contract source code

Links

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment