Noise Explorer: 노이즈 핸드셰이크 패턴 설계 및 탐색
2025-03-05
Noise Explorer는 Noise 프로토콜 프레임워크(개정판 34)의 핸드셰이크 패턴을 분석하는 온라인 엔진입니다. Noise 핸드셰이크 패턴을 설계하고, 사양에 대한 유효성을 검증하고, 적용된 파이 캘큘러스로 공식 검증 모델을 생성하며(악의적인 주체를 가진 수동적 및 능동적 공격자에 대해 분석 가능), 공식 검증 결과의 목록을 탐색하고(원래 사양의 모든 패턴 포함), Go 또는 Rust로 안전한 구현을 생성하며, WebAssembly용 구현도 생성할 수 있습니다.