Noise Explorer

用于正式验证的 Rust 代码生成器 Noise Explorer简介 Noise Explorer 在线引擎，用于协议框架 Handshake 模式。 命令行工具可以据原始规范解析 Noise Handshake Patterns，比如可以生成用于形式化验证的加密模型、安全查询，以及用于针对主动或被动攻击者进行测试，还可以为 Go 和 Rust 编程的任何 Noise Handshake Pattern 生成全功能的离散实现。