<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Mar 20, 2017 at 5:27 AM, Alex <span dir="ltr"><<a href="mailto:alex@centromere.net" target="_blank">alex@centromere.net</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">I'm a little unclear on the idea of pattern transformations. Up until<br>
this point the transformations I've seen have only been applied to one<br>
or two patterns in an ad-hoc manner (e.g. fallback). It's not clear that<br>
any single formal algorithmic transformation can be applied universally<br>
to all patterns.<br>
<br>
In theory, could such a transformation exist? If it can, that would be<br>
incredibly beautiful and elegant, because it would allow us to have a<br>
notion of composition (among other things).<br></blockquote><div><br></div><div>The "hfs" transformation for Hybrid Forward Secrecy [1] is algorithmic: replace e with e,f and ee with ee,ff.<br><br></div><div>Cheers,<br><br></div><div>Rhys.<br><br>[1] <a href="https://github.com/noiseprotocol/noise_spec/blob/master/extensions/ext_hybrid_forward_secrecy.md">https://github.com/noiseprotocol/noise_spec/blob/master/extensions/ext_hybrid_forward_secrecy.md</a><br><br></div></div></div></div>