Add HKDF as a fast, random number source