SuiBets — Decentralized Sports Betting with Formal Verification on Sui #4943

elpou88 started this conversation in Show and tell

elpou88
Apr 3, 2026

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

Replies: 0 comments

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