[noise] Spec revision 32

[Jason A. Donenfeld]

On Fri, May 19, 2017 at 2:14 PM, Alex <alex at centromere.net> wrote:
> What this implies is that a general purpose Noise library simply can't
> execute the instructions sequentially. You have to scan the entire
> pattern, determine if there are any `psk` tokens, and then change the
> *meaning* of the `e` token if you find any. Is this correct?

No, not really. All psk handshakes have "psk" in the handshake
identifier. This means that you must know that psk is in use from the
very beginning of the handshake, when the handshake identifier becomes
the initial value of ck. Thus, you can determine at that early point
what to do later on, without needing to "scan forward" or whatever it
is that you dread having to do.