Noise Explorer: Diseña y explora patrones de apretón de manos con ruido

Noise Explorer es un motor online para analizar patrones de apretón de manos del Marco de Protocolo Noise (revisión 34). Te permite diseñar patrones de apretón de manos Noise, validarlos según la especificación, generar modelos de verificación formal en el cálculo pi aplicado (analizables contra atacantes pasivos y activos con entidades maliciosas), explorar un compendio de resultados de verificación formal (incluidos todos los patrones de la especificación original) y generar implementaciones seguras en Go o Rust, incluso para WebAssembly.