Noise Explorer 简介
Noise Explorer 在线引擎，用于协议框架 Handshake 模式。命令行工具可以据原始规范解析 Noise Handshake Patterns，比如可以生成用于形式化验证的加密模型、安全查询，以及用于针对主动或被动攻击者进行测试，还可以为 Go 和 Rust 编程的任何 Noise Handshake Pattern 生成全功能的离散实现。
Noise Explorer 投资方
Noise Explorer 相关信息
Kulupu
在 Substrate 上构建的 PoW 区块链。
ink! playground
Substrate 智能合约的 IDE 浏览器。
Bette Chen
Laminar 协议、Acala Network 联合创始人。
Reef
跨链 DeFi 操作系统。
Saito
旨在处理 TB 级数据的区块链。
Parity
用 Rust 语言开发的以太坊节点应用。
Robonomics
面向基于区块链的机器人经济学概念验证自主智能体行为。
WEB3SCAN
使多链数据易于访问和理解。
Noise Explorer
用于正式验证的 Rust 代码生成器。