The provably fair lottery doesn't need any oracles. The Bitcoin is an oracle.