video as a source of public randomness