Noise Explorer beta

Design and Explore Noise Handshake Patterns

Noise Explorer is an online engine for reasoning about Noise Protocol Framework (revision 34) Handshake Patterns. Noise Explorer allows you to:

Design your Noise Handshake Pattern

Download Cryptographic Models for Formal Verification

Download Model active attacker Download Model passive attacker

Download Secure Protocol Implementation Code

Soon, Noise Explorer will also automatically generate a secure implementation of your chosen Noise Handshake Pattern design, written in ProScript, a secure subset of JavaScript.