فعّل مطورو Zcash ترقية Ironwood على ارتفاع الكتلة 3,428,143 ضمن ترقية الشبكة NU6.3، ما استبدل حوض Orchard المُشفّر بأداة بديلة مُتحقَّق منها رسميًا. جاء الاستبدال بعد اكتشاف الباحث Taylor Hornby في أواخر مايو لخلل “infinity bug” في Orchard كان يشكّل خطراً نظريًا بخصوص إمكانية إنشاء ZEC مزيف بشكل غير قابل للاكتشاف. وقد أدّى هذا الخلل في أحد المكوّنات الأساسية لآليات الخصوصية لدى Zcash إلى ما وصفه المطورون بأنه “اندفاعة تطوير بوضع الحرب” لتمكين نشر بديل كامل بدلًا من الاكتفاء بإصلاح رقعة.
اكتشاف Hornby خلل Orchard “infinity bug” في أواخر مايو
اكتشف Taylor Hornby، الباحث في Shielded Labs، خلل Orchard “infinity bug” في أواخر مايو. كان العيب موجودًا بعمق داخل دائرة المعرفة الصفرية الخاصة بـOrchard، ويطرح خطراً نظريًا بخصوص سكّ ZEC مزيف دون ترك أي أثر يمكن رصده علنًا. لم تظهر أي أدلة على أن الثغرة استُغِلَت من قبل. فقد ZEC أكثر من نصف قيمته بعد أن أصبحت إفصاحات الخلل متاحة للعامة.
طبّقت فرق العمل ترقيعات طارئة في أوائل يونيو عطّلت Orchard مؤقتًا. وصلت دائرة مصحّحة عبر تفرّع صلب NU6.2 خلال خمس أيام. وذكر المطورون أنه من المستحيل رياضيًا إثبات اليقين بعدم حدوث تضخم خفي داخل الحوض القديم، ما جعل الاستبدال الكامل هو المسار الوحيد لاستعادة تكامل العرض القابل للتحقق.
اقترح Zooko Wilcox، المؤسس المشارك لـShielded Labs، في البداية استبدال Orchard بالكامل. أعقب ذلك نحو 60 يومًا من تطوير منسّق عبر Shielded Labs وZcash Open Development Lab (ZODL) وProject Tachyon وValar Group ومؤسسة Zcash. قال مدير ZODL التنفيذي Josh Swihart إن المهندسين من منظّمته ساهموا بنسبة 82% من التغييرات المدمجة عبر مستودعات بروتوكول Zcash والمحفظة خلال جهود الاستبدال.
Ironwood أدخل نظام محاسبة منفصل وملاحظات قابلة للاسترداد الكمي
قدّمت Ironwood نظام محاسبة منفصلًا بالكامل، مع شجرة التزام بالملاحظة خاصة بها، ومجموعة “nullifier”، وحوض قيمة على السلسلة. يتيح هذا الهيكل لأي عقدة تتبع حوضها المُشفّر الجديد بشكل مستقل عن كل ما سبق.
تم تثبيت نقطة تدقيق محاسبية عامة، يصفها المشروع بأنها “ممرّ دوّار”. يمكن للأموال أن تغادر Orchard عبر ذلك الممرّ، لكن يحول الآليّة رياضيًا دون خروج قيمة أكبر مما دُخل بشكل شرعي إلى الحوض الأقدم. أي عملات مزيفة افتراضية تم سكّها داخل Orchard قبل أو أثناء نافذة الثغرة ستُحبس هناك بشكل دائم، بحيث لا يمكنها تلويث محاسبة العرض لدى Ironwood.
ضمّ الحوض الجديد ملاحظات قابلة للاسترداد الكمي بحسب ZIP 2005. لا تجعل هذه الميزة معاملات Zcash آمنة كمّيًا اليوم؛ إذ سيظل مطلوبًا تصميم بروتوكول استرداد منفصل وتفعيله في المستقبل. أنهت ترقية NU6.3 دعم تطبيق Zebra كتنفيذ عقدة مطلوب، مُنهيةً دعم برنامج zcashd الأقدم عبر الشبكة.
Project Tachyon أكمل تحققًا رسميًا من 2,700 نظرية
أكمل Project Tachyon برهانًا رياضيًا مُتحقَّقًا آليًا إلى جانب مطوري Zcash. وباللغة البرمجية Lean، يتألف البرهان من أكثر من 2,700 نظرية طُوِّرت خلال أكثر من شهر بواسطة ثلاثة فرق من الباحثين وعلماء التشفير. يتحقق البرهان رسميًا من أنه لا يمكن لـIronwood إنشاء ZEC مزيف غير قابل للاكتشاف وفق افتراضات التصميم التي أعلنها.
يتناول البرهان المكوّنات المطلوبة لتكامل الرصيد: نظام برهان المعرفة الصفرية لدى Ironwood، وقواعد الدائرة، والمحاسبة على مستوى دفتر الأستاذ. قال Sean Bowe، المؤسس المشارك لدى Zcash: “لقد غيّرت شراكة عبر فرق العمل للتو تاريخ Zcash إلى الأبد، مُزيلًا جميع مصادر أخطاء التزوير غير القابل للاكتشاف من بروتوكول Ironwood الجديد.”
يشمل التحقق الرسمي تكامل الرصيد فقط، ولا يمتد إلى ضمانات الخصوصية المنفصلة لدى Ironwood. إن قابلية سلامة العرض وخصوصية المعاملات خصائص منفصلة، ويتناول البرهان الأولى فقط.
مُتتبّع الهجرة يُظهر نقل 40,207 ZEC إلى Ironwood
دخلت Orchard مرحلة خروج فقط. لم يعد الحوض يقبل نشاطًا مشفّرًا جديدًا، لكن يمكن للمستخدمين سحب الأموال وفق تقديرهم. ووفقًا لمُتتبّع هجرة Zcash، فقد انتقلت تقريبًا 40,207 ZEC إلى Ironwood منذ التفعيل. ولا تزال تقريبا 3.6 مليون ZEC داخل Orchard بانتظار الهجرة.
عند ذروتها، كانت Orchard تُشكّل ما يقرب من 88% من إجمالي عرض رمز Zcash المُشفّر، وفق بيانات من The Block، في حين كانت أحواض Sapling وSprout الأقدم هي الباقي.
الأسئلة الشائعة
ما هي ترقية Zcash Ironwood؟
Ironwood هي ترقية لشبكة Zcash استبدلت حوض Orchard المُشفّر المعرضة للضعف بحوض مُشفّر متحقق منه رسميًا. تم تفعيلها على ارتفاع الكتلة 3,428,143 ضمن التفرّع الصلب NU6.3.
لماذا كانت ترقية Ironwood ضرورية؟
كانت الترقية ضرورية لأن خللًا “infinity bug” اكتُشف في حوض Orchard في أواخر مايو كان يشكّل خطراً نظريًا بخصوص إنشاء ZEC مزيف غير قابل للاكتشاف. وذكر المطورون أنه من المستحيل رياضيًا إثبات أن الخلل لم يُستغل أبدًا، ما جعل الاستبدال الكامل ضروريًا بدلًا من الاعتماد على رقعة فقط.
ماذا يحدث للأموال التي لا تزال داخل حوض Orchard؟
دخلت Orchard مرحلة خروج فقط. ما يزال بإمكان المستخدمين سحب الأموال من الحوض، لكن الحوض لم يعد يقبل معاملات مشفّرة جديدة. تبقى نحو 3.6 مليون ZEC داخل Orchard بانتظار الهجرة إلى Ironwood، بينما تم نقل حوالي 40,207 ZEC بالفعل عبر ذلك.
