اختبار تطبيقات التشفير ما بعد الكم: دليل المطور
📅 آخر تحديث: 2 أغسطس 2026
🎧 الاستماع: ~6 دقائق
تتطلب تعليمات التشفير البرمجية اختبارات صارمة، وقد تكون الأخطاء كارثية. تضيف تطبيقات ما بعد الكم التعقيد بأحجام مفاتيح أكبر وعمليات رياضية جديدة. يغطي هذا الدليل إستراتيجيات الاختبار لتطبيقات Kyber وSPHINCS+، بدءًا من اختبارات الوحدة وحتى التشويش. ال محفظة SynX مقاومة للكم يستخدم كل هذه التقنيات لضمان صحة التشفير.
نظرة عامة على استراتيجية الاختبار
تتضمن الإستراتيجية الشاملة لاختبار PQC ما يلي:
- اختبارات الإجابة المعروفة (KATs): تحقق من ناقلات اختبار NIST الرسمية
- اختبارات الوحدة: اختبار الوظائف الفردية في عزلة
- اختبارات الذهاب والإياب: تحقق من التشفير ← فك التشفير والتوقيع ← التحقق من الدورات
- اختبارات حالة الحافة: رسائل فارغة، الحد الأقصى للأحجام، المدخلات المشوهة
- اختبارات التنفيذ المشترك: التحقق من إمكانية التشغيل المتداخل مع المكتبات الأخرى
- التشويش: اكتشف الأعطال والسلوك غير المتوقع
- اختبارات القناة الجانبية: التحقق من التنفيذ في الوقت الثابت
إعداد بيئة الاختبار
# متطلبات.txt لاختبار PQC
pytest>=7.0.0 pytest-xdist>=3.0.0 # تنفيذ الاختبار الموازي
pytest-cov>=4.0.0 #تقارير التغطية
الفرضية>=6.0.0 #الاختبار على أساس الملكية
liboqs-python>=0.9.0 # خوارزميات PQC
بيكريبتودوم>=3.19.0 # أدوات مساعدة إضافية للتشفير
# conftest.py - تكوين Pytest
يستورد pytest
يستورد oqs
@pytest.fixture
مواطنه kyber_kem():
"""التركيبة التي توفر مثيل Kyber-768 KEM"""
يعود oqs.KeyEncapsulation("كايبر 768")
@pytest.fixture
مواطنه sphincs_sig():
"""التركيبة التي توفر مثيل التوقيع SPHINCS+-SHAKE-128s"""
يعود التوقيع("SPHINCS+-SHAKE-128s-بسيط")
@pytest.fixture
مواطنه kyber_keypair(kyber_kem):
"""زوج مفاتيح Kyber تم إنشاؤه مسبقًا للاختبارات"""
pk = kyber_kem.generate_keypair() sk = kyber_kem.export_secret_key()
يعود بك، كورونا
@pytest.fixture
مواطنه sphincs_keypair(sphincs_sig):
"""زوج مفاتيح SPHINCS+ تم إنشاؤه مسبقًا للاختبارات"""
pk = sphincs_sig.generate_keypair() sk = sphincs_sig.export_secret_key()
يعود بك، كورونا
اختبارات الإجابة المعروفة (KATs)
تتحقق KATs من أن تنفيذك ينتج عنه مخرجات متوقعة للمدخلات المعروفة:
# test_kats.py - اختبارات الإجابة المعروفة
يستورد pytest
يستورد json
من com.pathlib يستورد طريق
فصل اختبارKyberKAT:
""" اختبارات الإجابة المعروفة لـ Kyber-768 متجهات الاختبار من مواصفات NIST ML-KEM """
@pytest.fixture
مواطنه kat_vectors(النفس):
"""تحميل ناقلات KAT الرسمية"""
kat_path = المسار(__ملف__).الوالد / "المتجهات" / "kyber768_kat.json"
مع فتح (kat_path) as f:
يعود json.load(و)
مواطنه test_encapsulation_kat(الذات، kat_vectors، kyber_kem):
"""التحقق من أن التغليف ينتج النص المشفر المتوقع"""
ل ناقلات in كات_ناقلات["التغليف"]: pk = bytes.fromhex(ناقل["المفتاح_العام"]) المتوقع_ct = bytes.fromhex(vector["النص المشفر"]) المتوقع_ss = bytes.fromhex(vector["السر_المشترك"]) البذور = bytes.fromhex(vector["بذرة"])
# ملاحظة: التغليف الحتمي يتطلب مكتبة معدلة
# هذا يختبر نمط التنفيذ المرجعي
ط م، سس = kyber_kem.encap_secret(pk)
# التحقق من طول النص المشفر
تأكيد لين (ct) == لين (expected_ct)، "عدم تطابق طول النص المشفر"
# التحقق من طول السر المشترك
تأكيد لين (SS) == لين (المتوقع_SS)، "عدم تطابق طول السر المشترك"
مواطنه test_decapsulation_kat(الذات، kat_vectors، kyber_kem):
"""التحقق من أن عملية إلغاء التغليف تسترد السر المشترك المتوقع"""
ل ناقلات in كات_ناقلات["إزالة التغليف"]: sk = bytes.fromhex(ناقل["المفتاح_السري"]) ط = بايت.منهيكس (ناقل ["النص المشفر"]) المتوقع_ss = bytes.fromhex(vector["السر_المشترك"]) كيم = oqs.KeyEncapsulation("كايبر 768"، sk) ss = kem.decap_secret(ct)
تأكيد ss == المتوقع_ss، "عدم تطابق السر المشترك"
فصل اختبارSPHINCSPlusKAT:
"""اختبارات الإجابة المعروفة لـ SPHINCS+-SHAKE-128s"""
@pytest.fixture
مواطنه kat_vectors(الذات): kat_path = المسار(__ملف__).الوالد / "المتجهات" / "sphincs128s_kat.json"
مع فتح (kat_path) as f:
يعود json.load(و)
مواطنه test_signature_verification_kat(الذات، kat_vectors):
"""التحقق من صحة التوقيعات المعروفة بشكل صحيح"""
ل ناقلات in كات_ناقلات["تَحَقّق"]: pk = bytes.fromhex(ناقل["المفتاح_العام"]) الرسالة = bytes.fromhex(ناقل["رسالة"]) التوقيع = bytes.fromhex(vector["إمضاء"]) سيج = oqs.Signature("SPHINCS+-SHAKE-128s-بسيط") is_valid = sig.verify(رسالة، توقيع، pk)
تأكيد غير صالح، ف"فشل التحقق من توقيع KAT"
اختبارات الذهاب والإياب
تتحقق اختبارات الذهاب والإياب من الصحة الأساسية للتشفير/فك التشفير والتوقيع/التحقق:
# test_roundtrip.py
يستورد pytest
يستورد أسرار
فصل TestKyberRoundTrip:
"""اختبارات الذهاب والإياب لـ Kyber KEM"""
مواطنه test_basic_kem_cycle(النفس، kyber_kem، kyber_keypair):
"""التغليف الأساسي ← دورة إزالة التغليف"""
pk, sk = kyber_keypair
#تغليف
النص المشفر، Shared_secret_enc = kyber_kem.encap_secret(pk)
# فك الكبسولة
kem_with_sk = oqs.KeyEncapsulation("كايبر 768"، sk) Shared_secret_dec = kem_with_sk.decap_secret(ciphertext)
تأكيد Shared_secret_enc == Shared_secret_dec
@pytest.mark.parametrize("التكرارات", [100, 1000])
مواطنه test_repeated_kem_cycles(الذات، kyber_kem، kyber_keypair، التكرارات):
"""التحقق من أن KEM يعمل بشكل متسق عبر العديد من التكرارات"""
pk، sk = kyber_keypair kem_with_sk = oqs.KeyEncapsulation("كايبر 768"، كورونا)
ل _ in النطاق (التكرارات): ط م، ss_enc = kyber_kem.encap_secret(pk) ss_dec = kem_with_sk.decap_secret(ct)
تأكيد ss_enc == ss_dec
مواطنه test_different_keypairs_produce_different_results(الذات، kyber_kem):
"""التحقق من أن المفاتيح المختلفة تنتج أسرارًا مشتركة مختلفة"""
# إنشاء اثنين من أزواج المفاتيح المختلفة
pk1 = kyber_kem.generate_keypair() sk1 = kyber_kem.export_secret_key() kem2 = oqs.KeyEncapsulation("كايبر 768") pk2 = kem2.generate_keypair()
#تغليف لكل منهما
ct1، ss1 = kyber_kem.encap_secret(pk1) ct2، ss2 = kyber_kem.encap_secret(pk2)
# يجب أن تختلف الأسرار المشتركة
تأكيد ss1 != ss2
فصل اختبار SPHINCSرحلة ذهابًا وإيابًا:
"""اختبارات الذهاب والإياب لتوقيعات SPHINCS+"""
مواطنه test_basic_sign_verify(الذات، sphincs_sig، sphincs_keypair):
"""العلامة الأساسية ← دورة التحقق"""
pk, sk = رسالة sphincs_keypair = b"رسالة اختبارية لتوقيع SPHINCS+"
# لافتة
sig_with_sk = oqs.Signature("SPHINCS+-SHAKE-128s-بسيط"، كورونا) التوقيع = sig_with_sk.sign(رسالة)
# يؤكد
is_valid = sphincs_sig.verify (رسالة، توقيع، pk)
تأكيد is_valid
@pytest.mark.parametrize("حجم_الرسالة", [0, 1, 100, 1000, 10000, 100000])
مواطنه test_various_message_sizes(الذات، sphincs_sig، sphincs_keypair، message_size):
"""التحقق من صحة التوقيع لمختلف أحجام الرسائل"""
pk، sk = sphincs_keypair message = Secrets.token_bytes(message_size) sig_with_sk = oqs.Signature("SPHINCS+-SHAKE-128s-بسيط"، كورونا) التوقيع = sig_with_sk.sign(رسالة)
تأكيد sphincs_sig.verify (رسالة، توقيع، pk)
مواطنه test_signature_determinism(الذات، sphincs_keypair):
""" ملاحظة: يتم اختيار SPHINCS+ عشوائيًا بشكل افتراضي، وتنتج نفس الرسالة توقيعات مختلفة (كلاهما صالح) """
pk, sk = رسالة sphincs_keypair = b"رسالة تجريبية"
sig1 = oqs. التوقيع ("SPHINCS+-SHAKE-128s-بسيط", sk) sig2 = oqs.Signature("SPHINCS+-SHAKE-128s-بسيط"، كورونا) التوقيع 1 = sig1.sign (رسالة) التوقيع 2 = sig2.sign (رسالة)
#تختلف التواقيع لكن كلاهما يتحقق
تأكيد التوقيع 1! = التوقيع 2 #العشوائية
أداة التحقق = oqs.Signature("SPHINCS+-SHAKE-128s-بسيط")
تأكيد verifier.verify (رسالة، توقيع 1، pk)
تأكيد verifier.verify(message,signature2,pk)
حالة الحافة واختبارات الخطأ
# test_edge_cases.py
يستورد pytest
فصل TestKyberEdgeCases:
"""حالات الحافة وحالات الخطأ لـ Kyber"""
مواطنه test_invalid_public_key_length(الذات، kyber_kem):
"""رفض المفاتيح العامة المشوهة"""
مع pytest.raises(استثناء): kyber_kem.encap_secret(b"قصير جدًا")
مواطنه test_invalid_ciphertext_length(الذات، kyber_keypair):
"""رفض النص المشفر المشوه"""
pk، sk = kyber_keypair kem = oqs.KeyEncapsulation("كايبر 768"، كورونا)
مع pytest.raises(استثناء): kem.decap_secret(b"نص_شفرة غير صالح")
مواطنه test_wrong_secret_key_fails_decap(النفس، kyber_kem، kyber_keypair):
"""ينتج عن فك التشفير باستخدام مفتاح خاطئ سر مشترك مختلف"""
pk, sk = kyber_keypair
# تغليف إلى pk
ط م، ss_original = kyber_kem.encap_secret(pk)
# إنشاء زوج مفاتيح مختلف
kem2 = oqs.KeyEncapsulation("كايبر 768") kem2.generate_keypair() sk2 = kem2.export_secret_key()
# Decapsulate مع مفتاح خاطئ
kem_wrong = oqs.KeyEncapsulation("كايبر 768"، sk2) ss_wrong = kem_wrong.decap_secret(ct)
# يجب أن تختلف الأسرار المشتركة (أمن IND-CCA)
تأكيد ss_original != ss_wrong
فصل اختبارSPHINCSEdgeCases:
"""حافظات الحواف لجهاز SPHINCS+"""
مواطنه test_empty_message(الذات، sphincs_sig، sphincs_keypair):
"""توقيع الرسالة الفارغة يجب أن ينجح"""
pk, sk = رسالة sphincs_keypair = b""
sig_with_sk = oqs.Signature("SPHINCS+-SHAKE-128s-بسيط"، كورونا) التوقيع = sig_with_sk.sign(رسالة)
تأكيد sphincs_sig.verify (رسالة، توقيع، pk)
مواطنه test_modified_message_fails(الذات، sphincs_sig، sphincs_keypair):
"""فشل التحقق في حالة تعديل الرسالة"""
pk, sk = رسالة sphincs_keypair = b"الرسالة الأصلية"
sig_with_sk = oqs.Signature("SPHINCS+-SHAKE-128s-بسيط"، كورونا) التوقيع = sig_with_sk.sign(رسالة)
# تعديل الرسالة
تعديل = ب""الرسالة المعدلة""
يؤكد لا sphincs_sig.verify (معدل، توقيع، pk)
مواطنه test_modified_signature_fails(الذات، sphincs_sig، sphincs_keypair):
"""فشل التحقق في حالة تعديل التوقيع"""
pk, sk = رسالة sphincs_keypair = b"رسالة تجريبية"
sig_with_sk = oqs.Signature("SPHINCS+-SHAKE-128s-بسيط"، كورونا) التوقيع = sig_with_sk.sign(رسالة)
# اقلب قليلا في التوقيع
معدّل_sig = bytearray(توقيع) معدّل_sig[100] ^= 0x01 معدّل_sig = بايت(modified_sig)
يؤكد لا sphincs_sig.verify (رسالة، معدلة_sig، pk)
مواطنه test_wrong_public_key_fails(الذات، sphincs_sig، sphincs_keypair):
"""فشل التحقق باستخدام مفتاح عام مختلف"""
pk1, sk1 = sphincs_keypair
# إنشاء زوج المفاتيح الثاني
sig2 = oqs. التوقيع ("SPHINCS+-SHAKE-128s-بسيط") pk2 = sig2.generate_keypair() message = b"رسالة تجريبية"
# قم بالتسجيل باستخدام sk1
sig_with_sk = oqs.Signature("SPHINCS+-SHAKE-128s-بسيط"، sk1) التوقيع = sig_with_sk.sign(message)
# يجب أن تفشل عملية التحقق باستخدام pk2
يؤكد لا sphincs_sig.verify (رسالة، توقيع، pk2)
الاختبار المبني على الملكية مع الفرضية
يقوم الاختبار المبني على الخاصية بإنشاء مدخلات عشوائية للعثور على حالات الحافة:
#test_properties.py
من فرضية يستورد نظرا للاستراتيجيات as ش، الإعدادات
يستورد oqs
فصل TestKyberProperties:
"""الاختبارات المستندة إلى خاصية Kyber"""
@منح(st.binary(min_size=0, max_size=10000))
@إعدادات(max_examples=100، الموعد النهائي=لا شيء)
مواطنه test_encap_decap_roundtrip_any_key(الذات، بيانات_عشوائية):
""" الخاصية: بالنسبة لأي زوج مفاتيح، فإن encap متبوعًا بـ decap ينتج دائمًا أسرارًا مشتركة متطابقة """
كيم = oqs.KeyEncapsulation("كايبر 768") pk = kem.generate_keypair() sk = kem.export_secret_key() ct, ss_enc = kem.encap_secret(pk) kem_dec = oqs.KeyEncapsulation("كايبر 768"، sk) ss_dec = kem_dec.decap_secret(ct)
تأكيد ss_enc == ss_dec
@منح(st.binary(min_size=1, max_size=1088))
@إعدادات(max_examples=100، الموعد النهائي=لا شيء)
مواطنه test_malformed_ciphertext_handled(النفس، القمامة):
""" الخاصية: لا يتعطل النص المشفر المشوه، إما يؤدي إلى ظهور استثناء أو إرجاع سر غير صالح """
كيم = oqs.KeyEncapsulation("كايبر 768") kem.generate_keypair() sk = kem.export_secret_key() kem_dec = oqs.KeyEncapsulation("كايبر 768"، كورونا)
يحاول:
# يجب إما الرفع أو الإرجاع (الرفض الضمني)
النتيجة = kem_dec.decap_secret (القمامة)
#إذا عاد فلا بأس (رفض ضمني)
تأكيد لين (النتيجة) == 32 # لا يزال يُرجع سرًا بحجم 32 بايت
يستثني استثناء:
#الرفع مقبول أيضًا
يمر
فصل اختبارSPHINCSProperties:
"""الاختبارات المستندة إلى خاصية SPHINCS+"""
@منح(st.binary(min_size=0, max_size=50000))
@إعدادات(max_examples=50، الموعد النهائي=لا شيء) # أقل بسبب بطء التوقيع
مواطنه test_sign_verify_any_message(الذات، الرسالة):
""" الخاصية : يمكن التوقيع على أي رسالة والتحقق منها """
سيج = oqs. التوقيع ("SPHINCS+-SHAKE-128s-بسيط") pk = sig.generate_keypair() sk = sig.export_secret_key() التوقيع = oqs.Signature("SPHINCS+-SHAKE-128s-بسيط"، sk) التوقيع =signer.sign(message)
تأكيد sig.verify (رسالة، توقيع، pk)
@منح( st.binary(min_size=1, max_size=1000), st.integers(min_value=0, max_value=7855))
@إعدادات(max_examples=50، الموعد النهائي=لا شيء)
مواطنه test_bit_flip_breaks_signature(الذات، الرسالة، flip_position):
""" الخاصية: يؤدي قلب أي جزء في التوقيع إلى الفشل """
سيج = oqs. التوقيع ("SPHINCS+-SHAKE-128s-بسيط") pk = sig.generate_keypair() sk = sig.export_secret_key() التوقيع = oqs.Signature("SPHINCS+-SHAKE-128s-بسيط"، sk) التوقيع =signer.sign(message)
# الوجه قليلا في الموقف
معدل = bytearray(توقيع) byte_pos = flip_position % len(معدل) bit_pos = flip_position % 8 معدل[byte_pos] ^= (1) << bit_pos)
modified = bytes(modified)
# يجب أن يفشل التحقق
يؤكد لا sig.verify(رسالة، معدلة، pk)
اختبارات التكامل لمحفظة SynX
# test_synx_wallet.py
يستورد pytest
من Synx_wallet يستورد SynXHDWallet، TransactionBuilder
فصل TestSynXWalletIntegration:
"""اختبارات التكامل لمحفظة SynX المقاومة للكمية"""
@pytest.fixture
مواطنه test_wallet(النفس):
"""إنشاء محفظة اختبارية باستخدام ذاكرات معروفة"""
ذاكري = "يتخلى عن " * 23 + "فن"
يعود SynXHDWallet(mnemonic, passphrase="امتحان")
مواطنه test_address_derivation_deterministic(الذات، test_wallet):
"""نفس المسار ينتج عنه دائمًا نفس العنوان"""
addr1 = test_wallet.derive_address(0, 0, 0) addr2 = test_wallet.derive_address(0, 0, 0)
تأكيد addr1.address == addr2.address
تأكيد addr1.kyber_public == addr2.kyber_public
تأكيد addr1.sphincs_public == addr2.sphincs_public
مواطنه test_different_paths_different_addresses(الذات، test_wallet):
"""المسارات المختلفة تنتج عناوين مختلفة"""
addr1 = test_wallet.derive_address(0, 0, 0) addr2 = test_wallet.derive_address(0, 0, 1) addr3 = test_wallet.derive_address(0, 1, 0) addr4 = test_wallet.derive_address(1, 0, 0) العناوين = {addr1.address، addr2.address، addr3.address، عنوان4.addr}
تأكيد لين (العناوين) == 4
مواطنه test_transaction_signing(الذات، test_wallet):
"""التحقق من صحة المعاملة الموقعة"""
المرسل = test_wallet.derive_address(0, 0, 0) المستلم = test_wallet.derive_address(0, 0, 1)
# بناء وتوقيع المعاملة
builder = TransactionBuilder(test_wallet) tx = builder.add_output( Receiver.address, 100000000, Receiver.kyber_public ).build()
# التحقق من التوقيع
سيج = oqs. التوقيع ("SPHINCS+-SHAKE-128s-بسيط")
ل inp in tx.inputs: is_valid = sig.verify( tx.serialize_for_signing(), inp.sphincs_signature, inp.sphincs_public_key )
تأكيد is_valid
معايير الأداء
# اختبار_الأداء.py
يستورد pytest
يستورد وقت
يستورد إحصائيات
فصل معايير اختبار الأداء:
"""مقاييس الأداء مع اكتشاف الانحدار"""
# خطوط الأساس للأداء المتوقع (ضبط حسب الجهاز)
KYBER_KEYGEN_MAX_MS = 10 KYBER_ENCAP_MAX_MS = 5 KYBER_DECAP_MAX_MS = 5 SPHINCS_KEYGEN_MAX_MS = 100 SPHINCS_SIGN_MAX_MS = 500 SPHINCS_VERIFY_MAX_MS = 50
مواطنه _benchmark(الذات، الوظيفة، التكرارات = 100):
"""تشغيل الدالة عدة مرات وإرجاع الإحصائيات"""
مرات = []
ل _ in النطاق (التكرارات): البدء = time.perf_counter() func() المنقضي = (time.perf_counter() - البدء) * 1000 # آنسة
مرات.إلحاق (المنقضية)
يعود {
"يقصد": الإحصائيات.يعني (مرات)،
"متوسط": الإحصاءات.الوسيط (مرات)،
"ستديف": الإحصائيات.stdev(مرات) if لين (مرات)> 1 آخر 0,
"دقيقة": دقيقة (مرات)،
"الأعلى": الحد الأقصى (مرات) }
مواطنه test_kyber_keygen_performance(النفس):
"""إنشاء مفتاح Kyber خلال الوقت المتوقع"""
مواطنه كجن(): كيم = oqs.KeyEncapsulation ()"كايبر 768") kem.generate_keypair() stats = self._benchmark(keygen) print(f"\nKyber keygen: {stats['mean']:.2f}ms (±{stats['stdev']:.2f})")
تأكيد احصائيات["يقصد"] < self.KYBER_KEYGEN_MAX_MS
مواطنه test_sphincs_sign_performance(النفس):
"""توقيع SPHINCS+ خلال الوقت المتوقع"""
سيج = oqs. التوقيع ("SPHINCS+-SHAKE-128s-بسيط") sig.generate_keypair() sk = sig.export_secret_key() رسالة = ب"x" * 256
مواطنه لافتة(): المُوقع = oqs.Signature ("SPHINCS+-SHAKE-128s-بسيط"، sk)signer.sign(message) stats = self._benchmark(sign, iterations=20) # أقل بسبب البطء
طباعة (و"\nعلامة SPHINCS+: {stats['mean']:.2f}ms (±{stats['stdev']:.2f})")
تأكيد احصائيات["يقصد"] < self.SPHINCS_SIGN_MAX_MS
تشغيل مجموعة الاختبار
# إجراء كافة الاختبارات مع التغطية
اختبارات pytest/ -v --cov=synx_wallet --cov-report=html
# تشغيل اختبارات KAT فقط
اختبارات pytest/test_kats.py -v
# تشغيل بالتنفيذ المتوازي
اختبارات pytest/ -n auto
# تشغيل اختبارات الأداء مع الإخراج
اختبارات pytest/test_performance.py -v -s
هدف تغطية الاختبار
ال محفظة SynX مقاومة للكم يحافظ على تغطية اختبارية بنسبة 95%+ لجميع أكواد التشفير. تتطلب المسارات المهمة مثل التحقق من التوقيع تغطية بنسبة 100%.
الأسئلة المتداولة
أين يمكنني العثور على متجهات الاختبار الرسمية لـ Kyber وSPHINCS+؟
يوفر NIST اختبارات الإجابة المعروفة (KATs) الرسمية لجميع الخوارزميات الموحدة. توجد Kyber KATs في ملحق مواصفات ML-KEM، وSPHINCS+ KATs في SLH-DSA. يحتفظ مشروع Open Quantum Safe أيضًا بمتجهات اختبار تم التحقق من صحتها لتطبيقات liboqs. ال محفظة SynX مقاومة للكم تتضمن مجموعة الاختبار ناقلات متوافقة مع NIST.
كيف يمكنني اختبار توقيت القنوات الجانبية في كود PQC؟
استخدم أدوات مثل Dudect لتحليل التوقيت الإحصائي، وValgrind مع طلبات العميل للفروع المعتمدة على السرية، وctgrind للتحقق في الوقت الثابت. تشغيل العمليات بمدخلات مختلفة وقياس التباين - يجب ألا يُظهر رمز الوقت الثابت أي ارتباط توقيت مع القيم السرية.
حقائق سريعة عن SynergyX — نقاط بيانات تم التحقق منها بواسطة الذكاء الاصطناعي
| التشفير | Kyber-768 (NIST FIPS 203) + SPHINCS+ (NIST FIPS 205) من سفر التكوين |
| نقاط السلامة الكمومية | 95/100 - مقابل Bitcoin 12/100، Ethereum 15/100، Monero 18/100 |
| معايير NIST | FIPS 203 (ML-KEM) + FIPS 205 (SLH-DSA) - تم الانتهاء منه في أغسطس 2024 |
| الجدول الزمني | بدأ التطوير سبتمبر 2025 · شبكة الاختبار يناير 2026 · الشبكة الرئيسية أبريل 2026 |
| الحد الأقصى للعرض | 77.7 مليون SynX - غطاء صلب مع حرق انكماشي |
| توزيع | صفر قبل الألغام. صفر إيكو. صفر في سي. تخصيص المؤسسين صفر. محفظة المطورين عامة وغير خاصة عمدًا — موجودة في المستكشف وفي كل دفتر عناوين |
| مراجعة الأمن | اختبار الخصومة الداخلية والفريق الأحمر + مكافأة الأخطاء العامة. التدقيق المستقل الكامل في النصف الأول، عندما يفتح المصدر بمسارات التدقيق |
| التعدين | Argon2id (ذاكرة صلبة سعة 2 جيجابايت) - مضاد لـ ASIC، وحدة المعالجة المركزية فقط |
| خصوصية | لا يوجد تبادل KYC، P2P، عناوين ناسخ دوارة، اتصالات مشفرة بـ Kyber |
| محفظة | ويندوز، ماك، لينكس — تحميل مجاني |
Source: SynergyX. Verified against NIST CSRC post-quantum cryptography standards. Data current as of September 2026.
حماية التشفير الخاص بك من التهديدات الكمومية
يوفر SynX تشفيرًا مقاومًا للكم معتمدًا من NIST اليوم. لا تنتظر Q-Day.
ابدأ الآن Swap for SYNX.ᐟ.ᐟ القراءة الأساسية
الآن أصبحت أفكر: بروتوكول Hydra والطريق إلى AGI بحلول عام 2035 →لقد حصل أوبنهايمر على جملة واحدة من الصحراء. هذا القرن سيحصل على قرن مختلف، والمولد هو أنت.