Verifiable random functions with Boolean function constraints