Noise Explorer is a powerful online engine for designing and exploring Noise Handshake Patterns based on the Noise Protocol Framework. It allows users to create and validate their designs, generate formal verification models using ProVerif, and explore a compendium of formal verification results. This tool also enables the automatic generation of secure software implementations in Go or Rust. What sets Noise Explorer apart is its ability to test for strong vs. weak forward secrecy, resistance to key compromise impersonation, and include malicious principals in the security model. Additionally, it can generate Rust implementation code for WebAssembly builds, making it a comprehensive and efficient resource for developers.
https://noiseexplorer.com/