<div dir="ltr"><div>Dear Trevor,</div><div>IK has been added and X1N has been updated with extra messages.<br></div><div><br></div><div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Nadim Kobeissi<div>Symbolic Software <span style="color:rgb(84,84,84);font-size:small">• <a href="https://symbolic.software" target="_blank">https://symbolic.software</a></span></div><div><span style="color:rgb(84,84,84);font-size:small">Sent from office</span></div></div></div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Mon, Jul 2, 2018 at 5:57 PM Nadim Kobeissi <nadim@symbolic.software> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Dear Trevor,</div><div>Thanks for adding the link to the wiki!</div><div><br></div><div>- Yes, IK seems to be missing. No worries, will add shortly.</div><div>- Good catch re. X1N. I've added the missing "tokenless" messages and am rerunning the analysis.</div><div><br></div><div>I will follow up on the rest at a later time.<br></div><div><br></div><div><div><div dir="ltr" class="m_-2757234755933799690gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Nadim Kobeissi<div>Symbolic Software <span style="color:rgb(84,84,84);font-size:small">• <a href="https://symbolic.software" target="_blank">https://symbolic.software</a></span></div><div><span style="color:rgb(84,84,84);font-size:small">Sent from office</span></div></div></div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Mon, Jul 2, 2018 at 6:47 AM Trevor Perrin <<a href="mailto:trevp@trevp.net" target="_blank">trevp@trevp.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Noise Explorer team,<br>
<br>
I linked Noise Explorer from the wiki.<br>
<br>
<a href="https://github.com/noiseprotocol/noise_wiki/wiki" rel="noreferrer" target="_blank">https://github.com/noiseprotocol/noise_wiki/wiki</a><br>
<br>
I also checked that it matches the rev34 spec, aside from some small<br>
points below.<br>
<br>
To align with the upcoming rev34, it would be great to get these tweaks:<br>
 - IK seems to be missing?<br>
 - X1N analysis appears to be truncated (missing final "tokenless" messages)?<br>
 - We've renamed the properties to "Source" and "Destination" instead<br>
of "Authentication" and "Confidentiality", probably this is better?<br>
 - I still think the "4" source property is redundant with "2", since<br>
what differentiates them is captured in the destination properties.<br>
<br>
Trevor<br>
_______________________________________________<br>
Noise mailing list<br>
<a href="mailto:Noise@moderncrypto.org" target="_blank">Noise@moderncrypto.org</a><br>
<a href="https://moderncrypto.org/mailman/listinfo/noise" rel="noreferrer" target="_blank">https://moderncrypto.org/mailman/listinfo/noise</a><br>
</blockquote></div>
</blockquote></div>