Noise Explorer：ノイズハンドシェイクパターンの設計と調査

Noise Explorerは、ノイズプロトコルフレームワーク（改訂版34）のハンドシェイクパターンを推論するためのオンラインエンジンです。ノイズハンドシェイクパターンの設計、仕様への適合性の検証、適用π計算による形式検証モデルの生成（悪意のあるプリンシパルを持つ受動的および能動的な攻撃者に対して分析可能）、形式検証結果のコンペンディウムの調査（元の仕様のすべてのパターンを含む）、GoまたはRustでの安全な実装の生成、WebAssembly向けの実装生成が可能です。