Towards Cryptographically Verifiable Randomness -DeCenter Seminar Series (10.2.2024)