it's an open standard for gambling generally. provable verification is like:

hash(nonce, server seed, client seed, timestamp) ->

get hex digest ->

convert hex to number ->

that is your random number

to verify, given your client seed you set, and server seed revealed (hidden at time of bet), you can hash it yourself and verify the number is the result