<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hello everyone,<div class=""><br class=""></div><div class="">I hope you’re all doing well and enjoying the summer.</div><div class=""><br class=""></div><div class="">We’ve recently announced Noise Embedded:</div><div class=""><a href="https://symbolic.software/noiseembedded.html" class="">https://symbolic.software/noiseembedded.html</a></div><div class=""><br class=""></div><div class="">Here’s how it works:</div><div class=""><br class=""></div><div class=""><ul class="MailOutline"><li class="">We take the Rust code that Noise Explorer generates:</li><ul class=""><li class="">This Rust code has now been optimized to fit <a href="https://rust-embedded.github.io/book/intro/no-std.html" class="">no_std</a>.</li><li class="">It also uses HACL*’s formally verified primitives.</li></ul><li class="">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).</li><li class="">We use that same toolkit for fuzzing and benchmarking.</li></ul><div class=""><br class=""></div><div class="">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.</div><div class=""><br class=""></div><div class="">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.</div><div class=""><br class=""></div><div class="">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.</div><div class=""><br class="">Nadim Kobeissi<br class="">Symbolic Software • <a href="https://symbolic.software" class="">https://symbolic.software</a><br class="">Sent from office</div><br class=""></div></body></html>