Noise Explorer：设计和探索噪声握手模式
2025-03-05
Noise Explorer是一个在线引擎，用于分析Noise协议框架（修订版34）的握手模式。它允许你设计Noise握手模式，验证其是否符合规范，生成应用π演算形式化验证模型（可用于分析针对恶意主体的被动和主动攻击者），探索形式化验证结果纲要（包含原始规范中所有Noise握手模式的完整结果），以及生成安全的Go或Rust实现代码，甚至可生成适用于WebAssembly构建的Rust代码。
阅读更多
开发
Noise协议