[noise] Noise Embedded

Nadim Kobeissi nadim at symbolic.software
Wed Jun 12 04:10:10 PDT 2019

Hello everyone,

I hope you’re all doing well and enjoying the summer.

We’ve recently announced Noise Embedded:

Here’s how it works:

We take the Rust code that Noise Explorer generates:
This Rust code has now been optimized to fit no_std <https://rust-embedded.github.io/book/intro/no-std.html>.
It also uses HACL*’s formally verified primitives.
We use our proprietary internal toolkit for optimizing it for embedded use cases and flashing it into embedded packages (Cortex M0, Cortex M4 and others).
We use that same toolkit for fuzzing and benchmarking.

This is a more commercial venture. As such, I am announcing it here simply so that folks are aware that we’re now targeting Noise at high-assurance embedded use cases. I’ll keep this email short so as not to abuse this list for commercial advertising.

We’re very happy with the results we’ve seen so far with Noise Embedded and hope that with time we can make our toolkit more open for general public use.

Georgio Nicolas was instrumental in the preparation of this work, and Benjamin Beurdouche helped us with getting the HACL* BLAKE2s implementation running on embedded devices.

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/20190612/0b691884/attachment.html>

More information about the Noise mailing list