---
title: "إثبات المعرفة الصفرية"
description: "دليل دقيق إلى إثباتات المعرفة الصفرية: الاكتمال والسلامة والمحاكاة والشاهد وافتراضات الإعداد واستخدامات البلوكتشين ومخاطر التحقق."
image: "https://wiki.fcontext.com/og.png"
---

> Documentation Index
> Fetch the complete documentation index at: https://wiki.fcontext.com/llms.txt
> Use this file to discover all available pages before exploring further.

# إثبات المعرفة الصفرية

> لأغراض تعليمية فقط؛ وليست نصيحة استثمارية أو أمنية. لا يضمن الإثبات الصحيح إلا العبارة المرمّزة في ظل افتراضات نظام الإثبات.

<a id="answer"></a>

## الإجابة المباشرة

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

يُقيّم نظام الإثبات بثلاث خصائص مستقلة: **الاكتمال**، بحيث يُقبل المُثبت الصادق الذي يملك شاهدًا صحيحًا؛ و**السلامة**، بحيث لا تُقبل العبارة الكاذبة إلا باحتمال مهمل؛ و**المعرفة الصفرية**، بحيث يبقى الشاهد مخفيًا ضمن نموذج التهديد المحدد. كثير من الأنظمة العملية حجج حسابية: سلامتها قائمة أمام خصوم محدودي القدرة الحسابية وتعتمد على افتراضات تشفير معلنة.

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

<a id="mechanism"></a>

## آلية العمل

نبدأ بعبارة علنية `x` وشاهد خاص `w` وعلاقة محددة بدقة `R`. يُنشئ المُثبت الإثبات، ويقيّمه المُتحقق باستخدام معلمات علنية أو مفتاح تحقق. ويمكن تلخيص ادعاء السلامة المقصود كما يلي:

`Verify(vk, x, proof) = 1 => exists w: R(x, w) = 1`

لا تقول المعادلة إلا إن شاهدًا مناسبًا للعلاقة المرمّزة موجود. وهي لا تكشفه، ولا تصادق على مدخلات خارج السلسلة، ولا تثبت أن `R` تشمل كل قواعد العمل التي أراد التطبيق فرضها.

- **تفاعلي وغير تفاعلي.** تتبادل بروتوكولات ZK المبكرة تحديات وردودًا. أما الأنظمة غير التفاعلية فتجمع الأدلة في إثبات واحد، وتعتمد عادة على مواد إعداد أو نموذج أوراكل عشوائي أو كليهما.
- **نموذج الإعداد.** يقدم Groth16 إثباتات صغيرة جدًا لكنه يستخدم إعدادًا منظمًا خاصًا بالدائرة. وتستطيع أنظمة PLONK استخدام سلسلة مرجعية منظمة عامة قابلة للتحديث. وتتجنب STARK الإعداد الموثوق المنظم، لكنها تنتج عادة إثباتات أكبر وتعتمد على التجزئة واختبارات الدرجة المنخفضة.
- **التحويل الحسابي والالتزامات.** يحول التنفيذ البرنامج إلى قيود جبرية، ويلتزم بقيم مشتقة من الشاهد، ويستخدم فحوصًا عشوائية كي يختبر المُتحقق الحساب من دون إعادته أو رؤية الشاهد.
- **إثبات المعرفة.** تدعي بعض الأنظمة أيضًا أن المُثبت المقبول يعرف شاهدًا، ويُصاغ ذلك بمستخرج. وهذه خاصية منفصلة لا تُستنتج من تسمية «المعرفة الصفرية».

<a id="example"></a>

## مثال

لنفترض أن `x` يحتوي التزامًا وحدًا قدره `100 units`، بينما يحتوي `w` الرصيد الملتزم به وعامل التعمية. تتحقق العلاقة من فتح الالتزام بطريقة صحيحة ومن أن الرصيد لا يقل عن `100 units`. يستطيع ZKP صحيح إثبات ذلك من دون كشف الرصيد الدقيق.

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

في عملة مشفرة محمية، يمكن للدائرة فرض التفويض وحفظ القيمة ومنع التكرار مع إخفاء تفاصيل مختارة. وفي validity rollup يمكن للإثبات اعتماد انتقال حالة دفعة؛ ومع ذلك قد تظل بيانات المعاملات علنية، لذا لا تعني «ZK Rollup» تلقائيًا معاملات خاصة.

<a id="risks"></a>

## المخاطر

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

<a id="misconceptions"></a>

## مفاهيم خاطئة شائعة

- **«المعرفة الصفرية تعني عدم كشف أي بيانات.»** تظل العبارة العلنية والمخرجات المكشوفة عمدًا ظاهرة، وقد تتسرب البيانات الوصفية خارج النموذج.
- **«الإثبات الصحيح يعني أن التطبيق صحيح.»** المقبول هو العلاقة المرمّزة؛ وتظل أخطاء الدائرة والتكامل والسياسة ممكنة.
- **«كل أنظمة ZK لها افتراضات الثقة نفسها.»** تختلف مراسم الإعداد والمنحنيات والتجزئة ونماذج السجل وضوابط الترقية جوهريًا.
- **«ZK هو التشفير.»** يخفي التشفير البيانات ليفكها طرف مصرح له؛ أما ZKP فيثبت ادعاءً من دون إرسال الشاهد لفك تشفيره.

<a id="related"></a>

## موضوعات ذات صلة

- [دالة التجزئة المشفرة](/ar/crypto/cryptographic-hash/)
- [عملة الخصوصية](/ar/crypto/privacy-coin/)
- [إثبات الصلاحية](/ar/crypto/validity-proof/)
- [ZK Rollup](/ar/crypto/zk-rollup/)

<a id="sources"></a>

## المصادر

- [The Knowledge Complexity of Interactive Proof Systems](https://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Zero%20Knowledge/The_Knowledge_Complexity_Of_Interactive_Proof_Systems.pdf) - SIAM Journal on Computing (تاريخ الاطلاع: 2026-08-22)
- [On the Size of Pairing-based Non-interactive Arguments](https://eprint.iacr.org/2016/260.pdf) - IACR Cryptology ePrint Archive (تاريخ الاطلاع: 2026-08-22)
- [Scalable, transparent, and post-quantum secure computational integrity](https://eprint.iacr.org/2018/046.pdf) - IACR Cryptology ePrint Archive (تاريخ الاطلاع: 2026-08-22)
- [PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge](https://eprint.iacr.org/2019/953.pdf) - IACR Cryptology ePrint Archive (تاريخ الاطلاع: 2026-08-22)
- [Zcash Protocol Specification](https://zips.z.cash/protocol/protocol.pdf) - Zcash Protocol Specification (تاريخ الاطلاع: 2026-08-22)

Source: https://wiki.fcontext.com/ar/crypto/zero-knowledge-proof/index.mdx