fuzzland

SuiBets — Formally Verified Move Smart Contract for Sports Betting #568

elpou88 started this conversation in Show and tell

elpou88
Apr 3, 2026

SuiBets

Decentralized sports betting on Sui with a formally verified Move smart contract.

Security

13 formally verified properties using Boogie/Z3 SMT Solver
Integer overflow, reentrancy, and access control proofs
1,726 lines of Move code
Multisig treasury

Links

Replies: 0 comments

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