إثبات صحة

تعريف

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

 الأصل والتاريخ

 "تتيح لنا براهين التحقق من الصحة ضغط أسابيع من الحسابات في عبارة رياضية واحدة قابلة للتحقق الفوري. هذا هو مستقبل توسيع نطاق تقنية البلوك تشين." - إيلي بن ساسون، المؤسس المشارك لشركة ستارك وير

 كيف تعمل هذه التقنية؟

إثبات الصلاحية في ZK-Rollup ================================

خارج السلسلة (مُسلسل التجميع / المُثبت) ┌───────────────────────────────────────────┐ │ │ │ 1. جمع المعاملات (TX1…TX5000)│ │ │ │ 2. تنفيذ جميع المعاملات │ │ الحالة_القديمة ──► الحالة_الجديدة │ │ │ │ 3. إنشاء إثبات الصلاحية │ │ ┌──────────────────────┐ │ │ │ المُثَبِّت (عمل شاق) │ │ │ │ │ │ │ │ المدخلات: │ │ │ │ – الحالة القديمة │ │ │ │ – المعاملات │ │ │ │ – الحالة الجديدة │ │ │ │ │ │ │ │ المخرجات: │ │ │ │ π (إثبات) │ │ │ │ ~200-500 بايت │ │ │ └──────────────────────┘ │ │ │ │ 4. إرسال إلى L1: {State_new, π} │ └──────────────────────────────────────────┘ │ ▼ على السلسلة (إيثيريوم L1) ┌────────────────────────────────────────┐ │ │ │ 5. التحقق من الإثبات │ │ ┌───────────────────────┐ │ │ │ المُدقِّق (سريع) العمل) │ │ │ │ │ │ │ │ التحقق: π يثبت أن │ │ │ │ الحالة_القديمة + المعاملات = │ │ │ │ الحالة_الجديدة بشكل صحيح │ │ │ │ │ │ │ │ التكلفة: ~200 ألف - 500 ألف غاز │ │ │ │ الوقت: ميلي ثانية │ │ │ └──────────────────────┘ │ │ │ │ 6. إذا كان صالحًا → قبول الحالة الجديدة │ │ الحسم فوري │ └───────────────────────────────────────────┘

إثبات الصلاحية مقابل إثبات الاحتيال:

إثبات الصلاحية (ZK-Rollup) ─────────────────────────── دفعة المعاملات ──► إثبات الصحة ──► إرسال الإثبات ──► نهائية فورية الوقت: إنشاء الإثبات (من 10 إلى 30 دقيقة تقريبًا) + تأكيد المستوى الأول

إثبات الاحتيال (التجميع التفاؤلي) ──────────────────────────────── دفعة المعاملات ──► افتراض صحيح ──► نافذة تحدي لمدة 7 أيام ──► وقت الحسم: 7 أيام (ما لم يتم الطعن)

 بعبارات بسيطة

1. إيصال رياضيتخيل أنك حللت أحجية مكونة من 10,000 قطعة. بدلاً من أن تطلب من شخص ما التحقق من ذلك بإعادة تركيب الأحجية بالكامل (إعادة تنفيذ جميع العمليات)، فإنك تعطيه إيصالاً صغيراً يثبت رياضياً اكتمال الأحجية. هذا الإيصال هو دليل صحة الحل - صغير ولكنه قاطع.
2. ضغط الآلاف في واحد: يقوم دليل الصلاحية بضغط عملية التحقق من آلاف المعاملات في دليل واحد صغير. إثيريم يمكن التحقق من ذلك في عملية واحدة. فبدلاً من أن تعالج إيثيريوم 5,000 معاملة بشكل فردي، فإنها تتحقق من دليل واحد وتثق في أن جميع المعاملات الـ 5,000 كانت صحيحة.
3. أثبت دون عرضتعني خاصية "عدم الإفصاح عن المعلومات" أنه يمكنك إثبات صحة عملية حسابية دون الكشف عن البيانات الفعلية. على سبيل المثال، يمكنك إثبات امتلاكك رصيدًا كافيًا لإتمام معاملة ما دون الكشف عن رصيدك الدقيق، كإثبات أن عمرك يزيد عن 21 عامًا دون إظهار تاريخ ميلادك.
4. الحسم الفوري مقابل فترة الانتظارفي نظام إثباتات الصلاحية، بمجرد التحقق من صحة الإثبات على شبكة إيثيريوم، تصبح المعاملات نهائية فورًا. وهذا يختلف عن نظام التجميع التفاؤلي، حيث يجب الانتظار سبعة أيام لفترة التحدي. تستبدل إثباتات الصلاحية الثقة بالرياضيات.
5. يصعب إنشاؤها، ويسهل التحقق منهايتطلب إنشاء دليل صحة موارد حاسوبية هائلة (خوادم قوية، ومعالجة تستغرق من دقائق إلى ساعات). لكن التحقق من الدليل في غاية السهولة، إذ يمكن لعقد ذكي على شبكة إيثيريوم التحقق منه في جزء من الثانية. هذا التفاوت هو ما يمنح هذه التقنية قوتها.

 أمثلة من العالم الحقيقي

 المزايا

 العيوب والمخاطر

نصائح لإدارة المخاطر:

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

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

س: ما الفرق بين إثبات الصلاحية وإثبات الاحتيال؟

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

س: هل تُعتبر براهين الصلاحية هي نفسها براهين المعرفة الصفرية؟

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

س: لماذا تحتاج zk-SNARKs إلى إعداد موثوق به بينما لا تحتاج zk-STARKs إلى ذلك؟

تعتمد خوارزميات zk-SNARK على تشفير المنحنيات الإهليلجية، مما يتطلب توليد معلمات سرية خلال عملية أولية. إذا قام أي شخص بحفظ هذه المعلمات السرية، فبإمكانه تزوير البراهين. تعمل عمليات الحساب متعددة الأطراف على الحد من هذا الخطر. أما خوارزميات zk-STARK فتستخدم دوال التجزئة والتقنيات الجبرية التي لا تتطلب أي معلمات سرية، مما يجعلها "شفافة" - أي لا حاجة لافتراضات الثقة.

س: كم من الوقت يستغرق إنشاء دليل على الصلاحية؟

ج: يختلف وقت إنشاء الإثبات باختلاف النظام وحجم الدفعة. بالنسبة لخوارزمية ZK-Rollup التي تعالج بضعة آلاف من المعاملات، يستغرق إنشاء الإثبات عادةً من 5 إلى 30 دقيقة باستخدام أجهزة GPU أو FPGA متخصصة. وتجري الأبحاث حاليًا على تقليص هذا الوقت إلى ثوانٍ من خلال خوارزميات أفضل ومسرعات أجهزة مخصصة.

س: هل يمكن تطبيق إثباتات الصلاحية خارج نطاق تقنية البلوك تشين؟

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

مصادر

• غولدواسير، ميكالي، راكوف - "تعقيد المعرفة لأنظمة الإثبات التفاعلية" (1985)
• بن ساسون وآخرون - "سلامة حسابية قابلة للتطوير وشفافة وآمنة بعد الكم" (ورقة zk-STARKs، 2018)
• مؤسسة إيثيريوم - خارطة طريق تركز على التجميع ومواصفات إثبات الصلاحية
• فيتاليك بوتيرين - "دليل غير مكتمل لعمليات اللف" (2021)
• L2Beat — تحليل نظام الأمان والإثبات ZK-Rollup

نصيحة من UPay: عند اختيار حلول الطبقة الثانية ، توفر عمليات التجميع القائمة على إثبات الصلاحية (ZK-Rollups) عمليات سحب أسرع إلى إيثيريوم مقارنةً بعمليات التجميع التفاؤلية التي تتطلب فترة مراجعة مدتها 7 أيام. إذا كنت تنقل الأصول بشكل متكرر بين الطبقتين الأولى والثانية، فإنّ الحسم الفوري لإثباتات الصلاحية يوفر عليك وقتًا كبيرًا من الانتظار ويُحسّن كفاءة رأس المال.

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

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