Verifying a bet
Each bet can be verified using the day's secret and the last deposit's TXID. To produce a stream of numbers a nonce is appended which is incremented by 1 on every bet. The nonce is reset to 0 on every deposit.

The lucky number is computed by the first 4 hex digits of hmac_sha512(secret, lastdeposittxid:nonce)

For more information on how to verify a bet enter its ID at the top of the page. (Example)
A different secret is used each day. SHA256 hashes of all secrets until 2030 have been precomputed and are available here. Secrets are released 4 hours after the day has ended.
Database dumps
In the interest of transparency all accounts, deposits and withdrawals are available publicly and are updated every 60 minutes.