q := SHA-512(ZKDF(zkey, label))