[anomalroil]

Almost, the randomness is generated using a BLS signature that also makes it verifiable. And that signature is the decryption key.