<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sat, Jun 17, 2017 at 4:59 AM, Jake McGinty <span dir="ltr"><<a href="mailto:me@jake.su" target="_blank">me@jake.su</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="overflow-wrap: break-word;">Based off of the input from this conversation, I wrote up a draft PR for more explicit (but backwards-compatible) definitions for how a protocol name is constructed and parsed.</div></blockquote><div><br></div><div>A while ago I made an ABNF/RFC5234 grammar for the pattern syntax (at the time - it needs updating to rev32):<br><br><a href="https://github.com/noiseprotocol/noise_spec/blob/master/patterns/grammar-abnf.txt">https://github.com/noiseprotocol/noise_spec/blob/master/patterns/grammar-abnf.txt</a><br><br></div><div>Perhaps an ABNF grammar for the protocol name would be useful as well to make the syntax super-precise?<br><br></div><div>Cheers,<br><br></div><div>Rhys.<br></div></div><br></div></div>