implementation of HashFuncPRGRandomOracle + tests