Noise Explorer: Projetar e explorar padrões de handshake de ruído
2025-03-05
O Noise Explorer é um mecanismo online para analisar padrões de handshake do Noise Protocol Framework (revisão 34). Ele permite que você projete padrões de handshake Noise, valide-os de acordo com a especificação, gere modelos de verificação formal no cálculo pi aplicado (que podem ser analisados contra atacantes passivos e ativos com princípios maliciosos), explore um compêndio de resultados de verificação formal (incluindo todos os padrões da especificação original) e gere implementações seguras em Go ou Rust, até mesmo para WebAssembly.
Leia mais