notes on channel binding, PRF