Dspyt: Verifiable random functions