Noise Explorer : Concevez et explorez les schémas de poignée de main Noise

Noise Explorer est un moteur en ligne pour analyser les schémas de poignée de main du framework de protocole Noise (révision 34). Il vous permet de concevoir des schémas de poignée de main Noise, de les valider par rapport à la spécification, de générer des modèles de vérification formelle en calcul pi appliqué (analysables contre des attaquants passifs et actifs avec des entités malveillantes), d'explorer un compendium de résultats de vérification formelle (incluant tous les schémas de la spécification originale) et de générer des implémentations sécurisées en Go ou Rust, même pour WebAssembly.