[noise] Pattern transformations

[Rhys Weatherley]

On Mon, Mar 20, 2017 at 5:27 AM, Alex <alex at centromere.net> wrote:

> I'm a little unclear on the idea of pattern transformations. Up until
> this point the transformations I've seen have only been applied to one
> or two patterns in an ad-hoc manner (e.g. fallback). It's not clear that
> any single formal algorithmic transformation can be applied universally
> to all patterns.
>
> In theory, could such a transformation exist? If it can, that would be
> incredibly beautiful and elegant, because it would allow us to have a
> notion of composition (among other things).
>

The "hfs" transformation for Hybrid Forward Secrecy [1] is algorithmic:
replace e with e,f and ee with ee,ff.

Cheers,

Rhys.

[1]
https://github.com/noiseprotocol/noise_spec/blob/master/extensions/ext_hybrid_forward_secrecy.md
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://moderncrypto.org/mail-archive/noise/attachments/20170320/ba3f4a10/attachment.html>