Noise Explorer: تصميم واستكشاف أنماط مصافحة الضوضاء
2025-03-05
Noise Explorer عبارة عن محرك عبر الإنترنت لتحليل أنماط مصافحة إطار عمل بروتوكول Noise (المراجعة 34). يسمح لك بتصميم أنماط مصافحة Noise، والتحقق من صحتها وفقًا للمواصفات، وإنشاء نماذج التحقق الرسمي في حساب باي المطبق (قابل للتحليل ضد مهاجمين سلبيين ونشطين مع أطراف خبيثة)، واستكشاف خلاصة نتائج التحقق الرسمي (بما في ذلك جميع الأنماط من المواصفات الأصلية)، وإنشاء تنفيذات آمنة بلغات Go أو Rust، وحتى لـ WebAssembly.
اقرأ المزيد