[noise] rev32b (Release Candidate)

[Alex]

On Thu, 11 May 2017 18:27:49 +0000
Trevor Perrin <trevp at trevp.net> wrote:

> The new design provides PSK flexibility with a "psk" token, and uses a
> naming scheme that fits with the "modifier" syntax we currently use
> for "fallback", and have discussed using for signatures ("sig"),
> post-quantum ("hfs"), and other pattern transformations ("noidh",
> others).
> 

Does the following accurately describe your intention behind the `psk`
token?:

Noise_IKpsk1(s, rs):
   <- s
   ...
   -> e, es, s, ss, psk(lookup_psk_in_database(s.public_key))
   <- e, ee, se