I'm interested int the PRNG algorithm that tezos uses for drawing baking rights. It is vaguely mentioned in the docs as a CSPRNG (Cryptographically secure pseudorandom number generator) seeded with a random seed generated from the revealed nonces. But that is all we get.
Can anyone provide some explanation how the mentioned CSPRNG works? Did they use a known algorithm or developed their own?