On Mon, Aug 31, 2015 at 9:16 AM, Jason A. Donenfeld <Jason at zx2c4.com> wrote: > > A related question -- with the HandshakeIS, my "initial" hash value is > just going to be HASH(remote_static), right? HASH(zeros[32] || remote_static) Trevor