[noise] WebAssembly from Noise Explorer

Nadim Kobeissi nadim at symbolic.software
Fri Jul 5 09:09:14 PDT 2019

Hello everyone,

I am happy to share that Noise Explorer now produces WebAssembly modules
for arbitrary Noise Handshake Patterns:

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.)

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:

- ProVerif models.
- Formal verification results and rendering with explanations.
- Go, Rust and Wasm implementations.

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.

Another topic I wanted to discuss is the versioning and tagging of
generated implementations from Noise Explorer:

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.

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

[0] https://github.com/SymbolicSoft/noiseexplorer/issues/16

Kind regards,

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://moderncrypto.org/mail-archive/noise/attachments/20190705/b86276aa/attachment.html>

More information about the Noise mailing list