An implementation of HeadStart: Efficiently Verifiable and Low-Latency Participatory Randomness Generation at Scale published at NDSS 2022.