Quantum Computing on kenji.blog

مقدمة فائقة في البرمجة الكمومية باستخدام Qiskit

Fri, 11 Sep 2026 20:00:00 +0900

1. مقدمة

أحدثت أجهزة الكمبيوتر الحديثة (الكلاسيكية) تغييراً جذرياً في حياتنا، وهي تدعم جميع جوانب المجتمع بقدراتها الحسابية العالية. ومع ذلك، من المعروف أنه بالنسبة لبعض المشكلات المحددة (مثل تحليل الأعداد الضخمة إلى عواملها الأولية، ومحاكاة الهياكل الجزيئية المعقدة، ومشكلات التحسين، إلخ)، حتى أحدث أجهزة الكمبيوتر الفائقة الحالية قد تستغرق وقتًا أطول من عمر الكون لحلها.

لكسر هذه “الحدود لأجهزة الكمبيوتر الكلاسيكية”، يبرز الكمبيوتر الكمومي (Quantum Computer) كاحتمال واعد. من خلال الاستفادة من الخصائص العجيبة لميكانيكا الكم (التراكب والتشابك الكمومي) كموارد حسابية، يُعتقد أنه يمكن تسريع حل مشكلات معينة بشكل هائل.

في هذه المقالة، سنتخذ الخطوة الأولى نحو عالم البرمجة الكمومية باستخدام Qiskit، وهو إطار عمل مفتوح المصدر للحوسبة الكمومية تقدمه IBM. هذا الدليل التمهيدي مفصل للغاية، حيث يشرح الأساسيات الفيزيائية والرياضية بعناية، ويغطي العملية من كتابة الكود فعليًا بلغة Python إلى تشغيل الدوائر الكمومية على جهاز محاكاة.

2. الأساسيات الفيزيائية والرياضية التي تدعم الحوسبة الكمومية

لفهم البرمجة الكمومية، يجب أولاً فهم المفاهيم الأساسية لميكانيكا الكم. هنا، سنشرح ثلاث ركائز مهمة: الكيوبتات (البتات الكمومية)، التراكب، والتشابك الكمومي.

2.1 البت الكلاسيكي والبت الكمومي (Qubit)

وحدة المعلومات في الكمبيوتر الكلاسيكي هي “البت (Bit)”. يتخذ البت دائمًا إحدى الحالتين إما 0 أو 1.

من ناحية أخرى، تسمى أصغر وحدة للمعلومات في الكمبيوتر الكمومي البت الكمومي (Qubit: Quantum bit). لا يمكن للبت الكمومي أن يتخذ الحالة 0 و 1 فحسب، بل يمكنه الاحتفاظ بكلتا الحالتين في نفس الوقت.

رياضياً، يتم التعبير عن حالة البت الكمومي $|\psi\rangle$ كتركيب خطي (تراكب) للحالات الأساسية $|0\rangle$ و $|1\rangle$.

$$ |\psi\rangle = \alpha|0\rangle + \beta|1\rangle $$

هنا، $\alpha$ و $\beta$ عبارة عن أعداد مركبة، وتمثل سعات الاحتمال لملاحظة الحالتين $|0\rangle$ و $|1\rangle$ على التوالي. استنادًا إلى المبادئ الأساسية لميكانيكا الكم، يجب أن يكون مجموع الاحتمالات 1، لذا فإنها تلبي شرط المعايرة التالي:

$$ |\alpha|^2 + |\beta|^2 = 1 $$

graph LR A["البت الكلاسيكي (Classical Bit)"] --> B["حالة محددة: 0 أو 1"] C["البت الكمومي (Qubit)"] --> D["تراكب: 0 و 1 معًا"] D --> E["تتحدد الحالة احتماليًا عن طريق القياس"]

2.2 التراكب (Superposition)

كما ذُكر سابقًا، يُطلق على الحالة التي تمتزج فيها الحالتان $|0\rangle$ و $|1\rangle$ اسم التراكب (Superposition).

على سبيل المثال، إذا كان بت كمومي واحد في حالة تراكب متساوٍ تمامًا، فإن $\alpha = \frac{1}{\sqrt{2}}$ و $\beta = \frac{1}{\sqrt{2}}$.

$$ |\psi\rangle = \frac{1}{\sqrt{2}}|0\rangle + \frac{1}{\sqrt{2}}|1\rangle $$

إذا قمت بقياس هذه الحالة، فستتم ملاحظة $|0\rangle$ و $|1\rangle$ باحتمال 50% لكل منهما. إذا كان هناك 2 بت كمومي، يمكننا إنشاء تراكب من 4 حالات: $|00\rangle, |01\rangle, |10\rangle, |11\rangle$. وإذا كان هناك $n$ بت كمومي، فيمكن تمثيل $2^n$ حالة في نفس الوقت، وهذا هو أحد مصادر قدرة المعالجة المتوازية للكمبيوتر الكمومي.

2.3 التشابك الكمومي (Entanglement)

الخاصية الأقوى والأكثر غرابة في الحوسبة الكمومية هي التشابك الكمومي (Entanglement). هذه الظاهرة، التي أطلق عليها أينشتاين اسم “التأثير الشبحي عن بُعد”، تعني أن اثنين أو أكثر من البتات الكمومية مرتبطة ببعضها البعض بقوة، وبمجرد تحديد حالة أحد البتات الكمومية، تتحدد حالة البت الكمومي الآخر على الفور، بغض النظر عن المسافة الفيزيائية بينهما.

واحدة من أشهر حالات التشابك الكمومي، “حالة بيل (Bell State)"، تُعرف بحالة $\Phi^+$ وتُعبر عنها المعادلة التالية:

$$ |\Phi^+\rangle = \frac{|00\rangle + |11\rangle}{\sqrt{2}} $$

3. البوابات المنطقية الكمومية (Quantum Logic Gates)

تمامًا كما تستخدم أجهزة الكمبيوتر الكلاسيكية البوابات المنطقية مثل AND و OR و NOT لإجراء الحسابات، تستخدم أجهزة الكمبيوتر الكمومية البوابات الكمومية لمعالجة حالات البتات الكمومية. نظرًا لأن الحالة الكمومية هي متجه، يتم تمثيل البوابة الكمومية كـ “مصفوفة وحدوية (Unitary matrix)” تعمل على هذا المتجه.

3.1 بوابات باولي (Pauli-X, Y, Z)

بوابات باولي هي العمليات الأساسية على بت كمومي واحد.

・بوابة Pauli-X (بوابة NOT) تعادل بوابة NOT الكلاسيكية. تقلب $|0\rangle$ إلى $|1\rangle$ و $|1\rangle$ إلى $|0\rangle$. (دوران بمقدار 180 درجة حول المحور X في كرة بلوخ)

$$ X = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} $$

・بوابة Pauli-Y تقوم بدوران بمقدار 180 درجة حول المحور Y. لها تأثير عكس كل من الطور والبت.

$$ Y = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix} $$

・بوابة Pauli-Z (بوابة عكس الطور) تبقي حالة $|0\rangle$ كما هي، وتعكس طور حالة $|1\rangle$ (بالضرب في $-1$). (دوران بمقدار 180 درجة حول المحور Z)

$$ Z = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} $$

3.2 بوابة هادامارد (Hadamard Gate)

بوابة هادامارد (بوابة H) هي بوابة مهمة جدًا تحول حالة محددة ($|0\rangle$ أو $|1\rangle$) إلى حالة تراكب.

$$ H = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix} $$

عند تطبيق بوابة H على $|0\rangle$، نحصل على حالة تراكب متساوية $|+\rangle$.

$$ H|0\rangle = \frac{1}{\sqrt{2}}|0\rangle + \frac{1}{\sqrt{2}}|1\rangle = |+\rangle $$

3.3 بوابات الطور (Phase Gates)

بوابة الطور هي تعميم لبوابة Z، وتقوم بتدوير طور الحالة $|1\rangle$ بزاوية محددة $\theta$.

$$ P(\theta) = \begin{pmatrix} 1 & 0 \\ 0 & e^{i\theta} \end{pmatrix} $$

ومن الأمثلة النموذجية بوابة S ($\theta = \pi/2$) وبوابة T ($\theta = \pi/4$).

3.4 بوابة CNOT (Controlled-NOT Gate)

بوابة CNOT (بوابة CX) هي بوابة تقوم بإجراء عملية بين اثنين من البتات الكمومية، وهي ضرورية لتوليد التشابك الكمومي. تتكون من “بت التحكم (Control bit)” و “البت المستهدف (Target bit)”.

فقط إذا كان بت التحكم $|1\rangle$، يتم تطبيق بوابة X (عملية NOT) على البت المستهدف، وإذا كان بت التحكم $|0\rangle$، لا يتم إجراء أي تغيير.

$$ CNOT = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \end{pmatrix} $$

4. أساسيات Qiskit وإعداد البيئة

من هنا، سنقوم فعليًا بكتابة برامج كمومية باستخدام Python و Qiskit.

4.1 ما هو Qiskit؟

Qiskit عبارة عن مجموعة أدوات تطوير برمجيات (SDK) مفتوحة المصدر للحوسبة الكمومية تم تطويرها بواسطة IBM Quantum. تتيح لك بناء الدوائر الكمومية بشكل حدسي باستخدام Python، وتشغيلها إما على أجهزة محاكاة محلية أو على أجهزة كمبيوتر كمومية حقيقية من IBM عبر السحابة.

4.2 طريقة التثبيت

لاستخدام Qiskit، ستحتاج إلى بيئة Python. يمكنك تثبيت Qiskit والحزم ذات الصلة (أجهزة المحاكاة ومكتبات الرسم) باستخدام الأمر التالي.

1

pip install qiskit qiskit-aer qiskit-ibm-runtime matplotlib pylatexenc

4.3 التدفق الأساسي للبرمجة

تتقدم البرمجة الكمومية باستخدام Qiskit بشكل أساسي عبر الخطوات التالية.

graph TD A["1. بناء الدائرة (Build)"] --> B["2. الترجمة/التصريف (Compile)"] B --> C["3. التنفيذ (Execute)"] C --> D["4. تحليل النتائج وتصورها (Analyze)"]

بناء الدائرة: قم بإنشاء كائن QuantumCircuit وإضافة البوابات إليه.
الترجمة: قم بتحسين الدائرة لتلائم الواجهة الخلفية (الجهاز الحقيقي أو جهاز المحاكاة) التي سيتم التنفيذ عليها.
التنفيذ: أرسل المهمة إلى الواجهة الخلفية واحصل على النتائج.
التحليل: ارسم المدرج التكراري لنتائج القياس وغيرها من التمثيلات.

5. تطبيق عملي: بناء دائرة تصنع حالة بيل (التشابك الكمومي)

دعونا ننشئ “التشابك الكمومي (حالة بيل)” التي درسناها نظريًا باستخدام Qiskit. الحالة المستهدفة هي $|\Phi^+\rangle = \frac{|00\rangle + |11\rangle}{\sqrt{2}}$.

5.1 تصميم الدائرة

لإنشاء حالة بيل، نتبع الخطوات التالية:

قم بإعداد 2 من البتات الكمومية (الحالة الأولية لكليهما هي $|0\rangle$).
طبق بوابة هادامارد (H) على البت الكمومي الأول لجعله في حالة تراكب.
طبق بوابة CNOT بحيث يكون البت الكمومي الأول هو “بت التحكم” والثاني هو “البت المستهدف”.
قم بالقياس (Measure) لقراءة النتائج.

5.2 التنفيذ بالكود عبر Python/Qiskit

دعونا نلقي نظرة على الكود الفعلي.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25


import numpy as np
from qiskit import QuantumCircuit, transpile
from qiskit_aer import Aer
from qiskit.visualization import plot_histogram
import matplotlib.pyplot as plt

# 1. تهيئة الدائرة
# إنشاء دائرة كمومية تحتوي على 2 بت كمومي و 2 بت كلاسيكي
qc = QuantumCircuit(2, 2)

# 2. تطبيق بوابة H
# تطبيق بوابة هادامارد على البت الكمومي 0 (q0)
qc.h(0)

# 3. تطبيق بوابة CNOT
# تطبيق CNOT بجعل q0 بت التحكم و q1 البت المستهدف
qc.cx(0, 1)

# 4. القياس
# قياس البت الكمومي 0 و 1 وكتابة النتائج في البت الكلاسيكي 0 و 1 على التوالي
qc.measure([0, 1], [0, 1])

# رسم مخطط الدائرة (باستخدام matplotlib)
# qc.draw('mpl')
print(qc.draw())

عند تشغيل هذا الكود، سيظهر المخطط التوضيحي التالي للدائرة الكمومية على شكل فن الأسكي (ASCII art) في وحدة التحكم.

1
2
3
4
5
6
7


 ┌───┐ ┌─┐
q_0: ┤ H ├──■──┤M├───
 └───┘┌─┴─┐└╥┘┌─┐
q_1: ─────┤ X ├─╫─┤M├
 └───┘ ║ └╥┘
c: 2/═══════════╩══╩═
 0 1

تشير H إلى بوابة هادامارد، والجمع بين ■ و X يمثل بوابة CNOT، و M تمثل القياس.

5.3 التنفيذ على جهاز المحاكاة وتفسير النتائج

بعد ذلك، سنقوم بتشغيل هذه الدائرة على جهاز محاكاة Aer عالي الأداء من IBM للتحقق من النتائج.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19


# الحصول على الواجهة الخلفية لجهاز المحاكاة Aer
simulator = Aer.get_backend('qasm_simulator')

# ترجمة الدائرة لجهاز المحاكاة (تحسين)
compiled_circuit = transpile(qc, simulator)

# تشغيل الدائرة (هنا نقوم بتنفيذ 1000 طلقة "shots")
job = simulator.run(compiled_circuit, shots=1000)

# الحصول على النتيجة
result = job.result()

# الحصول على عدد مرات مشاهدة الحالة (العدد)
counts = result.get_counts(compiled_circuit)
print("\nنتيجة القياس:", counts)

# رسم المدرج التكراري (الهيستوجرام)
# plot_histogram(counts)
# plt.show()

تفسير النتائج

يجب أن يكون مخرج وحدة التحكم كالتالي تقريبًا. نتيجة القياس: {'00': 495, '11': 505} (* نظرًا لأن الاحتمالات عشوائية، فستتقلب الأرقام بشكل طفيف مع كل تنفيذ)

في بيئة المحاكاة المثالية، تُلاحظ نتائج القياس 00 و 11 بنسبة 50% تقريبًا لكل منهما، ولا تُلاحظ 01 أو 10 على الإطلاق. هذا يتوافق تمامًا مع التوقع النظري لحالة بيل التي أنشأناها $|\Phi^+\rangle = \frac{|00\rangle + |11\rangle}{\sqrt{2}}$. تمت محاكاة “التشابك الكمومي” بدقة، حيث إذا كان البت الكمومي الأول 0، فإن الثاني سيكون بالتأكيد 0، وإذا كان 1، فسيكون الثاني بالتأكيد 1.

بالمناسبة، إذا تم التشغيل على جهاز كمبيوتر كمومي حقيقي (IBM Quantum Hardware)، قد تتم ملاحظة القليل من 01 و 10 بسبب تأثير الضوضاء (فك الترابط الكمومي وأخطاء البوابات). إن كيفية تقليل هذه الضوضاء (تصحيح الخطأ الكمومي) تعد إحدى أكبر التحديات في تطوير أجهزة الكمبيوتر الكمومية حاليًا.

6. التوسع إلى خوارزميات أكثر تقدمًا

يمكن اعتبار إنشاء حالة بيل بمثابة “Hello World” في البرمجة الكمومية. من خلال تطوير هذا بشكل أكبر، يمكننا بناء خوارزميات قوية تتفوق على أجهزة الكمبيوتر الكلاسيكية.

6.1 خوارزمية دويتش-جوزا (Deutsch-Jozsa Algorithm)

هذه مسألة تتعلق بتحديد ما إذا كانت دالة معينة $f(x)$ هي “دالة ثابتة (تُخرج دائمًا 0 أو تُخرج دائمًا 1 بغض النظر عن المدخلات)” أو “دالة متوازنة (تُخرج 0 لنصف المدخلات و 1 للنصف الآخر)”. في الكمبيوتر الكلاسيكي، يتطلب الأمر في أسوأ الحالات تقييم الدالة $2^{n-1} + 1$ مرة، ولكن باستخدام خوارزمية دويتش-جوزا، يمكنك الاستفادة من التوازي الكمومي لتحديد ذلك من خلال تقييم واحد فقط. يوضح هذا النمط الأساسي للخوارزمية الكمومية، حيث يتم إدخال حالة تراكب واستخدام التداخل (Interference) لإلغاء الحالات غير الضرورية وتضخيم الإجابة المطلوبة.

6.2 خوارزمية غروفر (Grover’s Algorithm)

في مشكلة البحث للعثور على بيانات معينة من قاعدة بيانات غير مصنفة تحتوي على $N$ من العناصر، بينما تتطلب الخوارزمية الكلاسيكية في المتوسط $N/2$ عملية حسابية، يمكن لخوارزمية غروفر العثور على البيانات المطلوبة في $\sqrt{N}$ عملية. تستخدم هذه الخوارزمية صندوقًا أسود يسمى “أوراكل (Oracle)” لقلب طور الحل المستهدف، ثم تقوم بـ “تضخيم السعة (Amplitude Amplification)” لزيادة احتمال ملاحظة الحل المستهدف بشكل كبير.

graph TD A["التهيئة (تراكب لجميع الحالات)"] --> B["أوراكل (عكس طور الإجابة الصحيحة)"] B --> C["مُعامل الانتشار (تضخيم السعة عبر الانعكاس حول المتوسط)"] C --> D{"هل وصلنا لاحتمال كافٍ؟"} D -- "لا" --> B D -- "نعم" --> E["القياس"]

7. الخاتمة وماذا تتعلم بعد ذلك

في هذه المقالة، بدأنا بالمفاهيم الأساسية للحوسبة الكمومية، وهي التراكب والتشابك الكمومي، وقمنا بشرح مفصل لكيفية التعامل مع البوابات المنطقية الكمومية باستخدام Qiskit، وصولاً إلى بناء ومحاكاة حالة بيل فعليًا وتفسير النتائج.

يعد Qiskit أداة قوية تتيح لك تجاوز الحواجز الرياضية والفيزيائية والتركيز على بناء الخوارزميات، وذلك لأنه يتيح الكتابة بلغة مألوفة مثل Python. تعيش الحوسبة الكمومية حاليًا في عصر “الأجهزة الكمومية ذات الحجم المتوسط المصحوبة بالضوضاء” (NISQ: Noisy Intermediate-Scale Quantum)، ولكن يتم إحراز تقدم سريع عالميًا في الأبحاث التطبيقية في العديد من المجالات، مثل التعلم الآلي الكمومي (Quantum Machine Learning)، والمحاكاة الكيميائية (Quantum Chemistry)، وفك التشفير.

انتهز هذه الفرصة واستخدم Qiskit لبناء دوائر كمومية متنوعة بنفسك، وحاول تشغيلها على معالج IBM Quantum الحقيقي. من المؤكد أنك ستتمكن من تجربة نموذج الحوسبة المستقبلي بيديك.

مراجع

وثائق Qiskit الرسمية
كتاب Qiskit - نص رسمي موصى به لأولئك الذين يرغبون في التعمق في الخلفية الرياضية والخوارزميات
IBM Quantum Learning

مرحباً بك في العالم الكمومي!

ما هو التفوق الكمومي؟ أحدث التطورات من جوجل وIBM

Fri, 11 Sep 2026 18:00:00 +0900

1. مقدمة: فجر الحوسبة الكمومية و"التفوق الكمومي"

تتمتع الحوسبة الكمومية بالقدرة على حل المشكلات المعقدة التي لا تستطيع أجهزة الكمبيوتر الكلاسيكية (مثل أجهزة الكمبيوتر الشخصية وأجهزة الكمبيوتر العملاقة التي نستخدمها يوميًا) حلها في وقت واقعي، وذلك من خلال تطبيق ميكانيكا الكم - المبدأ الأساسي للفيزياء - في معالجة المعلومات. لطالما كان هذا المجال نظريًا في المقام الأول، ولكن في السنوات الأخيرة، اشتدت المنافسة نحو التطبيق العملي بفضل التقدم السريع في الأجهزة.

ومن بين أبرز المصطلحات التي لفتت الانتباه في هذا السياق هو “التفوق الكمومي” (Quantum Supremacy). يشير هذا إلى اللحظة التي يظهر فيها الكمبيوتر الكمومي قدرة حسابية تتفوق بشكل ساحق على الكمبيوتر الكلاسيكي في مهمة حسابية محددة. في هذا المقال، سنشرح، مع التعمق التقني والرياضي، التعريف الدقيق للتفوق الكمومي، وتفاصيل تجربة معالج “Sycamore” من جوجل الذي أُعلن عن تحقيقه هذا الإنجاز لأول مرة في العالم عام 2019، وردود IBM ونهجها الخاص حيال ذلك، بالإضافة إلى أحدث خارطة طريق لتجاوز أكبر عقبة أمام الاستخدام العملي الحقيقي: “تصحيح الأخطاء الكمومية” (QEC) و"الحوسبة الكمومية المتسامحة مع الأخطاء" (FTQC).

2. الخلفية النظرية: أساسيات الحوسبة الكمومية وفئات التعقيد

لفهم التفوق الكمومي، من الضروري أولاً فهم الأساس الرياضي للحوسبة الكمومية ومكانتها في نظرية التعقيد الحسابي.

البتات الكمومية والتراكب

بينما أصغر وحدة للمعلومات في الكمبيوتر الكلاسيكي هي البت (0 أو 1)، يستخدم الكمبيوتر الكمومي البت الكمومي (Qubit). يتم تمثيل حالة البت الكمومي الواحد $|\psi\rangle$ كتركيبة خطية مركبة للحالات الأساسية $|0\rangle$ و $|1\rangle$.

$$ |\psi\rangle = \alpha|0\rangle + \beta|1\rangle $$

حيث إن $\alpha, \beta \in \mathbb{C}$، ويحققان شرط المعايرة $|\alpha|^2 + |\beta|^2 = 1$. تُعرف هذه الخاصية باسم “التراكب” (Superposition).

التشابك (Entanglement) وحاصل الضرب الموتّر (Tensor Product)

عند وجود عدة بتات كمومية، يتم تمثيل حالة النظام بأكمله كحاصل ضرب موتّر لفضاءات الحالة للبتات الكمومية الفردية. نظام يتكون من $n$ بت كمومي يصبح متجهًا على فضاء هيلبرت ذي أبعاد $2^n$ ويُرمز له بـ $\mathcal{H}^{\otimes n}$.

$$ |\Psi\rangle = \sum_{x \in \{0, 1\}^n} c_x |x\rangle $$

حيث إن $\sum |c_x|^2 = 1$. تسمى الحالة التي لا تكون فيها البتات الكمومية مستقلة عن بعضها وتعتمد حالة أحدها على الآخر بـ “التشابك الكمومي” (Quantum Entanglement). وبفضل ذلك، يمتلك الكمبيوتر الكمومي الإمكانية لمعالجة فضاء حالة شاسع يتزايد أُسّياً في نفس الوقت.

التعريف النظري لتعقيد التفوق الكمومي

في نظرية التعقيد الحسابي، تُعرف فئة المشكلات التي يمكن للكمبيوتر الكلاسيكي حلها بكفاءة (في وقت كثير الحدود) باسم BPP (وقت احتمالي كثير الحدود ذو خطأ مقيد). من ناحية أخرى، تُعرف فئة المشكلات التي يمكن للكمبيوتر الكمومي حلها بكفاءة باسم BQP (وقت كمومي كثير الحدود ذو خطأ مقيد).

إثبات التفوق الكمومي يعني “تنفيذ مهمة معينة على جهاز كمومي فعلي تكون ضمن BQP ولكنها ليست ضمن BPP (أو يُرجح بشدة ألا تكون كذلك)، وتجاوز محاكاة الكمبيوتر العملاق الكلاسيكي من حيث الوقت والموارد”. ويمكن اعتبار ذلك محاولة تاريخية لدحض أطروحة تشيرش-تورينج الموسعة (“يمكن محاكاة جميع نماذج الحوسبة الممكنة فيزيائيًا بواسطة آلة تورينج احتمالية في وقت كثير الحدود”) من خلال تجربة فيزيائية.

3. عام 2019: إثبات التفوق الكمومي بواسطة جوجل

في أكتوبر 2019، أعلن فريق Google Quantum AI في المجلة العلمية “Nature” عن تحقيق التفوق الكمومي باستخدام معالج فائق التوصيل مكون من 53 بتًا كموميًا يُدعى “Sycamore”.

بنية معالج Sycamore

يتكون معالج Sycamore من 54 بتًا كموميًا فائق التوصيل من نوع Transmon مرتبة في شبكة ثنائية الأبعاد (استُخدم منها 53 بتًا لأن أحدها كان معطلاً في التجربة). وُضعت قارنات قابلة للضبط (Tunable Coupler) بين البتات الكمومية المتجاورة، مما حقق بوابات ثنائية البت الكمومي عالية السرعة والدقة (مزيج بين بوابة iSWAP وبوابة Z المتحكم بها).

graph TD A["إدخال الخوارزمية الكمومية"] --> B["معالج Sycamore (53 بت كمومي)"] B --> C["تطبيق بوابات كمومية عشوائية"] C --> D["قياس الحالات الكمومية (سلاسل البتات)"] D --> E["قياس الأداء بالإنتروبيا المتقاطعة (XEB)"] E --> F["التحقق من التفوق الكمومي"]

أخذ عينات الدوائر الكمومية العشوائية (RCS)

المهمة التي اختارتها جوجل كانت “أخذ عينات الدوائر الكمومية العشوائية”. تتضمن هذه المهمة تطبيق بوابات بت كمومي واحد وبوابتين بشكل عشوائي على مدى دورات متعددة (بعمق $m$)، وأخذ عينات من التوزيع الاحتمالي لسلاسل البتات الناتجة عن قياس الحالة النهائية.

احتمال خروج سلسلة البتات $x$ من دائرة كمومية عشوائية مثالية (خالية من الضوضاء) ليس توزيعًا منتظمًا، بل يُظهر نمطًا يشبه أنماط التداخل يُعرف باسم توزيع بورتر-توماس (Porter-Thomas distribution). لأخذ عينات من هذا التوزيع باستخدام كمبيوتر كلاسيكي، يُتطلب محاكاة متجه الحالة بالكامل، ويزداد التعقيد الحسابي بشكل أُسّي بالنسبة لعدد البتات الكمومية $n$ وعمق الدائرة $m$.

تقييم الدقة (Fidelity): قياس الأداء بالإنتروبيا المتقاطعة الخطية (XEB)

لإثبات أن نتائج التجربة ليست مجرد ضوضاء، بل هي نتيجة حساب كمومي فعلي، استخدمت جوجل قياس الأداء بالإنتروبيا المتقاطعة الخطية (XEB). يتم حساب الاحتمال المثالي للدائرة $P(x_i)$ لسلاسل البتات $x_i$ التي تم الحصول عليها في التجربة باستخدام كمبيوتر كلاسيكي، وتُحسب الدقة $\mathcal{F}_{\text{XEB}}$ باستخدام المعادلة التالية:

$$ \mathcal{F}_{\text{XEB}} = 2^n \langle P(x_i) \rangle_{i} - 1 $$

إذا كانت $\mathcal{F}_{\text{XEB}}$ تساوي 0، فهذا يعني ضوضاء كاملة، وإذا كانت 1، فهذا يعني معالج كمومي مثالي خالٍ من الضوضاء. حقق معالج Sycamore دقة $\mathcal{F}_{\text{XEB}} \approx 0.002$ (0.2%) في دائرة بعمق 20. قد تبدو هذه القيمة منخفضة للوهلة الأولى، لكنها قيمة أكبر من الصفر وذات دلالة إحصائية، وتُعد إنجازًا مذهلاً في التحكم في فضاء حالة بحجم $2^{53} \approx 9 \times 10^{15}$.

تمت نمذجة معدل الخطأ الإجمالي تقريبًا كحاصل ضرب لأخطاء البوابات الفردية وأخطاء القياس وغيرها:

$$ \mathcal{F} \approx (1 - e_1)^{N_1}(1 - e_2)^{N_2} \cdots \approx \prod_{g \in 1Q} (1 - e_g) \prod_{g \in 2Q} (1 - e_g) \prod_{q} (1 - e_{RO}) $$

(ملاحظة: $e_g$ يمثل خطأ البوابة، و $e_{RO}$ يمثل خطأ القياس)

ادعت جوجل أن محاكاة هذه الدائرة على الكمبيوتر العملاق الكلاسيكي (Summit) ستستغرق حوالي 10,000 عام. في المقابل، أكمل Sycamore أخذ العينات في 200 ثانية فقط.

4. رد IBM: من “التفوق” إلى “المنفعة (Utility)”

أحدث إعلان جوجل صدمة في جميع أنحاء العالم، لكن IBM، التي طورت أكبر كمبيوتر عملاق في العالم آنذاك “Summit” والتي تقود بنفسها تطوير أجهزة الكمبيوتر الكمومية، نشرت على الفور ورقة بحثية تدحض هذا الادعاء.

تحسين المحاكاة الكلاسيكية باستخدام انكماش الشبكات الموتّرة

كان جوهر رد IBM هو أن “تحسين الخوارزميات والموارد على جانب الكمبيوتر الكلاسيكي كان غير كافٍ”. فقد استند تقدير جوجل البالغ 10,000 عام على محاكي متجه الحالة الذي يحسب التطور الزمني لمعادلة شرودنغر كما هي، لكن IBM أشارت إلى أنه باستخدام تقنية تُسمى “الشبكات الموتّرة” (Tensor Network)، يمكن تقليص وقت المحاكاة بشكل كبير.

في الشبكات الموتّرة، يتم التعبير عن عمليات البوابات في الدائرة الكمومية كعمليات على مصفوفات متعددة الأبعاد (موتّرات)، ويتم تحسين ترتيب “انكماش” (Contraction) الشبكة. وعلاوة على ذلك، ادعت IBM أنه بالاستفادة الكاملة من سعة التخزين الهائلة لجهاز Summit البالغة 250 بيتابايت (من خلال هيكلة الأقراص والذاكرة)، من الممكن الاحتفاظ بمتجه الحالة بالكامل وإجراء محاكاة أكثر دقة في “يومين ونصف” فقط.

الميزة الكمومية (Quantum Advantage) والمنفعة الكمومية (Quantum Utility)

نتيجة لهذا النقاش، انتقل التوجه العام في الصناعة من التركيز فقط على “تنفيذ مهام مصطنعة مستحيلة كلاسيكيًا (التفوق - Supremacy)"، إلى مرحلة “إظهار تفوق جوهري على المقاربات الكلاسيكية في المشكلات الواقعية المفيدة (الميزة الكمومية - Quantum Advantage)"، وأخيراً إلى “عمل الكمبيوتر الكمومي كأداة جديدة للاكتشافات العلمية (المنفعة الكمومية - Quantum Utility)”.

تتجنب IBM نفسها استخدام كلمة “التفوق”، وقد اقترحت مقاييس أداء شاملة للمعالجات الكمومية مثل “الحجم الكمومي” (Quantum Volume) و “CLOPS” (عمليات طبقة الدائرة في الثانية)، مع التركيز في تطويرها على التوازن بين حجم الأجهزة وجودتها.

timeline title "تطور الإنجازات الكمومية" 2019 : "جوجل Sycamore (53Q)" : "إعلان التفوق الكمومي" 2019 : "رد IBM" : "محاكاة كمبيوتر Summit العملاق في 2.5 يوم" 2021 : "IBM Eagle (127Q)" : "كسر حاجز 100 بت كمومي" 2022 : "IBM Osprey (433Q)" : "توسيع نطاق المعالج" 2023 : "جوجل Surface Code" : "توسيع نطاق تصحيح الأخطاء (من d=3 إلى d=5)" 2023 : "المنفعة الكمومية من IBM" : "محاكاة نموذج سبين معقد على 127Q" 2024 : "ما بعد ذلك" : "عصر البتات الكمومية المنطقية وتخفيف الأخطاء"

5. الجبهة التالية: تخفيف الأخطاء (Error Mitigation) وتصحيح الأخطاء الكمومية (QEC)

تُعرف أجهزة الكمبيوتر الكمومية الحالية باسم “NISQ” (الأجهزة الكمومية الصاخبة متوسطة النطاق)، وهي عُرضة لتأثير الضوضاء (الأخطاء الناتجة عن التفاعل مع البيئة الخارجية أو التحكم غير المثالي). وعند إجراء حسابات طويلة، تضيع النتائج وسط هذه الضوضاء. للتغلب على هذه المشكلة، هناك نهجان رئيسيان: “تخفيف الأخطاء” (Error Mitigation) و"تصحيح الأخطاء الكمومية” (Quantum Error Correction).

تخفيف الأخطاء (Error Mitigation)

تخفيف الأخطاء هو أسلوب لإزالة تأثير الضوضاء من القيمة المتوقعة لنتائج الحساب من خلال المعالجة اللاحقة الكلاسيكية دون تعديل الأجهزة الكمومية. في عام 2023، استخدمت IBM معالج “Eagle” المكون من 127 بتًا كموميًا جنبًا إلى جنب مع تقنيات تخفيف الأخطاء مثل “الاستقراء الصفري للضوضاء” (ZNE)، ونجحت في تحقيق دقة تجاوزت أحدث طرق الشبكات الموتّرة التقريبية في محاكاة التطور الزمني لنموذج إيزينج المعقد، مما يثبت “المنفعة الكمومية” (Quantum Utility).

تصحيح الأخطاء الكمومية (QEC) والبتات الكمومية المنطقية

ومع ذلك، من أجل تنفيذ أي خوارزمية معقدة في نهاية المطاف (مثل خوارزمية شور لتحليل العوامل أو الحسابات الكيميائية الكمومية المعقدة)، فإن تخفيف الأخطاء وحده لا يكفي، ويصبح “تصحيح الأخطاء الكمومية” (QEC)، الذي يكتشف الأخطاء ويصححها ديناميكيًا، أمرًا لا غنى عنه.

النهج السائد في QEC هو ما يُعرف بـ “الرمز السطحي” (Surface Code). يتمثل هذا النهج في ترتيب عدة بتات كمومية فيزيائية (بتات البيانات) في شبكة ثنائية الأبعاد، مع وضع بتات كمومية للقياس (بتات أنسيلا) بينها لإجراء فحوصات التكافؤ (Parity checks) المعروفة باسم “المثبتات” (Stabilizers) بشكل مستمر.

graph LR Q1["بت كمومي للبيانات (Data)"] --- M1["قياس مثبت X (Ancilla)"] Q2["بت كمومي للبيانات (Data)"] --- M1 Q3["بت كمومي للبيانات (Data)"] --- M2["قياس مثبت Z (Ancilla)"] Q4["بت كمومي للبيانات (Data)"] --- M2 M1 --> EC["فك تشفير متلازمة الخطأ (كلاسيكي)"] M2 --> EC EC --> LQ["تحديث حالة البت الكمومي المنطقي"]

نظرية العتبة (Threshold Theorem) والمسافة $d$

يوجد في تصحيح الأخطاء الكمومية ما يُعرف بـ “نظرية العتبة”. إذا كان معدل الخطأ في البت الكمومي الفيزيائي $p$ أقل من عتبة معينة $p_{th}$ (حوالي 1% في حالة الرمز السطحي)، فإنه من خلال زيادة مسافة الرمز (Distance) $d$ (أي تخصيص المزيد من البتات الفيزيائية لبت منطقي واحد)، يمكن خفض معدل الخطأ المنطقي $p_L$ بشكل أُسّي.

يتم التعبير عن المعادلة التقريبية لمعدل الخطأ المنطقي على النحو التالي:

$$ p_L \approx \Lambda \left( \frac{p}{p_{th}} \right)^{\frac{d+1}{2}} $$

حيث إن $\Lambda$ هو مقدار ثابت. إذا كان $p < p_{th}$، فكلما زادت $d$، قل $p_L$. ولكن، في حالة $p > p_{th}$، فإن زيادة عدد البتات الكمومية الفيزيائية ستؤدي إلى تراكم الضوضاء وتفاقم معدل الخطأ المنطقي.

إنجاز جوجل عام 2023: إثبات تقليل الخطأ من خلال زيادة المسافة

في فبراير 2023، نشرت جوجل ورقة بحثية بارزة في مجلة “Nature”. فقد أثبتوا لأول مرة في العالم، باستخدام الجيل الثالث من معالج Sycamore، أنه عند زيادة مسافة الرمز السطحي من $d=3$ (باستخدام 17 بتًا فيزيائيًا) إلى $d=5$ (باستخدام 49 بتًا فيزيائيًا)، ينخفض معدل الخطأ المنطقي بشكل طفيف من 3.028% إلى 2.914%.

وهذا يعني الدخول في المنطقة التي يكون فيها $p < p_{th}$، ويدل على اكتمال أهم إثبات للمفهوم (Proof of Concept) نحو تحقيق FTQC، حيث أن زيادة عدد البتات الفيزيائية ستؤدي حتمًا إلى تحسين الأداء.

6. خارطة الطريق والتطلعات نحو الحوسبة الكمومية المتسامحة مع الأخطاء (FTQC)

تخوض كل من جوجل وIBM، بالرغم من تبنيهما لبنى هندسية ومقاربات مختلفة، منافسة تطويرية شرسة نحو هدفهما النهائي المتمثل في الحوسبة الكمومية المتسامحة مع الأخطاء (FTQC).

مقاربة IBM: الوحدات النمطية (Modularization) وشبكات Heavy-Hex

تركز IBM، بالتوازي مع خفض معدلات الخطأ بشكل جذري، على توسيع نطاق معالجاتها. فبينما تتحدى حدود الشريحة الواحدة من خلال معالجات “Eagle (127Q)” و"Osprey (433Q)” و"Condor (1121Q)"، أعلنت أيضًا عن بنية معمارية معتمدة على الوحدات النمطية تُسمى “Quantum System Two”. بالإضافة إلى ذلك، تعتمد في طوبولوجيا ربط البتات الكمومية على بنية شبكية تُدعى “Heavy-Hex”، والتي تقلل من التداخل غير المرغوب فيه وتزيد من الاستقرار. استراتيجية IBM هي نهج هجين يسعى إلى تحقيق المنفعة من خلال التخفيف المتقدم للأخطاء على المدى القصير، مع إدخال QEC تدريجيًا.

مقاربة جوجل: تحسين جودة البتات الكمومية المنطقية

تتمحور استراتيجية جوجل حول التركيز على خفض معدل الخطأ في البت الكمومي المنطقي الواحد إلى أقصى حد ممكن (إلى $10^{-6}$ مثلاً) بدلاً من الزيادة السريعة في عدد البتات الفيزيائية. وبناءً على ذلك، تهدف إلى بناء نظام واسع النطاق يشغّل الآلاف أو عشرات الآلاف من البتات الكمومية الفيزيائية بالتوازي، من خلال إرساء تقنية نقل الحالات الكمومية بين الوحدات (الروابط الكمومية - Quantum Interconnects).

يُعد تطبيق البروتوكولات لتنفيذ بوابات غير كليفورد (مثل تقطير الحالة السحرية - Magic State Distillation) بأسلوب متسامح مع الأخطاء من العقبات التكنولوجية الكبيرة في المستقبل. لتشغيل خوارزمية شور العملية لفك تشفير RSA بحجم 2048 بتًا، يُقال إن الأمر يتطلب آلافًا من البتات الكمومية المنطقية بمعدل خطأ أقل من $10^{-8}$، مما يُترجم إلى ملايين أو عشرات الملايين من البتات الكمومية الفيزيائية، لذا لا يزال الطريق طويلاً.

7. الخاتمة

كان “التفوق الكمومي” معلمًا بارزًا في تاريخ أجهزة الكمبيوتر الكمومية، حيث أثبت فيزيائيًا الإمكانيات النظرية للحواسيب. دفع إثبات جوجل في عام 2019 والردود البناءة من IBM الصناعة بأكملها من مجرد الإثبات النظري إلى السعي الحقيقي نحو المنفعة (Utility)، وصولاً إلى عصر الهندسة الجادة نحو الحوسبة الكمومية المتسامحة مع الأخطاء (FTQC).

نحن نقف حاليًا في مرحلة انتقالية من أجهزة NISQ المليئة بالضوضاء إلى أجهزة بتات كمومية منطقية مزودة بتصحيح الأخطاء. وفي غضون السنوات القليلة القادمة إلى العقد القادم، ستصبح اكتشافات علم المواد الجديدة، وثورة عمليات اكتشاف الأدوية، والاختراقات في مشاكل التحسين حقيقة واقعة تزامنًا مع هذا التطور في الأجهزة الكمومية.

سنظل نراقب عن كثب تحركات جوجل وIBM، بالإضافة إلى الباحثين حول العالم الذين يشكلون مستقبل علوم الكمبيوتر.

كيف ستتغير البلوكتشين والعملات المشفرة في عصر ما بعد الكم؟

Fri, 11 Sep 2026 17:00:00 +0900

1. مقدمة: خطوات عصر ما بعد الكم وأزمة البلوكتشين

منذ ولادة البيتكوين (Bitcoin) على يد ساتوشي ناكاموتو في عام 2009، نمت تقنية البلوكتشين كـ “سجل لامركزي مقاوم للعبث” لتصبح الأساس للأنظمة المالية والتطبيقات حول العالم. يعتمد هذا الأمان القوي على تقنيات التشفير الحديثة: تشفير المفتاح العام (Public Key Cryptography) ودوال التجزئة المشفرة (Cryptographic Hash Functions).

تضمن هذه التقنيات الأمان بناءً على “الصعوبة الحسابية” الرياضية التي تجعل الحواسيب الكلاسيكية (أجهزة الكمبيوتر الشخصية والحواسيب العملاقة التي نستخدمها حاليًا) تستغرق وقتًا يقارب عمر الكون لفك تشفيرها.

ومع ذلك، فإن هذا الافتراض على وشك أن ينقلب رأسًا على عقب بسبب التطور السريع والتطبيق العملي لـ أجهزة الكمبيوتر الكمية (Quantum Computers)، وهي حدود الفيزياء وعلوم المعلومات. الحواسيب الكمية، التي تستخدم ظواهر ميكانيكا الكم مثل “التراكب” (Superposition) و"التشابك" (Entanglement)، تُظهر قوة حسابية هائلة تتفوق على الحواسيب الكلاسيكية في بعض المشكلات الرياضية، وهو ما يُعرف بـ “التفوق الكمي” (Quantum Supremacy).

في هذا المقال، سنشرح بالتفصيل التهديدات المحددة التي تواجهها تقنية البلوكتشين بسبب أجهزة الكمبيوتر الكمية، وأحدث الاتجاهات في الحلول مثل التشفير ما بعد الكمي (PQC: Post-Quantum Cryptography)، وسيناريوهات انتقال شبكات الأصول المشفرة، وذلك من منظور تقني ورياضي متعمق.

2. أساسيات الحوسبة الكمية والتهديدان الرئيسيان للبلوكتشين

تتكون أنظمة البلوكتشين الحالية بشكل أساسي من عنصري التشفير التاليين، وكلاهما معرض لتهديدات مختلفة بسبب الخوارزميات الكمية.

graph TD A["القوة الحسابية الهائلة للحوسبة الكمية"] --> B["خوارزمية شور (Shor's Algorithm)"] A --> C["خوارزمية غروفر (Grover's Algorithm)"] B --> D["انهيار تشفير المفتاح العام (ECDSA/RSA/DSA)"] C --> E["التأثير على دوال التجزئة المشفرة (SHA-256)"] D --> F["تحديد المفاتيح الخاصة للآخرين وتزوير المعاملات"] E --> G["ميزة تعدين إثبات العمل (PoW) وهجمات على بعض العناوين"] F --> H["تهديد قاتل ومباشر في البلوكتشين"] G --> I["تهديد يمكن التعامل معه بتعديل الخوارزمية (مثل زيادة طول المفتاح)"] style H fill:#ff9999,stroke:#cc0000,stroke-width:2px; style I fill:#ffff99,stroke:#cccc00,stroke-width:2px;

2.1. أساسيات تشفير المنحنى الإهليلجي (ECDSA) والصعوبة الحسابية

تعتمد العديد من البلوكتشين، بما في ذلك البيتكوين والإيثريوم (Ethereum)، على خوارزمية التوقيع الرقمي للمنحنى الإهليلجي (ECDSA: Elliptic Curve Digital Signature Algorithm) كخوارزمية توقيع رقمي. على وجه التحديد، تستخدم البيتكوين منحنى إهليلجي ذو المعلمة secp256k1.

يعتمد أمان تشفير المنحنى الإهليلجي على الصعوبة الحسابية لـ مشكلة اللوغاريتم المتقطع للمنحنى الإهليلجي (ECDLP: Elliptic Curve Discrete Logarithm Problem). يتم تعريف المنحنى الإهليلجي من خلال المعادلة التالية في نموذج فايرشتراس القياسي:

$$ y^2 \equiv x^3 + ax + b \pmod{p} $$

في secp256k1 الخاص بالبيتكوين، $a = 0, b = 7$ و $p$ هو عدد أولي ضخم للغاية. لنفترض أن النقطة الأساسية (نقطة المرجع) على هذا المنحنى هي $G$، وأن المفتاح الخاص هو عدد صحيح ضخم عشوائي بحجم 256 بت يُرمز له بالرمز $k$. في هذه الحالة، يتم الحصول على المفتاح العام $K$ عن طريق إضافة النقطة الأساسية $k$ مرة (الضرب القياسي).

$$ K = k \times G = \underbrace{G + G + \dots + G}_{k \text{ times}} $$

إن استخدام الحواسيب الكلاسيكية لعكس (حساب اللوغاريتم المتقطع) المفتاح الخاص $k$ من المفتاح العام المكشوف $K$ والنقطة الأساسية $G$ يتطلب وقتًا أسيًا $\mathcal{O}(\sqrt{p})$ حتى باستخدام أفضل الخوارزميات الكلاسيكية مثل خوارزمية بولارد-رو لتفكيك العوامل الأولية. بالنسبة لمفتاح بحجم 256 بت، يتطلب ذلك حوالي $2^{128}$ عملية حسابية، وهو أمر لا يمكن حله حتى لو تم تشغيل الحواسيب العملاقة الحالية لمليارات السنين.

2.2. الانهيار بسبب خوارزمية شور (Shor’s Algorithm)

ومع ذلك، فإن خوارزمية شور التي اقترحها بيتر شور في عام 1994 قد دمرت هذا الافتراض بالكامل. تم اقتراح خوارزمية شور في الأصل لحل مشكلة التحليل إلى العوامل الأولية (أساس تشفير RSA) في وقت كثير الحدود، ولكن يمكن تطبيقها أيضًا على مشكلة اللوغاريتم المتقطع ومشكلة اللوغاريتم المتقطع للمنحنى الإهليلجي.

يكمن جوهر خوارزمية شور في استخدام تحويل فورييه الكمي (QFT: Quantum Fourier Transform) للعثور على “دورة” (Period) الدالة بسرعة عالية.

$$ \text{التعقيد الزمني الكلاسيكي} = \mathcal{O}(2^{n/2}) \quad (n \text{ هو طول البت}) $$ $$ \text{التعقيد الزمني للخوارزمية الكمية} = \mathcal{O}(n^3) $$

وهكذا، تعمل خوارزمية شور على تقليص الوقت الأسي بشكل كبير إلى وقت كثير الحدود (Polynomial Time). إذا تم بناء كمبيوتر كمي يحتوي على عدد كافٍ من الكيوبتات المنطقية، فسيكون من الممكن تحديد المفتاح الخاص $k$ من المفتاح العام $K$ المنشور على الشبكة في غضون دقائق أو ثوانٍ. سيسمح هذا للمهاجمين بالحصول بسهولة على المفاتيح الخاصة لمحافظ الآخرين والسيطرة الكاملة على أموالهم.

2.2.1. خطوة بخطوة: فك تشفير ECDLP باستخدام خوارزمية شور

دعنا نستعرض العمليات الداخلية لكيفية حل الكمبيوتر الكمي لمشكلة اللوغاريتم المتقطع للمنحنى الإهليلجي (ECDLP) خطوة بخطوة.

إعداد المشكلة: في المعادلة $K = k \times G$، $G$ و $K$ معروفان، ونريد إيجاد العدد الصحيح المجهول $k$ (المفتاح الخاص). لنفترض أن رتبة المنحنى الإهليلجي هي $N$.

الخطوة 1: إنشاء حالة التراكب أولاً، نقوم بإعداد سجلين كميين وتطبيق بوابة هادامارد (Hadamard Gate) على كل منهما لإنشاء حالة تراكب لجميع مجموعات الأعداد الصحيحة الممكنة.

$$ |\psi_1\rangle = \frac{1}{N} \sum_{x=0}^{N-1} \sum_{y=0}^{N-1} |x\rangle |y\rangle |0\rangle $$

الخطوة 2: تطبيق الأوراكل الكمي (تقييم الدالة) بعد ذلك، باستخدام دائرة كمية (أوراكل) تقوم بجمع النقاط على المنحنى الإهليلجي، نحسب الدالة $f(x, y) = x \times G + y \times K$ في السجل الثالث.

$$ |\psi_2\rangle = \frac{1}{N} \sum_{x=0}^{N-1} \sum_{y=0}^{N-1} |x\rangle |y\rangle |x \times G + y \times K\rangle $$

النقطة المهمة هنا هي أنه نظرًا لأن $K = k \times G$، يمكن إعادة كتابة المعادلة كـ $f(x, y) = (x + y \cdot k) \times G$.

الخطوة 3: قياس السجل الثالث عند قياس السجل الثالث، ينهار إلى نقطة معينة $R$ على المنحنى الإهليلجي. نتيجة لذلك، ينهار السجلان الأول والثاني إلى حالة تراكب للأزواج $(x, y)$ التي تلبي المعادلة $x + y \cdot k \equiv c \pmod{N}$ (حيث $c$ ثابت).

$$ |\psi_3\rangle = \frac{1}{\sqrt{N}} \sum_{y=0}^{N-1} |c - y \cdot k \pmod{N}\rangle |y\rangle $$

الخطوة 4: تطبيق تحويل فورييه الكمي (QFT) تحتوي هذه الحالة على دورية مرتبطة بالدورة $k$. بتطبيق تحويل فورييه الكمي العكسي (Inverse QFT) هنا، نتسبب في تداخل الطور، مما يحول معلومات الدورة إلى سعة.

الخطوة 5: القياس والمعالجة الكلاسيكية اللاحقة عند قياس السجلين الأول والثاني، نحصل باحتمال كبير على قيمة تحتوي على معلومات حول $k$. بتطبيق خوارزميات نظرية الأعداد الكلاسيكية مثل الكسور المستمرة (Continued Fractions) على القيمة المقاسة، يمكننا تحديد المفتاح الخاص المجهول $k$ تمامًا.

عدد البوابات الكمية المطلوبة لهذه العملية بأكملها هو $\mathcal{O}(\log^3 N)$، وهي تكشف عن المفتاح الخاص بسرعة فائقة لا يمكن مقارنتها ببحث $\mathcal{O}(\sqrt{N})$ بواسطة الحواسيب الكلاسيكية.

2.3. خوارزمية غروفر (Grover’s Algorithm) والتأثير على دوال التجزئة

التهديد الآخر هو خوارزمية غروفر التي اقترحها لوف غروفر في عام 1996. هذه الخوارزمية لها تأثير كبير على دوال التجزئة (مثل: SHA-256).

في البلوكتشين، تُستخدم دوال التجزئة لضمان سلامة البيانات، وتوليد العناوين، وكأساس لـ تعدين إثبات العمل (PoW: Proof of Work) في البيتكوين. يمكن اعتبار الحساب العكسي لدالة التجزئة (حساب الصورة المسبقة) كـ “مشكلة بحث في قاعدة بيانات غير مهيكلة”، حيث نبحث عن قيمة الإدخال $x$ التي تحقق $H(x) = y$ لقيمة إخراج معينة $y$.

في الحواسيب الكلاسيكية، يتطلب العثور على الإجابة الصحيحة من بين $N$ احتمال إجراء $\frac{N}{2}$ محاولة في المتوسط، و $N$ محاولة في أسوأ الحالات. بعبارة أخرى، التعقيد الحسابي هو $\mathcal{O}(N)$. ومع ذلك، تستخدم خوارزمية غروفر تقنية كمية تسمى “تضخيم السعة” (Amplitude Amplification). من خلال التضخيم المتكرر لسعة الاحتمال للحالة التي تمثل الإجابة الصحيحة من بين جميع الاحتمالات في حالة التراكب، يتم تقليل وقت البحث إلى الجذر التربيعي.

$$ \text{التعقيد الحسابي لخوارزمية غروفر} = \mathcal{O}(\sqrt{N}) $$

في حالة SHA-256، نظرًا لأن $N = 2^{256}$، يتطلب البحث الشامل الكلاسيكي حوالي $2^{256}$ محاولة. ومع ذلك، باستخدام خوارزمية غروفر، لا يتطلب الأمر سوى $\sqrt{2^{256}} = 2^{128}$ محاولة. هذا يعني أن دالة التجزئة بحجم 256 بت تُقلل فعليًا إلى النصف لتصبح قوة أمان 128 بت ضد الحواسيب الكمية.

2.3.1. هل ستنجو SHA-256؟ (التفوق الكمي في التجزئة)

على الرغم من أن الأمان ينخفض إلى النصف، إلا أن “أمان 128 بت” لا يزال قويًا للغاية. عدد العمليات الحسابية $2^{128}$ يمثل رقمًا فلكيًا حتى من منظور المستوى التكنولوجي الحالي، ويتطلب فترة زمنية تقارب عمر الكون. لذلك، يُعتقد على نطاق واسع أن “SHA-256 ستحافظ على أمان عملي حتى ضد أجهزة الكمبيوتر الكمية”. في المستقبل، إذا كانت هناك حاجة لزيادة هامش الأمان، فإن مجرد مضاعفة طول إخراج التجزئة (على سبيل المثال، الانتقال من SHA-256 إلى SHA-512) سيكفي للحفاظ على أمان 256 بت الكلاسيكي في العالم الكمي.

في الختام، يمكن القول إن التهديد الكمي لدوال التجزئة “طفيف ويمكن إدارته”، بينما التهديد لتشفير المفتاح العام (ECDSA) “قاتل”.

3. تحليل التأثير الملموس على الأصول المشفرة الحالية (البيتكوين، الإيثريوم)

في عالم حيث أصبح فك تشفير ECDSA ممكنًا بواسطة الحواسيب الكمية، ما هي نقاط الضعف المحددة التي ستواجهها شبكات الأصول المشفرة؟ هنا، سنقوم بإجراء تحليل مفصل باستخدام آلية البيتكوين كمثال، من منظور “توقيت الكشف عن المفتاح العام”.

3.1. إنشاء العناوين و “سرية” المفتاح العام

لا تستخدم عناوين البيتكوين (P2PKH: Pay-to-Public-Key-Hash أو P2WPKH: Pay-to-Witness-Public-Key-Hash) المفتاح العام بحد ذاته، بل يتم تجزئة المفتاح العام عدة مرات.

$$ \text{Bitcoin Address} = \text{Base58Check}(\text{RIPEMD160}(\text{SHA256}(\text{Public Key}))) $$

كما ذكرنا سابقًا، نظرًا لأن دوال التجزئة مقاومة للهجمات الكمية (خوارزمية غروفر)، فمن المستحيل حتى على الكمبيوتر الكمي إجراء حساب عكسي لـ “المفتاح العام” الأصلي من “العنوان” الذي هو قيمة التجزئة. بعبارة أخرى، بالنسبة لـ “العناوين غير المستخدمة (التي لم يتم إرسال أموال منها أبدًا)”، لا يتم الكشف عن المفتاح العام إطلاقًا على البلوكتشين، ويتم تسجيل قيمة التجزئة فقط. لذلك، طالما أن المفتاح العام غير معروف، فلا يوجد هدف لتشغيل خوارزمية شور، ولا يمكن تحديد المفتاح الخاص. يمكن القول إن المحافظ في هذه الحالة آمنة كميًا (Quantum-safe).

3.2. الضعف القاتل عند إرسال المعاملات (هجوم الجري الاستباقي)

تظهر المشكلة عندما يقوم المستخدم بإرسال أموال. عند بث (إرسال) معاملة إلى الشبكة، يجب على المستخدم تضمين مفتاحه العام في بيانات المعاملة والكشف عنه للشبكة بأكملها للتحقق، بالإضافة إلى توقيعه الرقمي.

sequenceDiagram participant User as "المستخدم (أليس)" participant Mempool as "Mempool (تجمع المعاملات غير المؤكدة)" participant QuantumAttacker as "المهاجم الكمي" participant Miner as "المُعدِّن (إنشاء الكتل)" User->>Mempool: إرسال المعاملة (تتضمن المفتاح العام + التوقيع) Mempool-->>QuantumAttacker: اعتراض المفتاح العام على الشبكة note right of QuantumAttacker: تنفيذ خوارزمية شور في دقائق
(حساب المفتاح الخاص من المفتاح العام) QuantumAttacker->>QuantumAttacker: إنشاء توقيع جديد باستخدام المفتاح الخاص لأليس QuantumAttacker->>Mempool: بث معاملة تحويل احتيالية برسوم تعدين أعلى Miner->>Miner: إعطاء الأولوية للمعاملة الاحتيالية ذات الرسوم (الغاز) الأعلى وتضمينها في الكتلة Miner-->>User: تسجيلها في البلوكتشين (خسارة أموال أليس)

بمجرد إرسال المفتاح العام إلى Mempool (منطقة انتظار المعاملات غير المؤكدة)، تتم مشاركة هذه البيانات مع العُقد حول العالم. إذا كان المهاجم يمتلك كمبيوتر كمي فائق السرعة، فيمكنه سرقة الأموال من خلال العملية التالية:

اعتراض معاملة المستخدم الشرعي (أليس) من Mempool واستخراج المفتاح العام.
تشغيل خوارزمية شور وحساب المفتاح الخاص من المفتاح العام في غضون دقائق (قبل تأكيد الكتلة).
استخدام المفتاح الخاص الذي تم الحصول عليه لإنشاء معاملة مزيفة ترسل أموال أليس إلى عنوان المهاجم.
إرسال هذه المعاملة المزيفة إلى الشبكة مع تحديد رسوم تعدين (Fee) أعلى بكثير من المعاملة الأصلية لأليس.

بناءً على الحوافز الاقتصادية، يقوم المُعدنون بشكل تفضيلي بتضمين المعاملات ذات الرسوم المرتفعة في الكتلة. نتيجة لذلك، يتم تأكيد (Confirm) المعاملة الاحتيالية للمهاجم أولاً، ويتم تجاهل معاملة أليس الشرعية باعتبارها “إنفاقًا مزدوجًا” (Double Spend) بسبب نقص الرصيد. تُسمى هذه السلسلة من الأحداث هجوم الجري الاستباقي (Front-running Attack)، وفي عالم أصبحت فيه الحواسيب الكمية حقيقة واقعة، ستؤدي إلى موقف مرعب حيث يتم سرقة الأموال من قبل قراصنة بمجرد ضغط شخص ما على زر الإرسال.

3.3. أزمة العناوين المعاد استخدامها والعناوين القديمة (P2PK)

المشكلة الأكثر خطورة هي أن العناوين التي تم إرسال أموال منها ولو مرة واحدة في الماضي (مثل حالة إعادة الاستخدام كعناوين تغيير) قد سُجل مفتاحها العام بالفعل وبشكل دائم على البلوكتشين. هذه العناوين معرضة باستمرار لخطر حساب المفتاح الخاص الخاص بها وسرقة رصيدها، دون الحاجة حتى لانتظار إرسال معاملة جديدة.

علاوة على ذلك، في تنسيق P2PK (Pay-to-Public-Key) الذي كان سائدًا في حوالي عام 2009-2010، والذي يتضمن مكافآت التعدين الأولية لساتوشي ناكاموتو (أكثر من مليون BTC)، تم تسجيل المفتاح العام نفسه مباشرة على البلوكتشين كعنوان بدلاً من قيمة التجزئة. هذه الكمية الهائلة من البيتكوين الخاملة ستكون الهدف الأسهل لأجهزة الكمبيوتر الكمية، ومن الممكن أن تُسرق كلها مرة واحدة وتُغرق السوق، مما قد يتسبب في انهيار كارثي في الأسعار.

4. سيناريو الانتقال إلى التشفير المقاوم للكم (PQC: Post-Quantum Cryptography)

لتجنب كارثة “يوم Q” (اليوم الذي تخترق فيه الحواسيب الكمية التشفير)، يخطط مجتمع التشفير ومجتمع البلوكتشين للانتقال إلى التشفير ما بعد الكمي (PQC) الذي يصعب فك تشفيره حتى بواسطة الخوارزميات الكمية. على مر السنين، قاد المعهد الوطني للمعايير والتقنية (NIST) في الولايات المتحدة عملية التوحيد القياسي لـ PQC، وبعد عدة جولات من التقييم الصارم، تم اختيار بعض أنظمة التشفير الواعدة كمعايير نهائية.

سنشرح بالتفصيل خوارزميات PQC الرئيسية التي تجذب الانتباه كبدائل للتوقيعات الرقمية في البلوكتشين، إلى جانب آلياتها الرياضية.

4.1. التوقيعات المستندة إلى التجزئة (Hash-Based Signatures)

التوقيعات المستندة إلى التجزئة هي مخطط تشفير يعتمد أمانه حصريًا على أساس بسيط وقوي للغاية، ألا وهو “مقاومة الاصطدام في دوال التجزئة”. نظرًا لأنه قد تم بالفعل إثبات أمان دوال التجزئة ضد أجهزة الكمبيوتر الكمية (كما ذكرنا، يكفي هامش أمان يبلغ 128 بت)، فإن هذا النهج موثوق للغاية. من الأمثلة البارزة توقيع لامبورت (Lamport Signatures)، وامتداده WOTS (Winternitz One-Time Signature)، ومرشح معيار NIST المسمى SPHINCS+ (المعروف الآن باسم SLH-DSA ضمن معيار FIPS 205).

4.1.1. التفاصيل الرياضية لتوقيع لامبورت (التوقيع لمرة واحدة)

دعنا نلقي نظرة فاحصة على الرياضيات الكامنة وراء توقيع لامبورت. لنفترض أن دالة التجزئة هي $H: \{0, 1\}^* \to \{0, 1\}^{256}$.

【توليد المفاتيح】 تستخدم أليس (المرسل) مولد أرقام عشوائية حقيقي (TRNG) لإنشاء 256 زوجًا من المفاتيح الخاصة.

$$ \text{sk}_{i,0} \in \{0, 1\}^{256}, \quad \text{sk}_{i,1} \in \{0, 1\}^{256} \quad (1 \le i \le 256) $$

وبالتالي، يتكون المفتاح الخاص $\text{sk}$ من 512 سلسلة نصية بحجم 256 بت (الحجم: $512 \times 32 = 16,384$ بايت).

بعد ذلك، يتم حساب المفتاح العام $\text{pk}$. يتم تجزئة كل مكون من مكونات المفتاح الخاص على حدة.

$$ \text{pk}_{i,0} = H(\text{sk}_{i,0}), \quad \text{pk}_{i,1} = H(\text{sk}_{i,1}) $$

يبلغ حجم المفتاح العام أيضًا $16,384$ بايت. يتم نشر هذا على شبكة البلوكتشين.

【توليد التوقيع】 لتوقيع بيانات المعاملة $M$، تقوم أليس أولاً بحساب قيمة التجزئة الخاصة بها.

$$ h = H(M) \in \{0, 1\}^{256} $$

لنفترض أن البت $i$ من قيمة التجزئة $h$ هو $h_i \in \{0, 1\}$. سيكون توقيع أليس $\sigma$ عبارة عن مجموعة من مكونات المفتاح الخاص المقابلة لكل بت $h_i$.

$$ \sigma = (\text{sk}_{1, h_1}, \text{sk}_{2, h_2}, \dots, \text{sk}_{256, h_{256}}) $$

بعبارة أخرى، إذا كان بت تجزئة الرسالة هو 0، فسيتم الكشف عن $\text{sk}_{i,0}$، وإذا كان 1، فسيتم الكشف عن $\text{sk}_{i,1}$. سيكون حجم التوقيع $256 \times 32 = 8,192$ بايت.

【التحقق من التوقيع】 يقوم المُعدِّن (المدقق) بالتحقق باستخدام المعاملة المستلمة $M$ والتوقيع $\sigma = (s_1, s_2, \dots, s_{256})$ والمفتاح العام $\text{pk}$. يعيد حساب تجزئة المعاملة $h = H(M)$ ويتحقق مما إذا كانت تجزئة كل $s_i$ تتطابق مع العنصر المقابل في المفتاح العام $\text{pk}_{i, h_i}$.

$$ H(s_i) \overset{?}{=} \text{pk}_{i, h_i} \quad (\text{for all } 1 \le i \le 256) $$

هذه العملية بسيطة للغاية من الناحية الرياضية، ومن المستحيل تزوير التوقيع ما لم يتمكن الكمبيوتر الكمي من إجراء حساب عكسي لـ $H$. ومع ذلك، بمجرد توقيع رسالة، يتم الكشف عن نصف المفتاح الخاص للشبكة. إذا تم استخدام نفس زوج المفاتيح لتوقيع رسالة أخرى، فإن المفاتيح الخاصة المكشوفة ستجتمع لمنح المهاجم فرصة للتزوير. لذلك، هناك قيد قوي بأنه لا يمكن استخدامه إلا “لمرة واحدة” (One-Time). لجعل هذا عمليًا، تم تطوير تقنيات مثل XMSS، التي تستخدم شجرة ميركل لربط العديد من مفاتيح المرة الواحدة بمفتاح عام جذري واحد، و SPHINCS+ عديمة الحالة. ومع ذلك، هناك عيب يتمثل في أن حجم التوقيع يصل إلى عشرات الكيلوبايتات.

4.2. التشفير المستند إلى الشبكية (Lattice-Based Cryptography)

حاليًا، يُتوقع أن يكون التشفير المستند إلى الشبكية هو التيار الرئيسي لـ PQC، وقد تم تبنيه كمعيار رئيسي لـ NIST (مثل FIPS 204: ML-DSA / CRYSTALS-Dilithium سابقًا، و Falcon).

يعتمد أمان التشفير الشبكي على مشكلات يصعب حلها رياضيًا وتم إثباتها، مثل “مشكلة المتجه الأقصر في الشبكات متعددة الأبعاد (SVP: Shortest Vector Problem)” و “التعلم مع الأخطاء (LWE: Learning With Errors)”. لم يتم اكتشاف خوارزميات فعالة لحل مشاكل الشبكية حتى باستخدام أجهزة الكمبيوتر الكمية.

النموذج الرياضي لـ LWE (التعلم مع الأخطاء): الفكرة الأساسية وراء مشكلة LWE هي أن إضافة “ضوضاء صغيرة (خطأ)” متعمدة إلى نظام من المعادلات الخطية يجعل المشكلة صعبة للغاية. لنفترض أن المتجه السري هو $\mathbf{s} \in \mathbb{Z}_q^n$. يوجد مصفوفة عامة ضخمة تم اختيارها عشوائيًا $\mathbf{A} \in \mathbb{Z}_q^{m \times n}$ ومتجه ضوضاء صغير يضاف عن قصد $\mathbf{e} \in \mathbb{Z}_q^m$. يتم حساب المفتاح العام $\mathbf{b}$ على النحو التالي:

$$ \mathbf{b} = \mathbf{A}\mathbf{s} + \mathbf{e} \pmod{q} $$

حتى لو كانت المصفوفة $\mathbf{A}$ والمتجه $\mathbf{b}$ (المفتاح العام) عامين، فإن حساب المفتاح السري $\mathbf{s}$ منهما يصبح صعبًا جدًا بسبب وجود الضوضاء $\mathbf{e}$. بدون الضوضاء، يمكن حلها ببساطة باستخدام الحذف الغاوسي، ولكن مع الضوضاء، تتوسع مساحة البحث في جميع الأبعاد بشكل انفجاري، مما يوفر أمانًا قويًا ضد كل من أجهزة الكمبيوتر الكلاسيكية والكمية. في الخوارزميات الفعلية المستخدمة في البلوكتشين (مثل Dilithium)، يتم استخدام هذا المفهوم موسعًا على الحلقات متعددة الحدود كـ Ring-LWE (أو Module-LWE)، مما يؤدي إلى تقليل حجم المفتاح وتسريع العمليات الحسابية.

المزايا: بالمقارنة مع التوقيعات المستندة إلى التجزئة، فإن أحجام المفتاح العام والتوقيع صغيرة نسبيًا (بضعة كيلوبايتات)، وسرعة توليد التوقيع والتحقق منه سريعة للغاية (مكافئة أو أفضل من ECDSA).
العيوب: الهيكل الرياضي معقد، وفترة التحقق التاريخية قصيرة، لذا فإن خطر اكتشاف خوارزمية فك تشفير جديدة في المستقبل ليس صفراً.

5. التحديات التقنية في انتقال البلوكتشين إلى PQC

مجرد وجود خوارزميات PQC (مثل Dilithium و SPHINCS+) لا يعني أنه يمكن تقديمها إلى البيتكوين أو الإيثريوم غدًا. هناك عدد من التحديات الخطيرة الخاصة بالأنظمة اللامركزية.

5.1. تضخم حجم التوقيع وانهيار قابلية التوسع

العائق الأكبر أمام اعتماد PQC هو التضخم الهائل في حجم البيانات. بينما يبلغ حجم توقيع ECDSA الحالي حوالي 70 بايت، فإن حجم التوقيع في تشفير الشبكية Dilithium (ML-DSA) يتراوح من حوالي 2,420 بايت إلى 4,595 بايت (اعتمادًا على مستوى الأمان)، ويتجاوز حجم المفتاح العام أيضًا 1,300 بايت. أما بالنسبة لـ SPHINCS+ القائم على التجزئة، فإن التوقيع وحده يصل إلى عشرات الآلاف من البايتات.

إذا قدمت البيتكوين PQC بنفس الحد الأقصى الحالي لحجم الكتلة (حوالي 4 ميغابايت وزن مع SegWit)، فإن عدد المعاملات التي يمكن تخزينها في كتلة واحدة سينخفض بشكل حاد. ستنخفض إنتاجية الشبكة (TPS: المعاملات في الثانية) بشكل مدمر، وسيصبح ازدحام التحويلات هو الوضع الطبيعي. لحل هذه المشكلة، ستكون هناك حاجة إلى زيادة كبيرة في حجم الكتلة، ولكن هذا سيزيد من متطلبات التخزين وعرض النطاق الترددي للشبكة للعقد الكاملة (Full Nodes)، مما سيجعل تشغيل العقد الفردية أمرًا صعبًا، وسيؤدي في النهاية إلى معضلة المركزية في الشبكة.

pie title "مقارنة أحجام بيانات التوقيع في البلوكتشين (رسم توضيحي)" "ECDSA (حوالي 70 بايت)" : 2 "Dilithium ML-DSA (حوالي 2500 بايت)" : 58 "SPHINCS+ (حوالي 17000 بايت)" : 40

(※ تضخم بيانات المعاملات بسبب تقديم PQC سيكون بمثابة عنق زجاجة قاتل لقابلية التوسع)

5.2. التأثير على آلة الإيثريوم الافتراضية (EVM) والعقود المترجمة مسبقًا

في منصات العقود الذكية مكتملة تورنغ (Turing-complete) مثل الإيثريوم، يتطلب تقديم PQC ترقية أساسية لـ EVM (آلة الإيثريوم الافتراضية). في EVM الحالية، يتوفر عقد مترجم مسبقًا (Precompiled Contract) يسمى ecrecover (في العنوان: 0x01) للتحقق من توقيعات ECDSA، وهو مُحسَّن للسماح بالتحقق من التوقيع بتكلفة غاز منخفضة للغاية (3000 غاز).

ومع ذلك، فإن عملية التحقق الخاصة بخوارزميات تشفير الشبكية الجديدة مثل Dilithium أو Falcon تتضمن عمليات معقدة لمتعددات الحدود والمصفوفات. إذا تم تنفيذها باستخدام أكواد عمليات EVM (Opcodes) الحالية فقط، فقد يستهلك التحقق من توقيع واحد ملايين إلى عشرات الملايين من الغاز. هذا المستوى يمكن أن يستنفد الحد الأقصى لغاز الكتلة الحالي (حوالي 30 مليون غاز) في معاملة واحدة.

لتجنب ذلك، من الضروري دمج عقد جديد مترجم مسبقًا للتحقق من PQC (على سبيل المثال: تعيين DilithiumVerify إلى 0x10) في EVM نفسها من خلال هارد فورك (Hard Fork) للشبكة. سيتطلب هذا عملية طويلة المدى يتعاون فيها المطورون الأساسيون لمختلف عملاء الإيثريوم (Geth و Nethermind و Erigon وما إلى ذلك) لتنفيذ منطق التحقق من تشفير الشبكية الأمثل بلغات مثل C++ و Go و Rust، وإجراء عمليات تدقيق أمني.

5.3. صعوبة التوافق عبر الهارد فورك (Hard Fork)

لتغيير خوارزمية التوقيع الأساسية، يعد إجراء هارد فورك (Hard Fork) لتحديث بروتوكول الشبكة بالكامل أمرًا لا غنى عنه. ومع ذلك، في المجتمعات التي تولي أهمية كبيرة لـ “عدم تغيير القواعد واللامركزية” مثل مجتمع البيتكوين، تكون عملية تحقيق التوافق صعبة للغاية من الناحية السياسية. من المحتمل أن تمر عدة سنوات من المناقشات والاختبارات من وقت اقتراح مقترح تحسين البيتكوين (BIP) المتعلق بالانتقال إلى PQC حتى تنفيذه.

6. متى سيأتي “يوم Q”؟ خريطة الطريق نحو الانتقال

متى سيأتي “اليوم الذي ستتمكن فيه الحواسيب الكمية من فك تشفير المنحنى الإهليلجي ذو 256 بت بالكامل (Q-Day)"؟ تختلف الآراء بين الباحثين، لكن العديد من الخبراء يتوقعون ظهور حواسيب كمية واسعة النطاق تحتوي على آلاف إلى عشرات الآلاف من الكيوبتات المنطقية المستقرة (كيوبتات مصححة الأخطاء ومقاومة للضوضاء) “من منتصف الثلاثينيات إلى الأربعينيات من القرن الحادي والعشرين”. ومع ذلك، واستنادًا إلى الاختراقات المحتملة في بنية الأجهزة أو اكتشاف خوارزميات كمية أكثر كفاءة، لا يمكن استبعاد احتمال أن يأتي هذا اليوم في وقت أبكر (حوالي عام 2030).

فيما يلي خريطة الطريق التي يجب أن يتخذها النظام البيئي للأصول المشفرة قبل فوات الأوان:

المرحلة 1: التوقيعات الهجينة وتجريد الحساب (من الآن وحتى حوالي عام 2028)

في عالم البلوكتشين الحالي، وخاصة مطوري الإيثريوم (مثل فيتاليك بوتيرين)، يدرسون استخدام “التوقيعات الهجينة” التي تجمع بين ECDSA و PQC (التوقيعات المستندة إلى التجزئة أو التشفير الشبكي). هذا نهج يتم فيه إرفاق كل من توقيع ECDSA الآمن الحالي وتوقيع PQC بالمعاملة، بحيث تظل المعاملة آمنة حتى لو تم اختراق أحدهما. بالإضافة إلى ذلك، من خلال استخدام تجريد الحساب (Account Abstraction, ERC-4337)، هناك جهود جارية لتنفيذ ودعم توقيعات PQC على محافظ العقود الذكية على أساس اختيار المستخدم (Opt-in) دون انتظار هارد فورك على مستوى البروتوكول.

المرحلة 2: استخدام إثبات المعرفة الصفرية (ZK-Rollups) (2025 وما بعده)

ورقة رابحة متوقعة لحل نقطة الضعف الأكبر في PQC، وهي “تضخم بيانات التوقيع”، تتمثل في استخدام ZK-Rollups (إثبات المعرفة الصفرية)، وهي تقنية الطبقة الثانية (Layer 2). بدلاً من كتابة بيانات توقيع PQC الضخمة مباشرة على الطبقة الأولى (Layer 1 - السلسلة الرئيسية)، يتم التحقق من وتجميع العديد من معاملات PQC على الطبقة الثانية. بعد ذلك، باستخدام ZK-SNARKs أو ZK-STARKs، يتم ضغطها في “بيانات إثبات” (Proof) صغيرة جدًا وتسجيلها على الطبقة الأولى. وتجدر الإشارة إلى أن بعض هياكل SNARKs (مثل Groth16) بحد ذاتها عرضة للكم، لذا فإن الاعتماد على ZK-STARKs، الذي يعتمد فقط على دوال التجزئة المقاومة للكم، سيكون هو المفتاح.

المرحلة 3: الهارد فورك على مستوى البروتوكول (حوالي عام 2030)

بمجرد ترسيخ التوحيد القياسي لـ PQC من قبل NIST بشكل كامل واختبار مكتبات معايير الصناعة بشكل كافٍ، من المتوقع أن يتم تنفيذ هارد فورك للانتقال بالكامل إلى PQC كطريقة توقيع افتراضية على السلاسل الرئيسية مثل Bitcoin و Ethereum. خلال هذه الفترة الانتقالية، ستكون هناك إعلانات ضخمة تحث المستخدمين على “نقل الأموال من المحافظ القديمة إلى المحافظ الجديدة المتوافقة مع PQC”.

أمثلة على المشاريع الرائدة

استبقت بعض مشاريع البلوكتشين هذا التهديد الكمي وتم تطويرها بمقاومة الكم منذ البداية.

QRL (Quantum Resistant Ledger): بلوكتشين مبكر يطبق محليًا PQC مستند إلى التجزئة يسمى XMSS (مخطط توقيع ميركل الممتد) على مستوى البروتوكول.
Algorand / Cellframe: مشاريع تتميز ببنية تركيبية مرنة لطبقة التشفير تحسبًا لتحديثات PQC المستقبلية، وتبحث بنشاط عن دمج تشفير الشبكية.

7. الخاتمة: من أجل حماية مستقبل الأصول المشفرة وأصولنا

إن وصول “عصر ما بعد الكم” قد تجاوز عالم الخيال العلمي، ويقترب منا بالفعل كتحدٍ تقني ملموس يواجه أنظمة التشفير الحقيقية.

يهدد سيفا الحواسيب الكمية ذوا الحدين - خوارزمية شور وخوارزمية غروفر - تشفير المفتاح العام ودوال التجزئة، وهما أساس البلوكتشين الحالي، على التوالي. على وجه الخصوص، يعد ضعف ECDSA أمرًا قاتلًا، والانتقال إلى التشفير ما بعد الكمي (PQC) أمر لا مفر منه على الإطلاق لتجنب خطر سرقة الأموال من خلال هجمات الجري الاستباقي.

ومع ذلك، فإن عالم التكنولوجيا ومجتمع البلوكتشين لا ينتظران الدمار مكتوفي الأيدي. يتقدم اختيار وتوحيد خوارزميات PQC مثل التشفير الشبكي والتوقيعات المستندة إلى التجزئة بثبات، وبدأنا نرى طريقًا للتغلب على العقبة الأكبر لاعتماد PQC، وهي “تضخم حجم البيانات”، من خلال الاستفادة من إثباتات المعرفة الصفرية (ZK-STARKs) وتقنيات توسع الطبقة الثانية.

لا داعي للمستخدمين والمستثمرين العاديين للأصول المشفرة للذعر وبيع جميع أموالهم الآن. ومع ذلك، من المهم أن يكون لديهم المعرفة الأساسية والوعي بالدفاع عن النفس على النحو التالي:

تجنب إعادة استخدام العناوين: من منظور الخصوصية والأمان على حد سواء، تأكد من عدم تخزين الأموال لفترات طويلة في “العناوين المستخدمة (العناوين التي تم إرسال الأموال منها ولو مرة واحدة، مما أدى إلى كشف المفتاح العام على البلوكتشين)”.
الانتباه إلى الاتجاهات التقنية: كن على اطلاع دائم بمقترحات تحسين الشبكات الرئيسية (مثل BIP للبيتكوين و EIP للإيثريوم)، وأخبار الهارد فورك المتعلقة بالانتقال إلى PQC، حتى تتمكن من ترحيل محافظك بشكل صحيح عند الحاجة.

تاريخ البلوكتشين هو دائمًا تاريخ من الترقيات والمرونة في مواجهة التهديدات التقنية الجديدة. تمامًا كما تم التغلب على مشاكل قابلية التوسع والمشاكل البيئية (مثل الانتقال من PoW إلى PoS)، فإن النظام البيئي بأكمله سيبحث بلا شك عن حلول ويتكيف مع هذا التهديد الكمي غير المسبوق. نأمل في مستقبل حيث حكمة البشرية الجديدة، المتمثلة في الحواسيب الكمية، وتكنولوجيا الثقة، المتمثلة في دفاتر الأستاذ الموزعة اللامركزية، لا تدمر بعضها البعض من خلال التصادم، بل تتسامى إلى نظام قوي مدمج في مستوى أعلى.

المراجع والروابط ذات الصلة:

National Institute of Standards and Technology (NIST) - Post-Quantum Cryptography Standardization Project
Shor, P. W. (1994). Algorithms for quantum computation: discrete logarithms and factoring.
Grover, L. K. (1996). A fast quantum mechanical algorithm for database search.
Buterin, V. (2024). How to hard-fork to save most users’ funds in a quantum emergency.

شرح مبسط للفرق بين التلدين الكمي ونموذج البوابة الكمومية

Fri, 11 Sep 2026 12:00:00 +0900

شرح مبسط للفرق بين التلدين الكمي ونموذج البوابة الكمومية

الحوسبة الكمومية هي الجيل القادم من تقنيات الحوسبة التي تمتلك القدرة على حل مشاكل معينة بشكل أسرع بكثير باستخدام مبادئ ميكانيكا الكم (التراكب والتشابك الكمومي)، والتي قد تستغرق أجهزة الكمبيوتر الكلاسيكية الحديثة (بما في ذلك الحواسيب الفائقة التقليدية) وقتاً هائلاً لحسابها.

حاليًا، هناك نموذجان رئيسيان كنهج لتحقيق أجهزة الكمبيوتر الكمومية: “التلدين الكمي (Quantum Annealing)” و “نموذج البوابة الكمومية (Quantum Gate Model)”. يختلف هذان النموذجان بشكل كبير في النهج الفيزيائي الأساسي، والمهام الحسابية التي يتفوقان فيها، وتحديات الأجهزة في التنفيذ.

في هذه المقالة، سنقوم بمقارنة وشرح هذين النموذجين بدقة من منظور فني وتقني مفصل للغاية، بدءًا من المبادئ الفيزيائية، والنماذج الرياضية (نموذج إيزينج، QUBO، التحويل الوحدوي، إلخ)، والقيود التقنية الحالية، وصولاً إلى حالات الاستخدام المحددة.

1. أساسيات الحوسبة الكمومية: الاختلاف الجذري عن الحواسيب الكلاسيكية

تعالج أجهزة الكمبيوتر الكلاسيكية المعلومات كـ “بتات (Bits)” تأخذ إحدى الحالتين “0” أو “1”. من ناحية أخرى، تستخدم أجهزة الكمبيوتر الكمومية “البتات الكمومية (Qubits)”. يمكن للبت الكمومي أن يمتلك حالتي 0 و 1 في وقت واحد احتماليًا بفضل مبدأ “التراكب (Superposition)” في ميكانيكا الكم.

علاوة على ذلك، من خلال الاستفادة من ظاهرة تسمى “التشابك الكمومي (Entanglement)"، تصبح حالات البتات الكمومية المتعددة مترابطة بقوة مع بعضها البعض، بحيث تؤثر العملية على بت كمومي واحد بشكل فوري على النظام بأكمله. وهذا يتيح معالجة الحسابات المتوازية (التوازي الكمومي).

ومع ذلك، فإن الحالات الكمومية حساسة للغاية للضوضاء الخارجية (مثل الحرارة والموجات الكهرومغناطيسية)، وتعد ظاهرة “فك الترابط (Decoherence)"، حيث تنهار الحالة وتعود إلى الحالة الكلاسيكية، تحديًا كبيرًا. الاختلاف في النهج للتعامل مع مشكلة الضوضاء هذه أدى إلى اختلافات كبيرة في فلسفة التصميم بين التلدين ونموذج البوابة.

2. تفاصيل التلدين الكمي (Quantum Annealing)

التلدين الكمي هو بنية حاسوبية متخصصة تركز بشكل أساسي على حل “مشاكل التحسين التوافقي (Combinatorial Optimization Problems)”. يعتمد على النظرية التي اقترحها هيديتوشي نيشيموري ومامبي كادواكي من معهد طوكيو للتكنولوجيا في عام 1998، وأصبح معروفًا على نطاق واسع عندما قامت شركة D-Wave Systems الكندية بتسويقه لأول مرة في العالم.

2.1. الآلية الفيزيائية: نموذج إيزينج للمجال المستعرض والتقلبات الكمومية

يستفيد التلدين الكمي في الحساب من طبيعة الأنظمة الفيزيائية في العالم الطبيعي التي تميل إلى الاستقرار في “أدنى حالة طاقة (الحالة الأرضية - Ground State)”.

في النهج الكلاسيكي المسمى “التلدين المحاكى (Simulated Annealing)"، تُستخدم التقلبات الحرارية للهروب من الحل الأمثل المحلي (Local Minimum). بالمقابل، يستخدم التلدين الكمي “التقلبات الكمومية (Quantum Fluctuation)” للتسلل عبر حواجز الطاقة من خلال “النفق الكمومي (Quantum Tunneling)"، مما يتيح استكشافًا أكثر كفاءة للحل الأمثل العالمي (Global Minimum).

يوصف التطور الزمني لنظام التلدين الكمي بواسطة الهاميلتونيان (مؤثر يمثل إجمالي طاقة النظام) $H(t)$ التالي:

$$ H(t) = A(t) H_0 + B(t) H_P $$

حيث $t$ هو الوقت، $A(t)$ هي دالة تتناقص تدريجيًا، و $B(t)$ هي دالة تتزايد تدريجيًا.

$H_0$ (الهاميلتونيان الأولي): يمثل المجال المستعرض (Transverse field) ويولد التقلبات الكمومية. $$ H_0 = - \sum_{i} \sigma_i^x $$ ($\sigma_i^x$ هي مصفوفة باولي X، وتمثل قلب البت.)
$H_P$ (هاميلتونيان المشكلة): نموذج إيزينج (Ising Model) الذي يمثل مشكلة التحسين المراد حلها.

في الحالة الأولية ($t=0$)، يكون $A(0)$ في حده الأقصى، ويكون النظام في الحالة الأرضية لـ $H_0$ (حالة تتراكب فيها جميع الحالات بالتساوي). من هناك، يتم تقليل المجال المستعرض ببطء مع مرور الوقت، وفي الوقت نفسه يتم زيادة تفاعلات هاميلتونيان المشكلة.

2.2. الحوسبة الكمومية الأديباتية (Adiabatic Quantum Computation)

ما يهم في هذه العملية هو “النظرية الأديباتية (Adiabatic Theorem)”. وفقًا للنظرية الأديباتية، إذا تم تغيير النظام “ببطء كافٍ (أديباتيًا)"، فسيظل النظام دائمًا في الحالة الأرضية للهاميلتونيان اللحظي في ذلك الوقت.

بمعنى آخر، عندما يصبح $A(t) \to 0$ و $B(t) \to 1$ في النهاية، يكون النظام قد وصل إلى الحالة الأرضية لـ $H_P$، وهو ما يمثل “الحل الدقيق لمشكلة التحسين”.

graph TD A["هاميلتونيان H_0 (الحالة الأولية)"] -->|"تغيير أديباتي (بطيء بما يكفي)"| B["الحفاظ على الحالة الأرضية دائمًا"] A -->|"تغيير غير أديباتي (سريع جدًا / ضوضاء حرارية)"| C["الانتقال إلى حالة مثارة (خطأ)"] B --> D["هاميلتونيان H_P (الحل الأمثل العالمي)"] C --> E["الوقوع في فخ الحل الأمثل المحلي"] D --> F["قراءة الحل"] E --> F

2.3. التحويل من QUBO إلى نموذج إيزينج

لحل مشاكل العالم الحقيقي باستخدام المُلدّن الكمي، من الضروري صياغة المشكلة بصيغة QUBO (التحسين الثنائي التربيعي غير المقيد - Quadratic Unconstrained Binary Optimization).

تُعرّف الدالة الهدف لـ QUBO على النحو التالي:

$$ \min_{x \in \{0,1\}^n} \sum_{i} Q_{ii} x_i + \sum_{i < j} Q_{ij} x_i x_j $$

حيث $x_i \in \{0, 1\}$ هي متغيرات ثنائية، و $Q$ هي مصفوفة الأوزان.

نظرًا لأن الأجهزة (مثل D-Wave) تتعامل مع اللف المغزلي الفيزيائي (لأعلى / لأسفل)، يجب تحويل المتغيرات إلى نموذج إيزينج باستخدام $\sigma_i \in \{-1, +1\}$. معادلة التحويل هي كالتالي:

$$ x_i = \frac{1 - \sigma_i}{2} \quad \text{أو} \quad \sigma_i = 1 - 2x_i $$

باستبدال هذا في معادلة QUBO وتبسيطها، نحصل على هاميلتونيان نموذج إيزينج $H_P$.

$$ H_P = - \sum_{i

$J_{ij}$: التفاعل بين اللفات (معامل الاقتران). قوة الارتباط بين البتات الكمومية الفيزيائية.

$h_i$: المجال المغناطيسي المحلي (التحيز) لكل لف.

2.4. أجهزة وتحديات التلدين الكمي (مثال D-Wave)

تتحقق المعالجات الكمومية من D-Wave باستخدام أجهزة التداخل الكمومي فائق التوصيل (SQUID). يعتمد الترابط بين البتات الكمومية الفيزيائية على أسلاك الأجهزة، وهو ليس ترابطًا كاملاً (حيث تكون جميع البتات متصلة ببعضها البعض). تطورت من “رسم بياني كيميرا (Chimera graph)” الأولي إلى “بيغاسوس (Pegasus)” ثم “زيفير (Zephyr)"، مما أدى إلى تحسين درجة الترابط، ولكن لا تزال هناك قيود.

ولذلك، من الضروري إجراء عملية تُسمى “التضمين الثانوي (Minor Embedding)” لتعيين مشكلة ذات بنية رسومية معقدة على الرسم البياني الفيزيائي. ونتيجة لذلك، يتم تمثيل متغير منطقي واحد بواسطة بتات كمومية فيزيائية متعددة (سلسلة)، مما يقلل من العدد الفعلي للبتات الكمومية المتاحة ويؤدي إلى انخفاض دقة الحساب.

3. تفاصيل نموذج البوابة الكمومية (Quantum Gate Model)

نموذج البوابة الكمومية هو توسيع ميكانيكي كمومي للبوابات المنطقية الكلاسيكية (AND، OR، NOT، إلخ)، وهو بنية تتيح “الحوسبة الكمومية الشاملة (Universal Quantum Computation)”. تتبنى العديد من الشركات مثل IBM و Google و Rigetti و IonQ هذا النموذج.

3.1. التحويل الوحدوي ومتجه الحالة

في نموذج البوابة الكمومية، يتم تمثيل حالة نظام البتات الكمومية بأكمله كـ “متجه حالة (State Vector)” $|\psi\rangle$. يتم التعبير عن حالة بت كمي واحد كتركيبة خطية من الحالة الأساسية $|0\rangle$ و $|1\rangle$ على النحو التالي:

$$ |\psi\rangle = \alpha |0\rangle + \beta |1\rangle $$

حيث $\alpha$ و $\beta$ هي سعات احتمالية معقدة وتحقق $|\alpha|^2 + |\beta|^2 = 1$. يُمكن تصور هذه الحالة هندسيًا كنقطة على “كرة بلوخ (Bloch Sphere)”.

توصف خطوات الحساب الكمومي بأنها تطبيق لمؤثر وحدوي (Unitary Operator) $U$ على متجه الحالة. تمتلك المصفوفة الوحدوية خاصية $U^\dagger U = I$ (حاصل ضربها في مرافقها الهرميتي يساوي مصفوفة الوحدة)، وهي عملية قابلة للعكس تتوافق مع التطور الزمني في معادلة شرودنغر في ميكانيكا الكم.

$$ |\psi_{t+1}\rangle = U_t |\psi_t\rangle $$

3.2. البوابات الكمومية الأساسية ونموذج الدائرة

تُصمم الخوارزميات الكمومية كسلسلة من البوابات الكمومية (دوائر كمومية).

بوابات باولي (X, Y, Z): دوران بمقدار 180 درجة حول كل محور في كرة بلوخ. تعادل بوابة X بوابة NOT الكلاسيكية.
بوابة هادامارد (H): تحول $|0\rangle$ إلى $\frac{|0\rangle + |1\rangle}{\sqrt{2}}$، مما يخلق حالة تراكب. $$ H = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix} $$
بوابة CNOT (Controlled-NOT): بوابة ببتين كموميين. يتم تطبيق بوابة X على بت الهدف فقط عندما يكون بت التحكم $|1\rangle$. ينتج عن هذا تشابك كمومي (Entanglement).

يمكن التعبير عن أي خوارزمية كمومية تقريبًا من خلال مجموعة صغيرة من بوابات البت الكمومي الواحد وبوابات CNOT (مجموعة بوابات شاملة).

graph LR Q0["بت كمومي 0: |0>"] --> H1["بوابة هادامارد (H)"] Q1["بت كمومي 1: |0>"] --> I1["عملية متطابقة (I)"] H1 --> C1["بت التحكم (Control)"] I1 --> T1["بت الهدف (Target)"] C1 -. "تشابك" .- T1 C1 --> M0["قياس (Measurement)"] T1 --> M1["قياس (Measurement)"] M0 --> Result["نتيجة كلاسيكية (0 أو 1)"] M1 --> Result

3.3. تصحيح الأخطاء والطريق من NISQ إلى FTQC

التحدي الأكبر لنموذج البوابة الكمومية هو “فك الترابط”، حيث تُدمر الحالات الكمومية بسبب الضوضاء. تتراكم الأخطاء كلما زاد عمق خطوات الحساب (عمق البوابة).

لإجراء حسابات مثالية، يعتبر تصحيح الأخطاء الكمومية (Quantum Error Correction) أمرًا لا غنى عنه. على سبيل المثال، في طرق مثل “الكود السطحي (Surface Code)"، يتم دمج بتات كمومية فيزيائية متعددة لتكوين “بت كمومي منطقي (Logical Qubit)” واحد خالٍ من الأخطاء. ومع ذلك، هناك حاجة لآلاف إلى عشرات الآلاف من البتات الكمومية الفيزيائية لإنشاء بت كمومي منطقي واحد، مما يؤدي إلى عبء إضافي هائل.

المرحلة التي نحن فيها حاليًا هي عصر أجهزة NISQ (الأجهزة الكمومية متوسطة الحجم وصاخبة - Noisy Intermediate-Scale Quantum)، والتي تتكون من عشرات إلى مئات البتات الكمومية بدون تصحيح للأخطاء. ما زلنا بحاجة إلى العديد من الإنجازات لتحقيق FTQC (الحوسبة الكمومية المتسامحة مع الأخطاء - Fault-Tolerant Quantum Computing) المزودة بتصحيح كامل للأخطاء.

4. ملخص المقارنة الفنية والرياضية

نقارن الاختلافات الأساسية بين البنيتين:

عنصر المقارنة	التلدين الكمي (Quantum Annealing)	نموذج البوابة الكمومية (Gate Model)
نموذج الحساب	حساب كمومي أديباتي (تطور زمني مستمر للهاميلتونيان)	تحويل وحدوي (سلسلة منفصلة من عمليات البوابة)
المشكلات المناسبة	مشكلات التحسين التوافقي (QUBO، نموذج إيزينج)	عالمي (محاكاة الكيمياء الكمومية، التحليل إلى عوامل، البحث، إلخ)
القدرة التعبيرية	تحسين إرشادي (حلول تقريبية)	مكافئ لآلة تورنغ الكمومية الشاملة (جميع الحسابات ممكنة نظريًا)
أمثلة على التنفيذ	D-Wave Systems	IBM, Google, Quantinuum, IonQ وغيرها
التسامح مع الضوضاء	قوي نسبيًا (يبقى بالقرب من الحالة الأرضية، لذا يمكن تحمل بعض الضوضاء الحرارية)	ضعيف جدًا (ضوضاء طفيفة تسبب انزياح الطور وتدمر نتائج الحساب)
قابلية التوسع	مقياس الآلاف إلى عشرات الآلاف من البتات الكمومية (يعتمد على البنية الفيزيائية. البتات المنطقية صعبة)	مقياس مئات البتات الكمومية (مطلوب مقياس الملايين من أجل FTQC)

يناسب التلدين الكمي كـ “معالج مساعد لغرض محدد” حل مشكلات التحسين بشكل يكمل حدود أجهزة الكمبيوتر الكلاسيكية. من ناحية أخرى، فإن نموذج البوابة الكمومية هو النسخة الكمومية من “الكمبيوتر للأغراض العامة”، ويهدف في النهاية إلى تجاوز القدرات الحسابية لأجهزة الكمبيوتر الكلاسيكية (التفوق الكمومي)، ولكن بناء أجهزته أمر بالغ الصعوبة.

5. القيود والتحديات الحالية

قيود التلدين الكمي

القيود على الترابط (Connectivity): بسبب التضمين الثانوي المذكور أعلاه، يزداد عدد البتات الكمومية الفيزيائية المطلوبة أضعافًا مضاعفة كلما زاد حجم المشكلة.
دقة المعاملات (Precision): تؤثر الأخطاء الفيزيائية عند إعداد معلمات تناظرية مثل $J_{ij}$ و $h_i$ على الأجهزة بشكل مباشر على جودة الحل.
درجة الحرارة والانتقال غير الأديباتي: نظرًا لأن درجة حرارة النظام ليست الصفر المطلق، فهناك احتمال للانحراف عن الحل الأمثل بسبب الإثارة الحرارية.

قيود نموذج البوابة الكمومية

زمن الترابط (Coherence Time): الوقت الذي يمكن فيه الحفاظ على الحالة الكمومية محدود للغاية، ويتراوح من بضعة ميكروثانية إلى بضع ميلي ثانية، ويكون عدد البوابات (عمق الدائرة) التي يمكن تنفيذها خلال ذلك الوقت مقيدًا بشدة.
دقة البوابة (Gate Fidelity): لا يزال معدل الخطأ في التشغيل للبوابات ذات البتات الكمومية المزدوجة (مثل CNOT) غير منخفض بشكل كافٍ (بشكل عام حوالي 99.x٪). لتحقيق FTQC، يجب رفع هذا إلى 99.99٪ أو أعلى.
الحجم الكمومي (Quantum Volume): يمثل توسيع نطاق قدرة الحوسبة الفعلية (الحجم الكمومي) - مع الأخذ في الاعتبار ليس فقط عدد البتات الكمومية ولكن أيضًا الترابط المتبادل ومعدلات الخطأ - التحدي الأكبر حاليًا.

6. حالات الاستخدام والخوارزميات المحددة

دعونا نلقي نظرة على مجالات التطبيق المحددة التي يتفوق فيها كل نموذج.

6.1. حالات استخدام التلدين الكمي

الخدمات اللوجستية والتوجيه: تحسين طرق التسليم للعديد من المركبات (تنوع في مشكلة البائع المتجول). البحث عن المسارات في الوقت الفعلي مع مراعاة الازدحام المروري.
الهندسة المالية: تحسين المحفظة الاستثمارية. البحث عن مجموعات الأسهم التي تزيد العوائد إلى أقصى حد مع تقليل المخاطر.
التعلم الآلي: اختيار الميزات (Feature Selection). استخراج مجموعة المتغيرات الأكثر مساهمة في التنبؤ من مجموعة بيانات ضخمة.
التصنيع: مشكلة جدولة الورشة في المصانع (أي آلة تعالج أي أجزاء وبأي ترتيب للحصول على أسرع نتيجة).

6.2. حالات استخدام نموذج البوابة الكمومية

محاكاة الكيمياء الكمومية: محاكاة حالات الطاقة للجزئيات والتفاعلات الكيميائية بدقة عالية.
التحليل إلى عوامل (خوارزمية شور): خوارزمية لتحليل الأعداد المركبة الضخمة إلى عوامل في وقت متعدد الحدود. إذا تم وضع ذلك موضع التنفيذ الفعلي، فسيتم كسر البنية التحتية لتشفير المفتاح العام مثل تشفير RSA الحالي، لذلك من المُلح الانتقال إلى التشفير ما بعد الكوانتوم (PQC).
بحث قواعد البيانات (خوارزمية غروفر): عند البحث عن بيانات مستهدفة من قاعدة بيانات غير مرتبة، تتطلب أجهزة الكمبيوتر الكلاسيكية خطوات $O(N)$، بينما يمكن لخوارزمية غروفر البحث في خطوات $O(\sqrt{N})$.

6.3. الخوارزميات الهجينة في عصر NISQ: VQE و QAOA

للتغلب على قيود الدوائر الكمومية الضحلة لأجهزة NISQ، جذبت “الخوارزميات الكمومية المتغيرة (Variational Quantum Algorithms)” الانتباه من خلال الجمع بين مزايا أجهزة الكمبيوتر الكمومية والكلاسيكية.

VQE (Variational Quantum Eigensolver): خوارزمية لإيجاد طاقة الحالة الأرضية للجزئيات. يتم تحضير الحالة الكمومية باستخدام دوائر كمومية ذات معلمات (Ansatz)، وتُقاس القيمة المتوقعة للطاقة $\langle \psi(\theta) | H | \psi(\theta) \rangle$. باستخدام هذه القيمة المتوقعة كدالة هدف، تُستخدم خوارزمية تحسين كلاسيكية (مثل الانحدار التدريجي) لتحديث المعلمات $\theta$. من خلال تكرار ذلك حتى التقارب، يتم إيجاد حالة الطاقة الدقيقة للجزيء.
QAOA (Quantum Approximate Optimization Algorithm): خوارزمية لحل مشكلات التحسين التوافقي باستخدام نموذج البوابة الكمومية. تقارب التطور الزمني الأديباتي للتلدين الكمي إلى عمليات بوابة منفصلة عن طريق “توسع تروتر (Trotterization)"، ونحصل على حل تقريبي عن طريق تطبيق الهاميلتونيان بالتناوب. يُتوقع أن تكون خوارزمية QAOA وسيلة واعدة لحل مشكلات التحسين باستخدام نموذج البوابة.

graph TD User["مشكلة المستخدم"] --> Formulation{"طبيعة المشكلة"} Formulation -- "تحسين توافقي" --> QA_Path["التلدين الكمي / آلة إيزينج"] QA_Path --> QUBO["صياغة QUBO"] QUBO --> DWave["التنفيذ على D-Wave"] Formulation -- "حساب كيميائي / حساب عام" --> Gate_Path["نموذج البوابة الكمومية"] Gate_Path --> Circuit["تصميم الدائرة الكمومية (VQE / QAOA)"] Circuit --> IBMGoogle["التنفيذ على أجهزة كمومية IBM / Google"]

7. الخلاصة

يستخدم كل من التلدين الكمي ونموذج البوابة الكمومية الخصائص الغامضة لميكانيكا الكم كمورد حسابي، ولكن نهجيهما وأهدافهما النهائية تختلف اختلافًا كبيرًا.

التلدين الكمي هو “محرك إرشادي متخصص” لتحقيق نتائج عملية في وقت مبكر لمشكلة حقيقية محددة هي التحسين التوافقي. في الوقت الحاضر، يتم إجراء العديد من تجارب إثبات المفهوم (PoC) بالفعل من قبل شركات مختلفة.
نموذج البوابة الكمومية هو “كمبيوتر كمومي للأغراض العامة” لديه القدرة على إحداث ثورة في نماذج علوم الكمبيوتر من جذورها، بدءًا من المحاكاة الدقيقة للفيزياء والكيمياء وصولاً إلى فك التشفير. ومع ذلك، يتطلب الأمر بحثًا وتطويرًا على المدى الطويل للتغلب على الجدار الضخم المتمثل في تصحيح الأخطاء.

في المستقبل، من المتوقع أن يتم بناء بيئة “حوسبة غير متجانسة (Heterogeneous Computing)”، حيث تكون أجهزة الكمبيوتر الفائقة الكلاسيكية (HPC) في جوهرها، مع استدعاء آلة تلدين لمهام التحسين وجهاز كمبيوتر كمومي قائم على البوابات لحسابات الكيمياء الكمومية.

لا تزال الحوسبة الكمومية تقنية قيد التطوير، لكنها تتقدم بسرعة في كل من الأجهزة والخوارزميات. إن فهم رياضيات نموذج إيزينج وأساسيات الدوائر الكمومية سيكون سلاحًا عظيمًا للاستعداد للعصر الكمومي الأصيل القادم.

تشرح هذه المقالة بشكل شامل كل شيء من المفاهيم الأساسية للحوسبة الكمومية إلى أحدث اتجاهات الأجهزة. يرجى الاستمرار في متابعة أحدث اتجاهات البحث في المستقبل.

【مخطط PQC】مقارنة بين الخوارزميات الرئيسية لتشفير ما بعد الكم

Fri, 11 Sep 2026 07:00:00 +0900

1. مقدمة: “أزمة التشفير” التي تجلبها الحواسيب الكمومية

في مجتمع الإنترنت الحديث، تعتبر تقنية تشفير المفتاح العام بنية تحتية لا غنى عنها لحماية سرية الاتصالات وسلامة البيانات. تعتمد خوارزميات التشفير المستخدمة على نطاق واسع حالياً، مثل تشفير RSA وتشفير المنحنى الإهليلجي (ECC)، على عوائق رياضية لضمان الأمان، وهي “صعوبة تحليل الأعداد المركبة الضخمة إلى عواملها الأولية” و"صعوبة مشكلة اللوغاريتم المنفصل على المنحنى الإهليلجي" على التوالي. بالنسبة للحواسيب الكلاسيكية (الحواسيب التي نستخدمها حالياً بما في ذلك الحواسيب الفائقة)، فقد ثبت أن حل هذه المشكلات الرياضية يتطلب وقتاً أطول من عمر الكون، وهذا هو أساس أمانها.

ومع ذلك، فإن هذا الافتراض القوي يوشك أن ينقلب رأساً على عقب بسبب التقدم في نظرية والتطبيق العملي لـ الحواسيب الكمومية. فـ “خوارزمية شور (Shor’s Algorithm)"، التي نشرها عالم التشفير بيتر شور (Peter Shor) في عام 1994، أثبتت نظرياً أنه عند تنفيذها على حاسوب كمومي عام يتحمل الأخطاء ذي أداء كافٍ (CRQC: حاسوب كمومي ذو صلة بالتشفير)، يمكن فك تشفير مشاكل التحليل إلى عوامل ومشاكل اللوغاريتم المنفصل في “وقت متعدد الحدود”. هذا يعني أن جميع أنظمة تشفير المفتاح العام المستخدمة حالياً ستصبح بلا جدوى.

graph TD A["حاسوب كمومي واسع النطاق (CRQC)"] -->|تنفيذ| B["خوارزمية شور"] B -->|فك التشفير في وقت متعدد الحدود| C["مشكلة التحليل إلى العوامل الأولية (RSA)"] B -->|فك التشفير في وقت متعدد الحدود| D["مشكلة اللوغاريتم المنفصل (ECC / ECDSA)"] C --> E["التنصت على الاتصالات المشفرة، والتلاعب بالبيانات، وانتحال الهوية"] D --> E F["خزّن الآن، وفك التشفير لاحقاً (SNDL)"] --> E

من الخطير جداً الاعتقاد بأنه “لا توجد مشكلة لأن الانتهاء الفعلي من تطوير الحواسيب الكمومية لا يزال أمامه عقود”. لأن أسلوب الهجوم المسمى خزّن الآن، وفك التشفير لاحقاً (SNDL: Store Now, Decrypt Later) قد أصبح بالفعل تهديداً واقعياً. هذا هجوم تقوم فيه دول معادية أو منظمات قراصنة بتخزين كميات هائلة من بيانات الاتصالات المشفرة الحالية (مثل حركة مرور TLS) في وسائط التخزين، وفك تشفيرها بالكامل بمجرد توفر حواسيب كمومية قوية في المستقبل. إن أسرار الدولة، ومعلومات البنية التحتية، والبيانات الطبية التي يجب حمايتها لفترات طويلة معرّضة بالفعل لهذا التهديد.

بالإضافة إلى ذلك، بالنسبة لتشفير المفتاح المتماثل (مثل AES) ودوال التجزئة (مثل SHA-256)، توجد خوارزمية غروفر (Grover’s Algorithm) المكتشفة في عام 1996. تؤدي هذه الخوارزمية إلى تقليل عبء الحساب لهجوم القوة الغاشمة (Brute-force attack) إلى الجذر التربيعي. بمعنى آخر، ينخفض مستوى الأمان لـ AES-128 فعلياً إلى النصف ليصبح 2 أس 64، لذلك يوصى باستخدام مفاتيح وأطوال تجزئة أطول في العصر الكمومي، مثل AES-256 و SHA-384.

ولمواجهة أزمة التشفير غير المسبوقة هذه، ظهر ما يسمى بـ تشفير ما بعد الكم (Post-Quantum Cryptography: PQC)، والذي يعتمد على مشكلات رياضية جديدة يصعب فك تشفيرها حتى باستخدام الحواسيب الكمومية. ستشرح هذه المقالة بتفصيل شديد الخوارزميات الرئيسية لـ PQC، بدءاً من خلفيتها الرياضية وآلياتها وصولاً إلى مقارنة هياكلها المعمارية، وذلك بناءً على نتائج عملية توحيد معايير PQC التي قادها المعهد الوطني للمعايير والتقنية (NIST) في الولايات المتحدة.

2. الصورة الكاملة وتاريخ مشروع توحيد معايير PQC من قبل NIST

يستغرق الانتقال في تكنولوجيا التشفير من بضع سنوات إلى عدة عقود، بما في ذلك إعادة تصميم البروتوكولات، وتحديث الأنظمة، واستبدال الأجهزة وغيرها. لذلك، بدأ علماء التشفير حول العالم في البحث في PQC منذ وقت مبكر. وقد لعب المعهد الوطني للمعايير والتقنية (NIST) في الولايات المتحدة الدور المركزي في ذلك. أعلن NIST في عام 2016 عن فتح باب تقديم المقترحات لعملية توحيد معايير PQC، وتلقى مقترحات لخوارزميات تشفير جديدة تماماً من مجتمع التشفير العالمي.

استهدفت عملية التوحيد الفئتين الرئيسيتين التاليتين:

تشفير المفتاح العام / آلية تغليف المفتاح (KEM: Key Encapsulation Mechanism): آلية لمشاركة (توزيع) مفتاح مشترك بأمان لتشفير مسار الاتصال، كما هو الحال في اتصالات TLS.
التوقيعات الرقمية (Digital Signatures): آلية لإثبات عدم تلاعب البيانات، وعدم انتحال هوية المرسل (الموثوقية)، وذلك في تحديثات البرامج والشهادات الرقمية.

بعد حوالي 6 سنوات من التقييم والتحليل المكثف ومنافسات فك التشفير (الجولة 1 إلى الجولة 3)، أجريت تقييمات إضافية في الجولة 4 لبعض الخوارزميات. ونتيجة لذلك، في عام 2024، تم إصدار الخوارزميات التالية رسمياً كمعايير معالجة المعلومات الفيدرالية (FIPS)، وتم تأكيدها كمعايير عالمية مستقبلية.

FIPS 203 (ML-KEM): آلية تغليف مفتاح (KEM) تعتمد على CRYSTALS-Kyber
FIPS 204 (ML-DSA): توقيع رقمي يعتمد على CRYSTALS-Dilithium
FIPS 205 (SLH-DSA): توقيع مبني على التجزئة عديم الحالة يعتمد على SPHINCS+
(مقرر صياغته مستقبلاً) FN-DSA: توقيع رقمي يعتمد على FALCON

تعتمد هذه الخوارزميات المختارة على “مشكلات الصعوبة” الرياضية المختلفة، مما يضمن التنوع (مرونة التشفير أو Crypto Agility) بحيث إذا تم اكتشاف ثغرة قاتلة في إحدى الخوارزميات في المستقبل، فلن ينهار النظام بأكمله. في عملية التوحيد القياسي، لعب التشفير الشبكي (Lattice-based cryptography) الدور الرئيسي من حيث الأداء، ولكن تم اعتماد التشفير المبني على التجزئة والتشفير المبني على الأكواد كبدائل قوية احتياطية.

3. تصنيف المناهج الرياضية الرئيسية لـ PQC

تُقسم خوارزميات PQC بشكل رئيسي إلى الفئات الخمس التالية بناءً على المشكلة الرياضية التي تشكل أساس أمانها. في هذه المقالة، سنتعمق بشكل خاص في الفئات الثلاث الأولى.

التشفير الشبكي (Lattice-based Cryptography): يعتمد على مشكلة المتجه الأقصر (SVP) ومشكلة المتجه الأقرب (CVP) في الفضاءات الشبكية متعددة الأبعاد، ومشكلة LWE المشتقة منها. وهو محور عملية التوحيد القياسي من NIST، ويشمل Kyber و Dilithium و FALCON. يتميز بأفضل توازن بين سرعة المعالجة وحجم المفتاح العام وحجم النص المشفر، وهو مناسب للاستخدام العام.
التشفير المبني على التجزئة (Hash-based Cryptography): يضع أساس أمانه حصرياً على “مقاومة الاصطدام” و"أحادية الاتجاه” لدوال التجزئة التشفيرية (مثل SHA-2 و SHAKE). قابل للتطبيق فقط على التوقيعات الرقمية (مثل SPHINCS+)، ولكن إثبات أمانه هو الأقوى، ويتميز بمقاومة عالية جداً للهجمات الرياضية غير المعروفة.
التشفير المبني على الأكواد (Code-based Cryptography): يعتمد على نظرية رموز تصحيح الأخطاء، ويرتكز على صعوبة مشكلة فك تشفير المتلازمة (Syndrome Decoding Problem). يعتبر Classic McEliece، المقترح في السبعينيات، المثال الأبرز عليه، ويتمتع بتاريخ طويل جداً وسجل حافل من الأمان، ولكن في المقابل، يكون حجم المفتاح العام كبيراً جداً ويقاس بالميغابايت.
تشفير متعدد الحدود متعدد المتغيرات (Multivariate Polynomial Cryptography): يعتمد على صعوبة حل أنظمة المعادلات التربيعية متعددة المتغيرات فوق الحقول المحدودة (مشكلة MQ). تم اقتراحه بشكل أساسي كتوقيعات رقمية (مثل Rainbow)، ولكن خلال الجولة النهائية لـ NIST، تم اكتشاف تقنية هجوم قوية تمكنت من فك تشفيره في غضون أيام قليلة باستخدام جهاز كمبيوتر شخصي واحد، مما أدى إلى خروج العديد من الخوارزميات من سباق التوحيد القياسي.
التشفير المبني على التماثلات (Isogeny-based Cryptography): يعتمد على مشكلة البحث عن مسار على رسوم بيانية للتماثلات (Isogeny) للمنحنيات الإهليلجية. حجم المفتاح صغير جداً، وكان يُتوقع أن يكون الخليط الشرعي لـ ECC، ولكن تم فك تشفير المرشح النهائي “SIKE” تماماً في بضع ساعات فقط على كمبيوتر شخصي عادي في عام 2022 باستخدام رياضيات كلاسيكية (مثل هجوم Castryck-Decru)، مما شكل نهاية درامية ترمز إلى صعوبة وخطورة تصميم PQC.

4. أعماق التشفير الشبكي: الأساس الرياضي لمشكلة LWE ومشكلة Module-LWE

التشفير الشبكي هو الأكثر ترجيحاً حالياً وأصبح محور عملية التوحيد القياسي. يكمن في أساس أمانه مشكلة LWE (Learning with Errors: مشكلة التعلم مع الأخطاء). اقترحها Oded Regev في عام 2005، وحصل على جائزة غودل (Gödel Prize) تقديراً لهذا الإنجاز الرائد. لا يمكن الحديث عن PQC الحديثة دون فهم مشكلة LWE.

4.1. ما هي مشكلة LWE (التعلم مع الأخطاء)

أولاً، دعونا ننظر في نظام بسيط من المعادلات الخطية المتزامنة. بافتراض أنه في ظل مقياس $q$ (modulo $q$)، لدينا مصفوفة عشوائية معروفة $A$، ومتجه سري مجهول $\vec{s}$، وأُعطينا حاصل ضربهما $\vec{b}$.

$$ \vec{b} = A\vec{s} \pmod q $$

في هذه الحالة، من السهل إيجاد $\vec{s}$ المجهول من المعلومات العامة $A$ و $\vec{b}$. باستخدام الخوارزمية الكلاسيكية “الحذف الغاوسي (Gaussian elimination)"، يمكن حساب $\vec{s}$ بسهولة في وقت متعدد الحدود.

ولكن، بإضافة “خطأ مقصود صغير (ضوضاء)” إلى هذه المعادلة، يرتفع مستوى صعوبة المشكلة بشكل كبير. هذه هي مشكلة LWE.

نقوم بتجهيز متجه سري مجهول $\vec{s} \in \mathbb{Z}_q^n$، ومصفوفة مختارة عشوائياً $A \in \mathbb{Z}_q^{m \times n}$. علاوة على ذلك، نقوم بإعداد متجه خطأ $\vec{e} \in \mathbb{Z}_q^m$ يتم اختياره وفقاً لتوزيع طبيعي أو توزيع ذي حدين حيث تكون “قيم العناصر صغيرة بما فيه الكفاية”، ونحسب $\vec{b}$ على النحو التالي.

$$ \vec{b} = A\vec{s} + \vec{e} \pmod q $$

مشكلة البحث في LWE (Search LWE) هي المشكلة المتمثلة في “إيجاد المعلومات السرية $\vec{s}$ من المعلومات العامة $(A, \vec{b})$”. بوجود هذا الخطأ $\vec{e}$، إذا حاولنا استخدام طرق حل جبرية مثل الحذف الغاوسي، فإن الخطأ $\vec{e}$ سيتضخم ككرة الثلج أثناء عملية جمع وطرح المعادلات، ليصبح في النهاية لا يمكن تمييزه عن القيم العشوائية وتفشل العملية.

عظمة مشكلة LWE تكمن في وجود إثبات نظري قوي (اختزال أو Reduction) ينص على أنه ما لم تكن هناك خوارزمية كمومية قادرة على حل مشكلات الصعوبة في أسوأ الحالات (Worst-case hardness) على الشبكات، مثل GapSVP (مشكلة أقصر متجه القرار) و SIVP (مشكلة أقصر متجهات مستقلة)، فلا يمكن حل مشكلة LWE أيضاً في الحالات المتوسطة (Average-case). بعبارة أخرى، حتى بالنسبة لمفاتيح التشفير التي تم إنشاؤها عشوائياً، يُضمن أن يكون لها أمان قوي مدعوم بحدود نظرية عُليا.

4.2. الكفاءة الدراماتيكية باستخدام Ring-LWE و Module-LWE

تعتبر مشكلة LWE العادية (Standard LWE) واضحة جداً في أساس أمانها، ولكنها ليست عملية لأن حجم المصفوفة $A$ يصبح كبيراً جداً، مما يجعل حجم المفتاح في نطاق الميغابايت. لذا، تم اقتراح نهج يستخدم حلقات متعددات الحدود (Polynomial Rings) لإعطائها بنية جبرية.

في مشكلة Ring-LWE، نستخدم عناصر (متعددات حدود) من حلقة متعددة حدود معينة $R_q$ بدلاً من مجرد متجهات أو مصفوفات. المعيار الشائع المستخدم في معايير NIST هو حلقة متعددة الحدود السيكلوتومية التالية:

$$ R_q = \mathbb{Z}_q[X]/(X^n + 1) $$

هنا، $n$ هي قوة للعدد 2 (مثال: 256)، و $q$ هو عدد أولي مناسب. على هذه الحلقة، باستخدام العناصر $a, s, e \in R_q$، نحسب $b = a \cdot s + e \pmod q$. نظراً لأن متعددة حدود واحدة $a$ تحتوي على $n$ من المعاملات، يمكن ضغط البيانات بشكل كبير. وعلاوة على ذلك، باستخدام إصدار الحقل المحدود من تحويل فورييه السريع (FFT) المسمى NTT (Number Theoretic Transform: تحويل نظرية الأعداد)، يمكن ضرب متعددات الحدود بسرعة فائقة بتعقيد حسابي قدره $O(n \log n)$.

ومع ذلك، كانت هناك مخاوف بشأن Ring-LWE من أنه “قد توجد ثغرات أمنية غير معروفة ناجمة عن البنية الجبرية الخاصة للحلقة”. بالإضافة إلى ذلك، عند تغيير مستوى الأمان (مثل ما يعادل AES-128 أو 192 أو 256)، كان يجب تغيير درجة متعددة الحدود $n$ نفسها، وكان هناك تحد هندسي يتمثل في ضرورة إعادة كتابة التنفيذ بأكمله، بما في ذلك خوارزمية NTT.

لذا، اعتمدت خوارزميات التوحيد القياسي Kyber و Dilithium مشكلة Module-LWE (M-LWE). تُعد مشكلة Module-LWE حلاً وسطاً يقع تماماً بين مشكلة LWE القياسية غير المنظمة ومشكلة Ring-LWE ذات البنية المفرطة، وتستخدم مصفوفة $k \times k$ (وحدة) مكونة من عناصر حلقة متعددات الحدود $R_q$.

$$ \vec{b} = A\vec{s} + \vec{e} \pmod{R_q} \quad (A \in R_q^{k \times k}, \vec{s}, \vec{e} \in R_q^k) $$

أكبر ميزة لـ Module-LWE هي أنه يسمح بسهولة بتوسيع نطاق مستويات الأمان ببساطة عن طريق تغيير بُعد المصفوفة $k$، مع الحفاظ على درجة متعددة الحدود $n$ ثابتة (في معيار NIST تكون $n=256$). على سبيل المثال، في حالة Kyber، يتم ضبط البعد $k$ كما يلي:

Kyber512 (المستوى 1): $k = 2$ (يعادل AES-128)
Kyber768 (المستوى 3): $k = 3$ (يعادل AES-192)
Kyber1024 (المستوى 5): $k = 4$ (يعادل AES-256)

وقد مكّن هذا من إعادة استخدام الكود الأساسي لـ NTT ودوائر الأجهزة الخاصة بعمليات متعددات الحدود بنسبة 100% في جميع مستويات الأمان، مما أدى إلى تحسين دراماتيكي في أمان وكفاءة التنفيذ.

5. CRYSTALS-Kyber (ML-KEM): آلية تغليف المفتاح من الجيل التالي

خوارزمية CRYSTALS-Kyber، التي تم توحيدها رسمياً كـ FIPS 203 (ML-KEM)، هي آلية تغليف مفتاح (KEM) تعتمد على مشكلة Module-LWE المذكورة أعلاه. وستصبح في المستقبل المعيار العالمي الفعلي لمشاركة مفاتيح الجلسة بأمان في بروتوكولات مثل TLS 1.3 و SSH.

5.1. بنية KEM (آلية تغليف المفتاح)

في عصر PQC، بدلاً من النهج المباشر كما في RSA حيث “يقوم العميل بإنشاء مفتاح مشترك وتشفيره بالمفتاح العام للخادم وإرساله”، سيصبح إطار عمل التغليف المعروف باسم KEM هو المعيار.

sequenceDiagram participant Client as "العميل (أليس)" participant Server as "الخادم (بوب)" Note over Client: "ML-KEM KeyGen()" Client->>Client: "إنشاء المفتاح السري (sk) والمفتاح العام (pk)" Client->>Server: "إرسال المفتاح العام (pk)" Note over Server: "ML-KEM Encaps()" Server->>Server: "إنشاء مفتاح مشترك عشوائي (K)" Server->>Server: "تغليف K باستخدام pk لإنشاء النص المشفر (c)" Server->>Client: "إرسال النص المشفر (c)" Note over Client: "ML-KEM Decaps()" Client->>Client: "فك تشفير النص المشفر (c) باستخدام المفتاح السري (sk)" Client->>Client: "فك التغليف واستخراج المفتاح المشترك (K)" Note over Client, Server: "بدء الاتصال المشفر مثل AES باستخدام المفتاح المشترك (K) المتبادل"

5.2. آلية الخوارزمية الداخلية لـ Kyber وتحويل فوجيساكي-أوكاموتو

تصميم Kyber راقٍ جداً. أولاً، يقوم ببناء نظام تشفير مفتاح عام (Kyber.CPAPKE) آمن فقط ضد هجمات CPA (هجوم النص الواضح المختار)، ثم يطبق تقنية تشفير قوية جداً تُعرف باسم تحويل فوجيساكي-أوكاموتو (Fujisaki-Okamoto Transform)، وبذلك يعتمد تصميماً يرقّيه إلى KEM كامل آمن حتى ضد هجمات CCA (هجوم النص المشفر المختار المتكيف).

فيما يلي آليات التشفير وفك التشفير الأساسية لـ CPAPKE:

إنشاء المفتاح (Key Generation):
- من قيمة بذرة عشوائية (seed)، يتم إنشاء مصفوفة $A \in R_q^{k \times k}$ في نطاق NTT. يُستخدم المقياس $q$ بقيمة $3329$.
- يتم أخذ عينات من توزيع ذي حدين مركزي (CBD) لإنتاج متجه سري $\vec{s}$ ومتجه خطأ $\vec{e}$ بمعاملات صغيرة.
- يتم حساب $\vec{t} = A\vec{s} + \vec{e}$. المفتاح العام هو $(A, \vec{t})$ والمفتاح السري هو $\vec{s}$. (عملياً، يتم نشر $A$ كقيمة بذرة لتوفير النطاق الترددي).
التشفير (Encryption):
- يتم تشفير الرسالة المكونة من 32 بايت (مواد المفتاح المشترك) $m$ المراد مشاركتها إلى متعددة حدود.
- يتم إنشاء متجه عشوائي جديد $\vec{r}$، وأخطاء صغيرة $\vec{e_1}, e_2$.
- يتم حساب $\vec{u} = A^T\vec{r} + \vec{e_1}$
- يتم حساب $v = \vec{t}^T\vec{r} + e_2 + \lfloor q/2 \rceil \cdot m$
- يكون النص المشفر هو $(\vec{u}, v)$.
فك التشفير (Decryption):
- يقوم المستلم بحساب $v - \vec{s}^T\vec{u}$.
- بتوسيع هذه المعادلة جبرياً نحصل على ما يلي: $v - \vec{s}^T\vec{u} = (\vec{t}^T\vec{r} + e_2 + \lfloor q/2 \rceil \cdot m) - \vec{s}^T(A^T\vec{r} + \vec{e_1})$
- بالتعويض بـ $\vec{t} = A\vec{s} + \vec{e}$، يتم إلغاء الحد الرئيسي $\vec{s}^TA^T\vec{r}$.
- يتبقى لدينا $\lfloor q/2 \rceil \cdot m + (\vec{e}^T\vec{r} + e_2 - \vec{s}^T\vec{e_1})$.
- نظراً لأن الحدود داخل الأقواس هي “حاصل ضرب ومجموع أخطاء صغيرة”، فإن قيمتها الإجمالية تظل قيمة صغيرة بما فيه الكفاية (ضوضاء). ولذلك، من خلال إجراء حكم عتبة بناءً على ما إذا كان كل معامل قريباً من $0$ أو قريباً من $q/2$، يمكن استعادة بتات الرسالة الأصلية $m$ (0 أو 1) بالكامل دون أي أخطاء.

أكبر نقطة قوة لـ Kyber هي سرعة المعالجة الفائقة وحجم المفتاح المعتدل. في حالة Kyber768، يبلغ حجم المفتاح العام 1,184 بايت، وحجم النص المشفر 1,088 بايت. وعلى الرغم من أنها أكبر مقارنةً بـ RSA-3072 (حجم المفتاح حوالي 384 بايت)، إلا أنه يمكن تضمينها ضمن وحدة الإرسال القصوى (MTU) لاتصالات الإنترنت الحديثة دون تجزئة الحزم، مما لا يؤثر تقريباً على زمن انتقال الشبكة.

6. CRYSTALS-Dilithium (ML-DSA): التوقيع الرقمي العام المبني على الشبكات

في عملية توحيد التوقيعات الرقمية، تنافست خوارزميات ذات فلسفات تصميمية مختلفة حتى ضمن نفس نهج التشفير الشبكي. ومن بينها، تم اختيار CRYSTALS-Dilithium كـ FIPS 204 (ML-DSA) ليكون التوقيع الرقمي للاستخدام العام.

6.1. نموذج فيات-شامير مع الإلغاء (Fiat-Shamir with Aborts)

Dilithium هو نظام توقيع رقمي يعتمد على Module-LWE (ومشكلة Module-SIS) مثل Kyber تماماً. ويُستخدم في أساس تصميمه نموذج مهم للغاية يُعرف باسم “نموذج فيات-شامير مع الإلغاء (Fiat-Shamir with Aborts)”.

تحويل فيات-شامير بحد ذاته هو تقنية قياسية لتحويل بروتوكول إثبات المعرفة الصفرية التفاعلي إلى توقيع رقمي غير تفاعلي. حيث يقوم المُثبِت (المُوقّع) بإنشاء التزام (Commitment) $y$، ويحسب $w = Ay$ ويمرره عبر دالة تجزئة للحصول على تحدٍ عشوائي $c$، ثم يحسب الاستجابة $z = y + cs$.

ولكن، عند تطبيق ذلك ببساطة في التشفير الشبكي، يتشوه توزيع الاستجابة $z$ اعتماداً على قيمة المفتاح السري $s$، وكانت هناك مشكلة قاتلة (تسريب رياضي يشبه القناة الجانبية) حيث تتسرب معلومات المفتاح السري $s$ تدريجياً إلى المهاجم الذي يراقب عدداً كبيراً من التوقيعات.

لحل ذلك، أدخل فريق تصميم Dilithium (ليوباشيفسكي وآخرون) تقنية “أخذ العينات بالرفض (Rejection Sampling)"، حيث يتم إجهاض (Abort) عملية التوقيع بأكملها إذا لم تقع معاملات نتيجة حساب التوقيع $z$ ضمن نطاق عتبة آمنة محددة مسبقاً، ويتم إعادة الحساب من البداية باستخدام رقم عشوائي جديد $y$.

ونتيجة لذلك، أصبح التوقيع النهائي المخرَج $z$ يمتلك توزيعاً موحداً تماماً لا يعتمد على الإطلاق على المفتاح السري، مما نجح في منع تسريب المعلومات رياضياً بالكامل.

6.2. مزايا Dilithium وسهولة تنفيذه

الميزة الكبيرة في تصميم Dilithium هي أنه لا يستخدم على الإطلاق عمليات معقدة مثل “أخذ العينات من توزيع غاوسي” أو “عمليات الفاصلة العائمة” في عملية إنشاء التوقيع. ونظراً لأنه يمكن تنفيذه فقط باستخدام أخذ العينات من توزيع موحد، وحسابات معاملات الأعداد الصحيحة البسيطة، و NTT، ودالة التجزئة (SHAKE)، فمن السهل تنفيذه بأمان وفي وقت ثابت (Constant-time) في مجموعة واسعة من البيئات، بدءاً من وحدات التحكم الدقيقة المدمجة وصولاً إلى الخوادم السحابية. وهذا يمنحه مقاومة قوية ضد هجمات القناة الجانبية المادية مثل هجمات التوقيت.

7. FALCON (FN-DSA): التوقيع الشبكي المدمج للغاية

اختار NIST خوارزمية FALCON (Fast-Fourier Lattice-based Compact Signatures over NTRU) كمرشح آخر للتوحيد القياسي للتوقيع المبني على الشبكات، بخصائص مختلفة عن Dilithium (وهي حالياً قيد الصياغة كـ FN-DSA).

7.1. شبكات NTRU وأخذ العينات الغاوسية

الميزة الأبرز لـ FALCON هي أنه لا يستخدم مشكلة LWE، بل يستخدم شبكة NTRU (N-th degree Truncated polynomial Ring Units) العريقة التي ظهرت عام 1996. وعلاوة على ذلك، فإنه يعتمد نموذج “التجزئة والتوقيع (Hash-and-Sign)” بناءً على إطار عمل GPV (Gentry-Peikert-Vaikuntanathan).

في نموذج التجزئة والتوقيع (Hash-and-Sign)، يتم جعل قيمة تجزئة الرسالة نقطة هدف في الفضاء، ويتم إنشاء التوقيع عن طريق إيجاد النقطة على الشبكة الأقرب إلى تلك النقطة (حل تقريبي لمشكلة المتجه الأقرب). يتطلب هذا أخذ عينات من النقاط وفقاً لتوزيع غاوسي منفصل باستخدام “قاعدة قصيرة ذات نوعية جيدة” تعمل كمفتاح سري.

قام FALCON بتسريع هذه الحسابات الثقيلة بشكل دراماتيكي باستخدام تقنية تسمى “التعامد الفورييه السريع (Fast Fourier Orthogonalization: FFO)”.

7.2. مزايا وعيوب FALCON

الميزة الساحقة لـ FALCON هي أن حجم التوقيع وحجم المفتاح العام صغيران جداً (مدمجان). بينما يبلغ حجم توقيع Dilithium3 حوالي 3,309 بايت، فإن حجم توقيع FALCON-512 يبلغ حوالي 666 بايت فقط. المفتاح العام صغير جداً أيضاً بحجم 897 بايت، مما يجعله المنقذ في البيئات التي يكون فيها النطاق الترددي للاتصالات محدوداً للغاية، أو في أجهزة إنترنت الأشياء (IoT)، أو في بروتوكولات شبكة معينة.

ومع ذلك، هناك عيب كبير. نظراً لأن أخذ العينات الغاوسية المنفصلة الذي يتضمن عمليات الفاصلة العائمة المعقدة (64-bit IEEE 754) يُعد إلزامياً أثناء إنشاء التوقيع، فإن التنفيذ في وقت ثابت (Constant-time implementation) لمنع تسريب التوقيت يكون صعباً للغاية، كما يصبح حجم الكود ضخماً. لذلك، يُعتبر FALCON خوارزمية متخصصة قوية لتطبيقات محددة، في مقابل الاستخدام العام لـ (Dilithium).

graph LR A["متطلبات التوقيع الرقمي"] --> B{"ما هو القيد ذو الأولوية القصوى؟"} B -->|"بساطة التنفيذ، والتنوع، وسهولة التنفيذ في وقت ثابت"| C["Dilithium (ML-DSA)"] B -->|"تقليل النطاق الترددي للاتصال، وصغر حجم البيانات"| D["FALCON (FN-DSA)"] C --> E["شهادات TLS للأغراض العامة، والتوقيعات الإلكترونية للبرامج"] D --> F["البروتوكولات ذات قيود صارمة على حجم الحزمة، والبيئات الخاصة"]

8. SPHINCS+ (SLH-DSA): التوقيع المبني على التجزئة صاحب أقوى مستوى أمان

استعداداً لأسوأ سيناريو (في حالة الطوارئ) حيث يتم اختراق أمان التشفير الشبكي مستقبلاً من خلال اختراق علمي من قبل علماء رياضيات عباقرة، صاغ NIST معيار FIPS 205 (SLH-DSA)، وهو SPHINCS+، كمعيار يعتمد نهجاً مختلفاً تماماً عن التشفير الشبكي.

يُصنف SPHINCS+ ضمن التوقيعات المبنية على التجزئة. يعتمد أساس أمانه على نقطة واحدة فقط: “أن دالة التجزئة التشفيرية المستخدمة (مثل SHA-2 أو SHAKE256) تمتلك مقاومة للاصطدام وخاصية الاتجاه الواحد”. نظراً لأنه لا يعتمد على مشكلات رياضية ذات هياكل جبرية محددة مثل LWE أو التحليل إلى العوامل الأولية، فإنه يفتخر بأمان قوي جداً (أكثر مستويات الأمان تحفظاً)، حيث يمكنه مواجهة أي خوارزمية كمومية قوية قد تظهر في المستقبل ببساطة عن طريق زيادة طول مخرجات دالة التجزئة.

8.1. البنية عديمة الحالة باستخدام WOTS+ و FORS

تاريخ التوقيعات المبنية على التجزئة قديم، ويعود إلى توقيع لامبورت (Lamport signature) وتوقيع وينترنيتز لمرة واحدة (WOTS) في السبعينيات. كانت هذه المفاتيح تستخدم لمرة واحدة بحيث “يمكن التوقيع بها بأمان مرة واحدة فقط”. لجعلها قابلة للاستخدام لمرات متعددة، تم تطوير خوارزميات مثل XMSS (eXtended Merkle Signature Scheme) و LMS، والتي تدمج أشجار ميركل (Merkle Tree) لإدارة عدد لا يحصى من المفاتيح ذات الاستخدام لمرة واحدة من خلال تجزئة جذرية واحدة.

ومع ذلك، كان لـ XMSS و LMS عيب رئيسي وهو كونها “تحتفظ بالحالة (Stateful)”. ففي كل مرة يتم فيها التوقيع، يجب تسجيل حالة الفهرس بدقة في ذاكرة غير متطايرة لمعرفة “أي مفتاح لمرة واحدة تم استخدامه”، وإذا تم إرجاع الحالة إلى الوراء بسبب استعادة لقطة لجهاز ظاهري (VM Snapshot)، وتم استخدام نفس المفتاح لمرة واحدة مرتين، فسوف يتسرب المفتاح السري على الفور وينهار النظام.

يعالج SPHINCS+ متاعب إدارة الحالة هذه باعتباره توقيعاً مبنياً على التجزئة “عديم الحالة (Stateless)”. وتتكون تقنيته الأساسية من المزيج التالي:

WOTS+ (Winternitz One-Time Signature Plus): التوقيع الأساسي لمرة واحدة.
FORS (Forest of Random Subsets): تقنية توقيع الاستخدام لمرات قليلة (Few-Time Signature). تحافظ على الأمان حتى إذا تم إعادة استخدام نفس المفتاح لمرات قليلة.
Hyper-Tree (بنية شجرية ضخمة): بنية ضخمة تتكون من طبقات متعددة من أشجار ميركل.

في SPHINCS+، عند التوقيع، بدلاً من إدارة الحالة، يتم اختيار أحد مفاتيح FORS من عدد هائل من المفاتيح الموجودة في أسفل الـ Hyper-Tree بشكل عشوائي باستخدام أرقام شبه عشوائية لإجراء التوقيع. نظراً لأن عدد الأوراق في الشجرة فلكي، فإن احتمال اختيار نفس المفتاح مرتين بالصدفة (تصادم) يصبح صغيراً لدرجة يمكن تجاهله، مما يحقق خاصية انعدام الحالة نتيجة لذلك.

نقطة الضعف الوحيدة والأكبر لـ SPHINCS+ هي أن حجم التوقيع كبير للغاية. اعتماداً على المعلمات، يتراوح حجم التوقيع من 17 كيلوبايت إلى 49 كيلوبايت، وسرعة إنشاء التوقيع أبطأ بكثير مقارنة بالتشفير الشبكي. لذلك، بدلاً من الاستخدام في تصفح الويب اليومي، من المتوقع أن يتم استخدامه في تطبيقات لا تتطلب توقيعات متكررة ولكنها تتطلب مستوى مطلقاً من الأمان على المدى الطويل، مثل توقيع تحديثات البرامج وشهادات هيئات المصادقة الجذرية (Root CA).

9. التشفير المبني على الأكواد: العملاق العريق Classic McEliece

في عملية التوحيد القياسي لـ NIST، يُعد النهج المهم الذي لا يزال قيد التقييم كمرشح نهائي في الجولة الرابعة هو Classic McEliece من فئة التشفير المبني على الأكواد.

هذه الخوارزمية، التي اقترحها روبرت ماكيليس (Robert McEliece) في عام 1978، هي واحدة من أقدم الخوارزميات في تاريخ تشفير المفتاح العام إلى جانب RSA. وهي تستخدم رمزاً جبرياً هندسياً يُعرف باسم “رمز غوبا (Goppa Code)"، حيث تقوم بتشفير الرسالة عن طريق إضافة خطأ متعمد (متجه ضوضاء)، ولا يمكن لأي شخص إزالة الخطأ واستعادة الرسالة الأصلية باستخدام قدرة تصحيح الأخطاء القوية إلا من يمتلك مصفوفة التحقق من التكافؤ لرمز غوبا كمفتاح سري، وهذا يعتمد على “مشكلة فك تشفير المتلازمة (Syndrome Decoding Problem)”.

$$ \vec{c} = \vec{m} G + \vec{e} $$

($G$ هي مصفوفة التوليد المشوشة وهي المفتاح العام، و $\vec{e}$ هو متجه الخطأ ذو الوزن $t$)

الأمر المذهل في Classic McEliece هو سجله الحافل الساحق: على الرغم من مرور أكثر من 40 عاماً على اقتراحه وتعرضه لأبحاث فك تشفير مكثفة من قبل علماء التشفير في جميع أنحاء العالم، لم يتم اكتشاف ثغرات جوهرية فيه قط. وهو يتمتع بأكثر أمان قوي “أثبتت الأيام جدارته” ضمن PQC.

بالإضافة إلى ذلك، يتمتع بميزة أن حجم النص المشفر صغير جداً (فقط حوالي 100 إلى 200 بايت). ولكن لديه عيب قاتل يتمثل في أن حجم المفتاح العام يكون في حدود الميغابايت (MB). حتى في أدنى مستوى أمان (يعادل AES-128)، يبلغ حجم المفتاح العام حوالي 250 كيلوبايت، ويتجاوز 1 ميغابايت في المستويات الأعلى.

لهذا السبب، لا يمكن استخدامه على الإطلاق في التطبيقات التي ترسل المفتاح العام عبر الشبكة في كل مرة يتم فيها الاتصال، مثل مصافحة TLS (TLS Handshake). ومع ذلك، في حالات الاستخدام الخاصة حيث يمكن وضع المفتاح العام مسبقاً في النظام، مثل تبادل المفاتيح المشتركة مسبقاً لـ VPN، أو تشفير المفتاح العام داخل البرامج الثابتة (Firmware)، أو الاتصالات عبر الأقمار الصناعية، فإنه لا يزال قيد الدراسة كخيار واعد للغاية نظراً لأمانه القوي.

10. مقارنة الأداء والمقايضات بين خوارزميات PQC المختلفة

يلخص الجدول التالي خصائص الأداء للخوارزميات الرئيسية التي تمت مناقشتها حتى الآن عند مستوى أمان عام (يعادل NIST المستوى 2 إلى 3، ومستوى AES-128 إلى 192).

الخوارزمية (الاسم القياسي)	الفئة	الأساس الرياضي	حجم المفتاح العام	حجم المفتاح السري	حجم النص المشفر / التوقيع	اتجاه سرعة المعالجة	الميزات الرئيسية والتطبيقات
Kyber768 (ML-KEM)	KEM	Module-LWE	1,184 بايت	2,400 بايت	1,088 بايت	سريع جداً	أفضل توازن بين حجم المفتاح والسرعة. معيار KEM العام لـ TLS 1.3 وغيرها.
Dilithium3 (ML-DSA)	التوقيع	Module-LWE	1,952 بايت	4,032 بايت	3,309 بايت	التوليد والتحقق سريعان	تنفيذ بسيط. معيار التوقيع الرقمي العام.
FALCON-512 (FN-DSA)	التوقيع	شبكة NTRU	897 بايت	1,281 بايت	666 بايت	توليد التوقيع بطيء نسبياً، والتحقق سريع جداً	حجم التوقيع صغير للغاية. يتطلب عمليات فاصلة عائمة. للأنظمة المدمجة وإنترنت الأشياء (IoT).
SPHINCS+ (SLH-DSA)	التوقيع	دوال التجزئة	32 بايت	64 بايت	حوالي 17,000 بايت	التوليد بطيء جداً	خطر الانهيار الرياضي شبه معدوم. للتطبيقات عالية الأمان مثل الشهادات الجذرية.
Classic McEliece	KEM	رمز غوبا	حوالي 1.04 ميغابايت	13,568 بايت	188 بايت	التغليف سريع	40 عاماً من سجل الأمان. مفتاح عام ضخم. للبيئات التي يمكن فيها تضمين المفتاح بشكل ثابت (Hardcoded).

فهم المقايضات

في عالم PQC، لا توجد خوارزمية سحرية واحدة تتميز بـ “حجم صغير وسرعة فائقة وضمان رياضي مثالي”.

معايير الإنترنت (Kyber / Dilithium): تتمتع بأفضل توازن في الأداء، وهي الأنسب للاستبدال المباشر (Drop-in replacement) لخوارزميات RSA/ECC الحالية.
المحافظة القصوى (SPHINCS+): يتم اختيارها عندما تريد تأميناً مطلقاً ضد الاختراقات الرياضية المستقبلية، حتى لو كان ذلك على حساب حجم البيانات وسرعة المعالجة.
للبيئات الخاصة (FALCON / Classic McEliece): أسلحة متخصصة يتم اختيارها وفقاً لقيود البيئة، مثل عرض النطاق الترددي الضيق جداً، أو إمكانية التوزيع المسبق للمفاتيح.

11. التحديات نحو التطبيق العملي و"التشفير الهجين” كحل واقعي

مع اكتمال عملية التوحيد القياسي بواسطة NIST والإصدار الرسمي لمعايير FIPS، بدأ التحول إلى PQC للبنية التحتية لتقنية المعلومات حول العالم (هجرة PQC أو PQC Migration) بشكل جدي. وقد قامت جهات مثل متصفح Chrome من جوجل، و iMessage من آبل (بروتوكول PQ3)، وموفرو الشبكات مثل Cloudflare بدمج دعم PQC بالفعل في بروتوكولاتهم وبدأوا التشغيل الفعلي.

ومع ذلك، فإن التحول المفاجئ والكامل إلى خوارزميات التشفير الجديدة يحمل مخاطر عالية جداً. إذا افترضنا، على سبيل المثال، أن عالم رياضيات عبقرياً اكتشف طريقة هجوم قاتلة (خلل رياضي يمكن حله حتى باستخدام أجهزة الكمبيوتر الكلاسيكية) ضد التشفير الشبكي مثل Kyber بعد بضع سنوات، فإن النظام بأكمله الذي يعتمد عليه سيصبح مكشوفاً بالكامل في لحظة.

النهج الواقعي والموصى به لتقليل مخاطر عدم اليقين هذه هو “التشفير الهجين (Hybrid Cryptography)”.

في التشفير الهجين، يتم إجراء تبادل المفاتيح باستخدام كل من التشفير الكلاسيكي الحالي ذي السجل الحافل (مثل تشفير المنحنى الإهليلجي X25519) و PQC الجديد (مثل Kyber768) في وقت واحد. يتم توليد مكونات المفتاح المشترك بشكل منفصل لكل خوارزمية، وأخيراً يتم مزج المكونين معاً باستخدام دالة اشتقاق مفتاح آمنة (KDF) لتوليد السر الرئيسي (Master Secret) النهائي.

graph TD A["العميل"] -->|① إرسال المفتاح العام لـ X25519 + المفتاح العام لـ Kyber| B["الخادم"] B -->|② إرجاع المفتاح المشترك لـ X25519 + النص المشفر المغلف بـ Kyber| A A --> C{"اشتقاق السر الرئيسي (KDF)"} B --> C C -->|المدخلات: (المفتاح المشترك لـ X25519) || (المفتاح المشترك لـ Kyber)| D["مفتاح اتصال آمن (AES-256 / ChaCha20)"] D -->|"مقاوم لكل من التهديد الكمومي والثغرات الكلاسيكية"| E["اتصال مشفر هجين آمن (TLS 1.3)"]

من خلال هذا، يمكننا تحقيق أمان قوي مزدوج الطبقات: “حتى لو تم تحقيق الحواسيب الكمومية وتم اختراق ECC، فإن Kyber سيحمي الاتصال”، وعلى العكس، “حتى لو تم اكتشاف خلل رياضي غير معروف في Kyber، فإن ECC سيحمي الاتصال”. كمثال تمثيلي، هناك مسودة X25519MLKEM768 (سابقاً X25519Kyber768) التي يتم توحيدها في IETF، وتستخدم الاتصالات بين متصفحات الويب الحالية والخوادم المتطورة هذه الطريقة الهجينة بالضبط.

بالإضافة إلى ذلك، في تصميم النظام، أصبح مفهوم مرونة التشفير (Crypto Agility) - وهو بناء “هيكل لا يعتمد بشكل مفرط على خوارزمية تشفير معينة، ويمكنه التبديل بسرعة إلى خوارزمية أخرى (على سبيل المثال من Kyber إلى McEliece، أو من Dilithium إلى SPHINCS+) عند فشل الخوارزمية” - متطلباً أساسياً في تطوير الأنظمة المستقبلية.

12. الخاتمة: آفاق جديدة في تكنولوجيا التشفير

المفارقة هي أن الحواسيب الكمومية، وهي تقنية أحلام البشرية، أصبحت التهديد الأكبر الذي يحطم الحواجز الرياضية مثل “التحليل إلى العوامل الأولية” و"مشكلة اللوغاريتم المنفصل” التي وثقنا بها لسنوات طويلة. ومع ذلك، لم يستسلم علماء التشفير حول العالم، بل استكشفوا مجالات رياضية متعددة الأبعاد أكثر تعقيداً وعمقاً مثل نظرية الشبكات، وأشجار دوال التجزئة، ورموز تصحيح الأخطاء، وقاموا ببناء حواجز دفاعية جديدة تتمثل في تشفير ما بعد الكم (PQC).

اكتمال عملية التوحيد القياسي لمعايير FIPS 203 (ML-KEM) و FIPS 204 (ML-DSA) و FIPS 205 (SLH-DSA) بواسطة NIST ليس خط النهاية. بل هو مجرد الخطوة الأولى في رحلة ملحمية ستستمر لعقود تُعرف بـ “هجرة PQC”. بالنسبة لمهندسي البرمجيات ومعماريي الأنظمة، سيكون التحدي التقني الكبير القادم هو كيفية تكييف “زيادة حجم المفتاح” و"التغيرات في التكلفة الحسابية” التي تجلبها هذه الخوارزميات الجديدة مع بروتوكولات الشبكات والأنظمة بشكل مثالي.

المعركة بين الحواسيب الكمومية والتشفير هي مجال مثير تتقاطع فيه استكشافات البشرية الرياضية مع تطور التكنولوجيا بشكل مكثف. نأمل أن تكون قد اكتسبت من خلال هذا المقال فهماً عميقاً للنظرية الرياضية الجميلة الكامنة وراء PQC، وللآليات المذهلة لكل خوارزمية والتي تشكل مستقبل الأمن السيبراني.

References:

NIST Post-Quantum Cryptography Standardization Program
FIPS 203: Module-Lattice-Based Key-Encapsulation Mechanism Standard
FIPS 204: Module-Lattice-Based Digital Signature Standard
FIPS 205: Stateless Hash-Based Digital Signature Standard

اليوم الذي تصبح فيه الحواسيب الكمومية عملية: أين نحن في عام 2026

Fri, 11 Sep 2026 06:00:00 +0900

1. مقدمة: إلى أين وصلت الحواسيب الكمومية في عام 2026؟

اعتبارًا من عام 2026، شهدت الحوسبة الكمومية تحولًا حاسمًا من “حلم نظري” في الماضي إلى “واقع هندسي”. ومع اتضاح حدود أجهزة NISQ (Noisy Intermediate-Scale Quantum)، التي كانت سائدة حتى سنوات قليلة مضت، وجهت المؤسسات البحثية وعمالقة التكنولوجيا حول العالم أنظارها نحو تحقيق “الحوسبة الكمومية المتسامحة مع الأخطاء (FTQC: Fault-Tolerant Quantum Computing)”.

في هذا المقال، سنتعمق في الوضع الحالي للحواسيب الكمومية مع دمج أحدث الاختراقات لعام 2026. على وجه الخصوص، سنشرح بالتفصيل تصحيح الخطأ الكمومي (الكود السطحي)، والفرق بين الكيوبتات المادية والكيوبتات المنطقية، والتقدم في الحوسبة الكمومية الطوبولوجية، والخطوط الأمامية لطرق الموصلات الفائقة ومصائد الأيونات.

2. أساسيات الحالة الكمومية والدقة (Fidelity)

الكيوبت (Qubit)، وهو الوحدة الأساسية للحاسوب الكمومي، يختلف عن البت الكلاسيكي (0 أو 1) حيث يمكن أن يتخذ حالة تراكب (Superposition) من 0 و 1. يتم التعبير عن حالة الكيوبت المفرد كمتجه في فضاء هيلبرت على النحو التالي:

$$ |\psi\rangle = \alpha|0\rangle + \beta|1\rangle $$

هنا، $\alpha$ و $\beta$ عبارة عن سعات احتمالية لأعداد مركبة، وتستوفي شرط التسوية التالي:

$$ |\alpha|^2 + |\beta|^2 = 1 $$

من أهم المؤشرات لقياس أداء الحوسبة الكمومية هو الدقة (Fidelity). يتم تعريف الدقة $F$ بين الحالة الكمومية المثالية $|\psi\rangle$ ومصفوفة الكثافة الفعلية $\rho$ التي تدهورت بسبب الضوضاء وأصبحت حالة مختلطة على النحو التالي:

$$ F(\rho, |\psi\rangle) = \langle \psi | \rho | \psi \rangle $$

اعتبارًا من عام 2026، أصبحت دقة البوابات ثنائية الكيوبت (مثل: بوابة CNOT وبوابة CZ) في طريقة الموصلات الفائقة تتجاوز حاجز 99.99% (ما يسمى بـ “تسعات أربعة”) بشكل مستقر. هذا الرقم يتجاوز بكثير عتبة تصحيح الخطأ باستخدام الكود السطحي (حوالي 99%)، وهو أحد أكبر الاختراقات نحو الاستخدام العملي.

3. حدود عصر NISQ والتحول النموذجي نحو FTQC

شهدت أواخر العقد الأول من القرن الحادي والعشرين وأوائل العقد الثاني من القرن الحادي والعشرين عصر NISQ (Noisy Intermediate-Scale Quantum)، وهي أجهزة تحتوي على عشرات إلى مئات الكيوبتات بدون تصحيح للأخطاء. ومع ذلك، كان لـ NISQ حدود واضحة.

مع زيادة عمق الدائرة (Depth)، تتراكم الأخطاء بشكل أسي، مما يجعل من المستحيل الحصول على نتائج حسابية ذات معنى. يتحلل الاحتمال الإجمالي للنجاح $P_{success}$ عند عمق الدائرة $D$ بالنسبة لدقة البوابة المفردة $f$ وعدد البوابات $N$ على النحو التالي:

$$ P_{success} \approx f^N $$

إذا تم تطبيق 1000 بوابة بدقة $f = 0.99$، فستصبح النتيجة $0.99^{1000} \approx 4.3 \times 10^{-5}$، وستُدفن النتائج تقريبًا في ضوضاء عشوائية. لذلك، في عام 2026، تتركز الموارد على توليد الكيوبتات المنطقية (Logical Qubit) بدلاً من التوسيع المباشر لخوارزميات NISQ (مثل VQE و QAOA).

4. تصحيح الخطأ الكمومي والكيوبتات المنطقية: الخطوط الأمامية للكود السطحي

تصحيح الخطأ الكمومي (QEC: Quantum Error Correction) هو تقنية تقوم بتشفير العديد من “الكيوبتات المادية” لإنشاء “كيوبت منطقي” واحد واكتشاف الأخطاء وتصحيحها. التقنية الأكثر واعدة حاليًا هي الكود السطحي (Surface Code).

4.1 بنية الكود السطحي (Surface Code)

في الكود السطحي، يتم ترتيب الكيوبتات في شبكة ثنائية الأبعاد. تُصطف كيوبتات البيانات (التي تحتفظ بالمعلومات الفعلية) وكيوبتات القياس (لقياس المتلازمة) مثل نمط رقعة الشطرنج.

graph TD A["كيوبت البيانات (D1)"] --- B["كيوبت القياس (M1)"] B --- C["كيوبت البيانات (D2)"] C --- D["كيوبت القياس (M2)"] D --- E["كيوبت البيانات (D3)"] B --- F["كيوبت البيانات (D4)"] D --- G["كيوبت البيانات (D5)"] style A fill:#e1f5fe,stroke:#039be5 style C fill:#e1f5fe,stroke:#039be5 style E fill:#e1f5fe,stroke:#039be5 style F fill:#e1f5fe,stroke:#039be5 style G fill:#e1f5fe,stroke:#039be5 style B fill:#fff3e0,stroke:#fb8c00 style D fill:#fff3e0,stroke:#fb8c00

باستخدام عوامل الاستقرار (Stabilizers) $S_x$ و $S_z$، تتم مراقبة انعكاس البت (خطأ X) وانعكاس الطور (خطأ Z) باستمرار.

$$ S_x = \prod_{i \in \text{star}} X_i, \quad S_z = \prod_{j \in \text{plaquette}} Z_j $$

كان التطور المهم في عام 2026 هو الاختراق الكامل لـ “نقطة التعادل (Break-even point)”. وبعبارة أخرى، أصبحت الضوضاء التي تمت إزالتها بواسطة تصحيح الخطأ أكبر من الضوضاء الناتجة عن الدائرة الإضافية لإجراء تصحيح الخطأ، وتجاوز العمر الافتراضي للكيوبت المنطقي العمر الافتراضي للكيوبت المادي بعدة مراتب من حيث الحجم.

4.2 دورة تصحيح الخطأ الكمومي

يعمل تصحيح الخطأ كحلقة تغذية مرتدة مستمرة.

sequenceDiagram participant D as "كيوبتات البيانات" participant M as "كيوبتات مساعدة/القياس" participant C as "وحدة التحكم الكلاسيكية" loop "دورة استخراج المتلازمة (حوالي 1 ميكرو ثانية)" D->>M: "التشابك (CNOT/CZ)" M->>C: "قياس الحالة (المتلازمة)" C->>C: "فك تشفير المتلازمة (مثل مطابقة الوزن المثالي الأدنى)" C-->>D: "تطبيق تصحيح باولي (إذا لزم الأمر)" end

حاليًا، تم ترسيخ تقنية تنفيذ عملية فك التشفير الكلاسيكية هذه (تحليل المتلازمة) في نانو ثانية باستخدام FPGA و ASIC المخصصة، ودخل تصحيح الخطأ في الوقت الفعلي مرحلة الاستخدام العملي.

5. تطور بنية الأجهزة (إصدار 2026)

تتطور الأجهزة الكمومية في عام 2026 بشكل أساسي حول ثلاثة محاور: “طريقة الموصلات الفائقة”، و"طريقة مصيدة الأيونات"، و"الطريقة الطوبولوجية".

5.1 تكامل الكيوبتات فائقة التوصيل

طريقة الموصلات الفائقة هي مجال تقوده شركات مثل IBM و Google، وتعتبر كيوبتات الترانزمون (Transmon) باستخدام وصلات جوزيفسون هي السائدة. في عام 2026، تم تحقيق شريحة ضخمة تدمج الآلاف إلى عشرة آلاف كيوبت مادي على شريحة واحدة.

الجدير بالذكر هو ترسيخ الاتصالات الكمومية بين الوحدات (Quantum Interconnects). تم تنفيذ النقل الآني الكمومي بين الشرائح باستخدام فوتونات الموجات الدقيقة على المستوى التجاري، مما أتاح تجاوز قيود الحجم لثلاجة التخفيف الواحدة.

5.2 التوسع ثنائي الأبعاد لمصيدة الأيونات والترابط البصري

في طريقة مصيدة الأيونات (التي تقودها شركات مثل Quantinuum و IonQ)، يتم استخدام حالات الطاقة الداخلية للأيونات المعلقة في الفراغ ككيوبتات. مقارنة بطريقة الموصلات الفائقة، تتمتع بميزة أوقات تماسك T1/T2 طويلة جدًا وإمكانية الاتصال الشامل (All-to-All Connectivity).

كان الاختراق في عام 2026 هو جعل بنية QCCD (Quantum Charge Coupled Device) ثنائية الأبعاد وتوليد التشابك عالي السرعة بين المصائد المتعددة باستخدام الترابط الضوئي. أدى هذا إلى تحسين “بطء سرعة البوابة” و"قابلية التوسع"، وهي نقاط الضعف في مصيدة الأيونات، بشكل كبير.

5.3 الحوسبة الكمومية الطوبولوجية: التحكم في الأنيونات

دخلت الحوسبة الكمومية الطوبولوجية، والتي اعتبرت لفترة طويلة وجودًا نظريًا، أخيرًا مرحلة العرض التجريبي في عام 2026. تستخدم هذه الطريقة، التي تروج لها شركة Microsoft وغيرها، أنيونات غير أبيلية (Non-Abelian Anyons) تسمى “أنماط مايورانا الصفرية (Majorana Zero Modes)”.

يتم تنفيذ البوابات الكمومية عن طريق عملية تسمى “التضفير (Braiding)” التي تبدل مواقع جزيئات الأنيون.

$$ |\psi_{final}\rangle = B_{ij} |\psi_{initial}\rangle $$

هنا $B_{ij}$ هو عامل التضفير. الطريقة الطوبولوجية مقاومة بطبيعتها للضوضاء البيئية (مقاومة الأخطاء على مستوى الأجهزة) لأن تخزين المعلومات لا يعتمد على الحالة الموضعية للجسيمات، بل على طوبولوجيا “العقدة” بأكملها. في عام 2026، تم تأكيد توليد أول كيوبت منطقي طوبولوجي عالي الدقة في العالم، مما جذب الانتباه كطريق مختصر قوي نحو FTQC.

6. خارطة الطريق نحو الاستخدام العملي والآفاق

لكي تظهر الحواسيب الكمومية حقًا التفوق الكمومي (Quantum Advantage) الذي تتفوق فيه على الحواسيب الكلاسيكية (الحواسيب الفائقة) في مجالات مثل “الحسابات الكيميائية”، و"علم المواد"، و"النمذجة المالية"، هناك حاجة إلى آلاف الكيوبتات المنطقية.

gantt title "خارطة طريق الحوسبة الكمومية (منقحة عام 2026)" dateFormat YYYY axisFormat %Y section "عصر NISQ" "كيوبتات صاخبة (<1000)" :done, 2018, 2024 section "بداية FTQC" "إثبات نقطة التعادل" :done, 2024, 2026 "المئات من الكيوبتات المنطقية" :active, 2026, 2028 section "FTQC واسع النطاق" "1000+ كيوبت منطقي (تطبيق تجاري)" : 2028, 2030 "كمبيوتر كمومي شامل متسامح مع الأخطاء" : 2030, 2035

6.1 التحديات والمستقبل الذي نواجهه حاليًا

يتمثل التحدي الأكبر اعتبارًا من عام 2026 في قدرة التبريد لأجهزة التبريد العملاقة (ثلاجات التخفيف) للحفاظ على درجات حرارة منخفضة للغاية، والأسلاك التي تربط معدات التحكم في درجة حرارة الغرفة والشرائح الكمومية المبردة (عنق الزجاجة في الإدخال والإخراج). استجابة لذلك، يتقدم تطوير رقائق التحكم CMOS التي تعمل في بيئات التبريد العميق (Cryo-CMOS) بوتيرة سريعة.

الخاتمة

سيتم تسجيل عام 2026 في تاريخ الحواسيب الكمومية كـ “العام الأول لتوسيع نطاق الكيوبتات المنطقية”. من خلال إثبات خوارزميات تصحيح الخطأ، ووحدات الأجهزة، والتطور السريع للنهج الطوبولوجي، لم يعد “اليوم الذي تصبح فيه عملية” قصة من المستقبل البعيد، بل أصبح يمكن اعتباره كمعلم محدد في غضون السنوات القليلة القادمة. بالنسبة لمطوري الخوارزميات الكمومية والشركات، يمكن القول إن الوقت الحالي هو الوقت المناسب للاستثمار بجدية في حل المشكلات باستخدام التقنيات الكمومية الأصلية.

تمت كتابة هذا المقال استنادًا إلى أحدث الأوراق البحثية في الحوسبة الكمومية واتجاهات الصناعة اعتبارًا من عام 2026.