ما هو ZK (المعرفة الصفرية)

ملاحظة: هذا المستند هو ترجمة آلية للنسخة الإنجليزية الأصلية.

ما هو ZK (المعرفة الصفرية)

براهين المعرفة الصفرية (ZK proofs) تقنية تشفيرية تتيح لطرف (المُثبِت) أن يُقنع طرفًا آخر (المُتحقِّق) بأن عبارةً ما صحيحة — دون الكشف عن أي معلومات تتجاوز صحّة العبارة نفسها. في البلوك تشين، تُستخدم براهين ZK لثلاثة أغراض رئيسية: الخصوصية (إخفاء تفاصيل المعاملة مع إثبات صحّتها)، والتوسّع (scaling) (ضغط معاملات كثيرة في برهان واحد يُتحقَّق منه على السلسلة)، والحوسبة القابلة للتحقق (إثبات أن حوسبة خارج السلسلة نُفِّذت بشكل صحيح).

باختصار: تتيح لك براهين ZK إثبات صحّة شيء ما دون إظهار كيف أو لماذا. في العملات المشفرة، تتيح معاملات خاصة، وrollups قابلة للتوسّع، واستدلال ذكاء اصطناعي قابلًا للتحقق — كل ذلك دون اشتراط الثقة في المُثبِت.

الفكرة الأساسية

المفهوم مخالف للحدس: كيف يمكنك إثبات أنك تعرف شيئًا دون الكشف عنه؟ يساعد تشبيه كلاسيكي.

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

تضفي براهين ZK الطابع الرياضي الرسمي على هذا الحدس. وهي تستوفي ثلاث خصائص:

• الاكتمال (Completeness). إذا كانت العبارة صحيحة واتبع الطرفان البروتوكول، سيقتنع المُتحقِّق.
• السلامة (Soundness). إذا كانت العبارة خاطئة، لا يستطيع أي مُثبِت غشّاش إقناع المُتحقِّق (إلا باحتمال ضئيل).
• المعرفة الصفرية (Zero-knowledge). لا يتعلّم المُتحقِّق شيئًا يتجاوز كون العبارة صحيحة.

كيف تعمل براهين ZK (بشكل مبسّط)

يتضمّن نظام برهان ZK هذه الخطوات:

1. صياغة العبارة. يُعبَّر عن الادّعاء المراد إثباته كعبارة رياضية — عادةً كدائرة (سلسلة من العمليات الحسابية) أو مجموعة من المعادلات متعدّدة الحدود.
2. الشاهد (Witness). لدى المُثبِت معلومات خاصة ("الشاهد") تجعل العبارة صحيحة. على سبيل المثال، قد يكون الشاهد هو مدخلات حوسبة تنتج مخرجًا معروفًا.
3. توليد البرهان. يستخدم المُثبِت الشاهد والعبارة لتوليد برهان — كائن رياضي مدمج. هذا مكلف حوسبيًا للمُثبِت.
4. التحقق من البرهان. يفحص المُتحقِّق البرهان مقابل العبارة. التحقق سريع ولا يتطلّب الشاهد. إذا كان البرهان صالحًا، يقتنع المُتحقِّق بأن العبارة صحيحة دون أن يتعلّم الشاهد.

عادةً ما يكون البرهان أصغر بكثير من الشاهد، والتحقق أرخص بكثير من إعادة تنفيذ الحوسبة. هذا التباين هو ما يجعل براهين ZK مفيدة لتوسّع البلوك تشين والتحقق.

zk-SNARKs وzk-STARKs

تهيمن عائلتان رئيسيتان من أنظمة برهان ZK على مجال البلوك تشين:

zk-SNARKs

Succinct Non-interactive Arguments of Knowledge. تنتج SNARKs براهين صغيرة جدًا (بضع مئات من البايتات) رخيصة التحقق. وهي "غير تفاعلية" — يولّد المُثبِت البرهان في خطوة واحدة دون تبادل مع المُتحقِّق. تتطلّب معظم بنى SNARK إعدادًا موثوقًا (trusted setup) — مراسم لمرّة واحدة تولّد معاملات عامة. إذا اختُرق الإعداد، ينكسر ضمان السلامة. تستخدم SNARKs الحديثة (مثل PLONK ومتغيّراته) إعدادًا موثوقًا شاملًا يعمل لأي دائرة، مما يقلّل هذا القلق دون إلغائه.

zk-STARKs

Scalable Transparent Arguments of Knowledge. لا تتطلّب STARKs إعدادًا موثوقًا — فهي "شفّافة". وتقدّم أيضًا أمنًا ما بعد الكمّي (مقاومة لهجمات الحواسيب الكمّية). المقايضة هي أن براهين STARK أكبر من براهين SNARK والتحقق أكثر كلفةً نوعًا ما. تناسب STARKs بشكل خاص الحوسبات الكبيرة لأن زمن المُثبِت لديها يتوسّع شبه خطّيًا مع حجم الحوسبة.

مقارنة

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

عمليًا، تستخدم العديد من المشاريع أنظمة قائمة على SNARK لأحجام براهينها الصغيرة وكلف تحققها المنخفضة، بينما تكتسب STARKs انتشارًا حيث تكون الشفافية والأمن ما بعد الكمّي أولويتين.

ZK في البلوك تشين: التطبيقات الرئيسية

الخصوصية

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

التوسّع (zk-rollups)

الـ ZK-rollups حلول توسّع من الطبقة الثانية (Layer 2) تنفّذ المعاملات خارج السلسلة، وتجمّعها، وتولّد برهان ZK على أن الدفعة بأكملها عُولِجت بشكل صحيح. يُنشَر فقط البرهان وملخّص لتغيّرات الحالة على الطبقة الأساسية (Layer 1). يتحقّق العقد الذكي في L1 من البرهان ويقبل تحديث الحالة. هذا يضغط آلاف المعاملات في تحقّق برهان واحد، مما يزيد الإنتاجية بشكل كبير مع وراثة أمن الطبقة الأساسية. تشمل تنفيذات zk-rollup الرئيسية zkSync وStarkNet وPolygon zkEVM وScroll وLinea.

لمزيد عن توسّع الطبقة الثانية، انظر L2.

الحوسبة القابلة للتحقق وzkML

يمكن لبراهين ZK التحقق من أن أي حوسبة نُفِّذت بشكل صحيح. يمتدّ هذا إلى الذكاء الاصطناعي: يستخدم zkML براهين ZK للتحقق من أن نموذج تعلّم آلة أنتج مخرجًا محدّدًا من مدخل محدّد، دون الكشف عن أوزان النموذج أو بيانات المدخل. يمكن لعقد ذكي التحقق من البرهان على السلسلة، مما يخلق ضمانًا بلا ثقة بأن استدلال الذكاء الاصطناعي حُسِب بشكل صحيح.

يمثّل zkML أحد أكثر تطبيقات ZK طموحًا تقنيًا في الذكاء الاصطناعي للعملات المشفرة. فهو يوفّر ضمانًا رياضيًا (بلا ثقة) للاستدلال الصحيح لكنه محدود حاليًا بالنماذج الصغيرة بسبب الكلفة الحوسبية لتوليد البراهين.

لماذا يهمّ ZK للذكاء الاصطناعي للعملات المشفرة

تعالج براهين ZK حاجتين حرجتين في الذكاء الاصطناعي اللامركزي:

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

في إطار تقييم DecAIHub، يخدم التحقق القائم على ZK كمؤشّر على تكامل حقيقي للذكاء الاصطناعي على السلسلة — فهو يخلق رابطًا قابلًا للتحقق رياضيًا بين حوسبة الذكاء الاصطناعي خارج السلسلة والحالة على السلسلة.

أين يظهر في بطاقات مشاريع DecAIHub

تظهر الميزات المرتبطة بـ ZK في عدّة أماكن:

• AI component — قيم مثل "zkML inference" أو "ZK-verified computation" أو "zero-knowledge proof of inference" تشير إلى تحقّق ذكاء اصطناعي قائم على ZK.
• Category — المشاريع التي تستخدم ZK للذكاء الاصطناعي قد تظهر في فئتي الذكاء الاصطناعي/الاستدلال أو الذكاء الاصطناعي/الحوسبة مع ZK كآلية تحقّق.
• جدول Evidence — تشمل أدلة Tier-1 لـ ZK عقود مُتحقِّق منشورة، ومعايير قياس (benchmarks) براهين منشورة، وتنفيذات دوائر، ومعاملات تحقّق على السلسلة.
• الأدلة على السلسلة — عقود مُتحقِّق ZK على السلسلة دليل ملموس على تكامل ZK حقيقي، يسهم في بُعد Onchain necessity.

ما لا يثبته ZK

• يثبت ZK أن حوسبةً نُفِّذت بشكل صحيح — لكنه لا يثبت أن الحوسبة مفيدة، أو أن النموذج جيد، أو أن البيانات دقيقة. القمامة المُتحقَّق منها تبقى قمامة.
• ZK لا يثبت أن الرمز ضروري. تعمل براهين ZK دون بلوك تشين؛ وقرار وضع التحقق على السلسلة خيار معماري.
• ZK لا يثبت اللامركزية. يمكن لمزوّد مركزي توليد براهين ZK لحوسباته الخاصة.
• ZK لا يثبت أن النموذج هو المُدّعى ما لم يكن التزام النموذج (تجزئة الأوزان) مُثبَّتًا علنًا والبرهان مرتبطًا بذلك الالتزام.
• مشروع يذكر ZK في ورقته البيضاء لا يعني أن ZK مُنفَّذ. ابحث عن عقود مُتحقِّق منشورة، ومعايير قياس براهين، وكود دوائر كدليل.

لا تخلط بين

• الخصوصية — الخصوصية هي الهدف الأوسع. ZK أداة واحدة لتحقيقها. تشمل آليات الخصوصية الأخرى TEE وMPC والتشفير المتماثل.
• TEE (Trusted Execution Environment) — توفّر TEE سرّيةً قائمةً على العتاد. وتوفّر ZK براهين رياضية. يمكن استخدام كليهما للذكاء الاصطناعي القابل للتحقق، بافتراضات ثقة ومقايضات أداء مختلفة.
• zkML — التطبيق المحدّد لبراهين ZK على استدلال تعلّم الآلة. ZK هي التقنية التشفيرية العامة؛ وzkML هي حالة الاستخدام المتخصّصة.
• التشفير — يخفي التشفير البيانات. تثبت براهين ZK عبارات عن البيانات دون الكشف عنها. إنهما عمليتان مختلفتان: يحوّل التشفير البيانات إلى صيغة غير قابلة للقراءة، بينما تولّد براهين ZK دليلًا رياضيًا عن البيانات دون كشفها.
• التحقق التفاؤلي (Optimistic verification) — يفترض أن النتائج صحيحة ويستخدم براهين الاحتيال فقط عند الطعن. أما ZK فيثبت الصحّة استباقيًا منذ البداية. هذان نهجان متكاملان يُستخدمان في تصاميم L2 مختلفة (optimistic rollups مقابل zk-rollups).

الأسئلة الشائعة

ما الفرق بين zk-SNARKs وzk-STARKs؟

كلاهما عائلتان من أنظمة برهان المعرفة الصفرية، لكنهما تختلفان في خصائص رئيسية. تنتج zk-SNARKs براهين أصغر ولها كلف تحقّق أدنى لكنها تتطلّب عادةً إعدادًا موثوقًا — مراسم لمرّة واحدة لتوليد معاملات النظام. ولا تتطلّب zk-STARKs إعدادًا موثوقًا (فهي شفّافة) وتقدّم أمنًا ما بعد الكمّي، لكن براهينها أكبر وأكثر كلفةً في التحقق. يعتمد الاختيار على التطبيق: تُفضَّل SNARKs عندما يكون حجم البرهان وكلفة التحقق حرجين (مثل التحقق على السلسلة)، بينما تُفضَّل STARKs عندما تكون الشفافية والأمن طويل الأمد أولويتين.

كيف تُستخدم براهين ZK لتوسّع البلوك تشين؟

تنفّذ ZK-rollups المعاملات خارج السلسلة في دفعات، ثم تولّد برهان ZK واحدًا على أن الدفعة بأكملها عُولِجت بشكل صحيح. يُقدَّم هذا البرهان إلى بلوك تشين الطبقة الأولى مع ملخّص مضغوط لتغيّرات الحالة. يتحقّق عقد L1 الذكي من البرهان — وهو أرخص بكثير من إعادة تنفيذ كل المعاملات — ويقبل تحديث الحالة. يتيح هذا لـ L1 معالجة أثر آلاف المعاملات عبر التحقق من برهان واحد، مما يزيد الإنتاجية بشكل كبير.

ما الصلة بين ZK والذكاء الاصطناعي؟

يمكن لبراهين ZK التحقق من أن استدلال نموذج ذكاء اصطناعي نُفِّذ بشكل صحيح دون الكشف عن النموذج أو بيانات المدخل. هذا التطبيق، المسمّى zkML، يتيح تحقّق ذكاء اصطناعي بلا ثقة على السلسلة: يمكن لعقد ذكي تأكيد أن نموذجًا محدّدًا أنتج مخرجًا محدّدًا. حاليًا، zkML عملي فقط للنماذج الصغيرة بسبب الكلفة الحوسبية لتحويل عمليات النموذج إلى دوائر ZK وتوليد البراهين. ومع تحسّن أنظمة البراهين، سيتّسع نطاق نماذج الذكاء الاصطناعي القابلة للتحقق.

هل براهين ZK مكلفة حوسبيًا؟

توليد البرهان مكلف — أكثر بكثير من الحوسبة الأساسية. يمكن أن يستغرق توليد برهان ZK لحوسبة ما من عشرة إلى ألف ضعف الزمن اللازم لمجرّد تشغيل الحوسبة. لكن التحقق من البرهان رخيص وسريع. هذا التباين مقصود بالتصميم: يقوم المُثبِت بالعمل الثقيل مرّة واحدة، ويمكن لأي عدد من المُتحقِّقين فحص النتيجة بكفاءة. بالنسبة لتطبيقات البلوك تشين، يعني هذا أن توليد البرهان المكلف يحدث خارج السلسلة بينما يحدث التحقق الرخيص على السلسلة.

مراجع خارجية

• Ethereum.org — Zero-knowledge proofs — مقدّمة شاملة لمفاهيم براهين ZK وأنواعها وتطبيقاتها في Ethereum.
• ZKProof Standards — جهد مجتمعي لتوحيد مصطلحات براهين المعرفة الصفرية وأطرها وتعريفاتها الأمنية.
• Vitalik Buterin — An incomplete guide to rollups — مقارنة تأسيسية بين optimistic وZK rollups بقلم أحد مؤسّسي Ethereum.

انظر أيضًا

• ما هي الخصوصية في العملات المشفرة والذكاء الاصطناعي
• ما هو TEE (Trusted Execution Environment)
• ما هو zkML
• ما هي الطبقة الثانية (L2)
• ما هو الاستدلال (inference)
• فئة الذكاء الاصطناعي/الاستدلال