PRF-HMAC-SHA-256 is finished (initial version)