As for the source of randomness, they mention it briefly in the appendix:

> RANDAO: the random number generation scheme used to select block proposers, sort validators into committees, etc

Spec and implementation: https://github.com/randao/randao