ZK-سنارك

 تعريف

نظام zk-SNARK (حجة المعرفة الموجزة غير التفاعلية ذات المعرفة الصفرية) هو نظام إثبات تشفيري يسمح لأحد الأطراف (المُثبت) بإقناع طرف آخر (المُدقِّق) بمعرفته لسرٍّ ما أو بصحة إجراء عملية حسابية معينة، دون الكشف عن السر نفسه ودون الحاجة إلى تواصل متبادل. تعني خاصية "الإيجاز" أن الإثبات صغير الحجم (غالبًا بضع مئات من البايتات فقط) وسريع التحقق، بغض النظر عن مدى تعقيد العملية الحسابية المراد إثباتها. تُشكّل أنظمة zk-SNARK الأساس الرياضي لبروتوكول خصوصية Zcash، وتقنية ZK rollup في zkSync Era ، وأنظمة بلوك تشين القائمة على Groth16، وتطبيقات التمويل اللامركزي (DeFi) المتطورة باستمرار.

 شرح خصائص zk-SNARK

"zk-SNARK = انعدام المعرفة + موجز + غير تفاعلي + حجة المعرفة"

المعرفة الصفرية: يُقنع المُثبت المُدقِّق دون الكشف عن السر "أعرف كلمة المرور" ← تم إثباتها دون قول كلمة المرور

باختصار: البرهان صغير الحجم (حوالي 200 بايت)، وسريع التحقق (بالمللي ثانية)، حتى لو استغرقت العمليات الحسابية الأساسية ساعات للتنفيذ.

غير تفاعلي: رسالة إثبات واحدة (بدون تبادل ذهاب وإياب) يقوم المُثبت بإنشاء الإثبات ← يرسله إلى المُدقِّق ← تم (مقارنةً بالبروتوكولات "التفاعلية" التي تتطلب جولات متعددة)

حجة المعرفة: دليل مقنع على أن المُثبت "يعرف" السر بالفعل. سلامة التشفير: من المستحيل تزويره دون معرفة السر.

 تطبيقات zk-SNARK في مجال التشفير

 قيود zk-SNARK

الإعداد الموثوق: تتطلب خوارزميات zk-SNARK القائمة على Groth16 عملية حسابية متعددة الأطراف لتوليد المعلمات الأولية. إذا احتفظ أي مشارك بالسر "السام"، فقد يتمكن من توليد أدلة خاطئة. يتضمن الإعداد الموثوق لـ Zcash ستة مشاركين (عملية Sprout) لتقليل هذا الخطر.

لا تتطلب خوارزميات zk-STARKs (انظر ما يتعلق بها) إعدادات موثوقة وهي مقاومة للحوسبة الكمومية ولكنها تنتج براهين أكبر.

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

س: ما الفرق بين zk-SNARK و zk-STARK؟

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

س: كيف تستخدم عمليات التجميع ZK تقنية zk-SNARKs؟

تُعالج عملية تجميع ZK آلاف المعاملات خارج سلسلة الكتل، ثم تُنشئ دليلًا واحدًا باستخدام zk-SNARK يُثبت صحة جميع المعاملات. يُرسل هذا الدليل الواحد (بضع مئات من البايتات) إلى إيثيريوم، التي تتحقق منه في أجزاء من الثانية، مُثبتةً بذلك صحة آلاف المعاملات بأقل قدر من البيانات على سلسلة الكتل. هذا هو السحر الرياضي الذي يُتيح قابلية توسع إيثيريوم بمقدار 100 إلى 1000 ضعف.

س: هل تم إثبات أمان تطبيق zk-SNARK الخاص بـ Zcash؟

يستخدم بروتوكول Sapling الخاص بـ Zcash (2018) خوارزمية Groth16 zk-SNARK، وقد خضع لتدقيق شامل. ضمّ حفل إطلاق Zcash Powers of Tau 87 مشاركًا. لم يُثبت عمليًا أي تزوير لمعاملات Zcash المحمية. ورغم وجود مخاطر حقيقية تتعلق بإعداد المعاملات الموثوقة، إلا أن المشاركة الواسعة تُخفف من حدتها.

نصيحة من UPay: إن فهم مفهوم zk-SNARKs (إثبات صحة شيء ما دون الكشف عن سره) يفتح آفاقًا لفهم مجال سريع النمو في تطوير تقنية البلوك تشين. تستخدم جميع عمليات تجميع ZK الرئيسية (مثل zkSync وScroll وPolygon وzkEVM)، وجميع بروتوكولات الخصوصية (مثل Aztec وZcash)، وعدد متزايد من حلول الامتثال، تقنية zk-SNARK أو أنظمة إثبات مشابهة. ويُعدّ المبدأ الأساسي - وهو إجراء حسابات قابلة للتحقق دون الكشف عن البيانات - بلا شكّ أهم ابتكار تشفيري في تقنية البلوك تشين منذ ظهور آلية إثبات العمل في بيتكوين.

تنويه: هذا المحتوى لأغراض تعليمية فقط ولا يشكل نصيحة مالية.

يو باي - إنشاء موسوعة العملات المشفرة