[Cryptography Team] Fix to RandomPool