Noise Explorer

用於正式驗證的 Rust 代碼生成器。

開發 Handshake Substrate

Noise Explorer

1

1

開發 Handshake Substrate

概述

Noise Explorer 在線引擎，用於協議框架 Handshake 模式。命令行工具可以據原始規範解析 Noise Handshake Patterns，比如可以生成用於形式化驗證的加密模型、安全查詢，以及用於針對主動或被動攻擊者進行測試，還可以爲 Go 和 Rust 編程的任何 Noise Handshake Pattern 生成全功能的離散實現。

支持者

Symbolic Software

專注於對應用加密系統進行現代洞察。

建立一個可以控制自己的數據、身份和命運的互聯網。

CypherHunter Plus

Subscribe to distraction-free reading, and unprecedented access to our data.

相關瀏覽

改善互聯網技術。

區塊鏈的正式驗證平臺。

更快地完成更多工作。

建立一個可以控制自己的數據、身份和命運的互聯網。

擴展生態系統

超過70+生態系統正在積極增長，同樣值得您的關注。