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