easily compiled version of RFC3797: Publicly Verifiable Random Selection