<div dir="ltr">Hello everyone,<br><br>I am happy to share that Noise Explorer now produces WebAssembly modules for arbitrary Noise Handshake Patterns:<br><a href="https://github.com/SymbolicSoft/noiseexplorer" rel="noreferrer" target="_blank">https://github.com/SymbolicSoft/noiseexplorer</a><br><br>The WebAssembly modules are generated from Rust code. This is the same efficient, zero-secrets-allocation Rust code that we already have, but we had to use different primitives due to problems with the Wasm linking toolchain in Rust (that we expect will be resolved later by the compiler engineers involved.)<br><br>Georgio Nicolas led this effort and indeed is currently the lead maintainer for Noise Explorer as I make headway on our next major project. At this stage, we consider Noise Explorer to be feature complete and do not expect to add any new features. However, we will keep modernizing all features to match future revisions of the Noise Protocol Framework specification. This means that the following will be updated for each new revision of the spec:<br><br>- ProVerif models.<br>- Formal verification results and rendering with explanations.<br>- Go, Rust and Wasm implementations.<br><br>We are committed to doing this for each new revision of the Noise Protocol Framework and hope to continue to support the Noise project in this way.<div><br></div><div>Another topic I wanted to discuss is the versioning and tagging of generated implementations from Noise Explorer:</div><div><br></div><div>Some of you may have noticed that Noise Explorer currently lacks versioning completely for generated implementations. This is currently probably the only major remaining oversight in Noise Explorer generally. <br><br>Of course, we have been aware of this issue for some time [0], but we have chosen to wait until all of our implementation targets are fulfilled before addressing it. So, soon, generated implementations will be under strict version control, so that each generated implementation is tagged with a version number and date, and changes between version numbers in implementations come with a detailed changelog. This will finally make considering Noise Explorer’s implementations in production a responsible move.<br><br>[0] <a href="https://github.com/SymbolicSoft/noiseexplorer/issues/16" rel="noreferrer" target="_blank">https://github.com/SymbolicSoft/noiseexplorer/issues/16</a>  <br><br>Kind regards,  <br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><br></div><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></div></div></div></div>