إذا كنت تسأل عن التحقق من المعروض المتداول لـ Zcash بموجب اقتراح Ironwood، فإن الفكرة الرئيسية هي:
الخلفية
تم اكتشاف ثغرة حيوية في مجموعة Orchard المحمية في Zcash وتم إصلاحها في تحديث طارئ. على الرغم من عدم وجود دليل حالي على أن الثغرة تم استغلالها، فإن خصائص الخصوصية في Orchard تعني أن المستخدمين لا يمكنهم إثبات بشكل مستقل أنه لم يتم إنشاء أي $ZEC غير قانوني.
ما الذي تغير في Ironwood
التحديث المقترح Ironwood ينشئ مجموعة محمية جديدة ويجمد بشكل فعال مجموعة Orchard القديمة من إنشاء مخرجات داخلية جديدة. يمكن أن تغادر الأموال Orchard فقط من خلال آلية المحاسبة Turnstile الموجودة في Zcash وتنتقل إلى Ironwood.
كيف يعمل التحقق من العرض المتداول
تحت «Ironwood»:
يمكن للمستخدمين تشغيل عقدة وجمع أرصدة المجمّعات النشطة.
تضمن آلية «Turnstile» ألا تتمكن أي ZEC من الخروج من «Orchard» بأكثر مما تم إدخاله إليها بشكل شرعي.
لذلك، بمجرد تفعيل «Ironwood»، يقدم البروتوكول نفسه حدًا أعلى قابلًا للتحقق به للعرض المتداول.
لم يعد على المستخدمين الوثوق ببيانات المطورين حول ما إذا كانت عُقدة «Orchard» قد استُغلت أم لا؛ إذ يمكنهم التحقق من اتساق الإمداد من خلال قواعد الإجماع وأرصدة المجمّعات.
لماذا هذا مهم
إن المشكلة غير محلولة بعد إصلاح «Orchard» ليست هي الثغرة نفسها، بل عدم القدرة على التحقق بشكل مستقل من أن العرض المتداول يبقى صحيحًا. صُمم «Ironwood» تحديدًا لاستعادة هذه الخاصية.
دليل محتمل على استغلال سابق
قد يُظهر «Ironwood» أيضًا ما إذا كان «ZEC» مزور قد وُجد على الإطلاق:
إذا مضت عملية الهجرة ولم تحاول أي ZEC فائضة الخروج من «Orchard»، فسيكون ذلك دليلًا قويًا على عدم حدوث تزوير.
إذا حاولت ZEC فائضة إجراء الهجرة، فستمنع آلية «Turnstile» دخولها إلى المجمّع الجديد، مما يخلق دليلًا ظاهرًا على السلسلة (on-chain) بأن الاستغلال قد حدث.
بيان تحقق موجز
تُعيد مقترحة «Ironwood» التحقق من العرض المتداول عبر إجبار جميع أموال «Orchard» على المرور عبر «Turnstile» مُفروض من الإجماع إلى مجمّع محمي جديد، مما يتيح لأي شخص يشغّل عقدة التحقق من أن مقدار «ZEC» في التداول لا يتجاوز المقدار الذي يحسبه البروتوكول بشكل شرعي.
إذا كنت تبحث عن تحقق بصيغة تدقيق رسمي لنموذج محاسبة الإمداد أو عن شرح رياضي لآلية «Turnstile»، يمكنني تفصيل معادلات المحاسبة خطوة بخطوة.