[mukyu]

That sort of provable rng isn't novel. tenhou.net [1] (a site for playing riichi mahjong) has been using sha512 of rng values/seeds since at least 2009.

[1] http://tenhou.net/man/#LOG (in japanese)