أكمل باحثو عملة Zcash الرقمية التحقق الرسمي من بروتوكول Ironwood، ونشروا إثباتاً تم فحصه بواسطة الحاسوب يؤكد أن حوض الخصوصية الجديد للشبكة لا يحتوي على أخطاء تزوير غير قابلة للاكتشاف، وذلك وفقاً للافتراضات التشفيرية المعلنة.
إثبات رياضي يعزز أمان الشبكة
أعلن مشروع Tachyon يوم الثلاثاء أن هذا الإثبات، الذي تمت كتابته بلغة البرمجة Lean، يتكون من أكثر من 2700 نظرية رياضية، واستغرق إنجازه أكثر من شهر بمشاركة ثلاثة فرق من الباحثين وخبراء التشفير. يحدد هذا العمل خاصية أمنية تُعرف بـ “سلامة الرصيد”، والتي تهدف إلى ضمان عدم قدرة حوض الخصوصية على صرف قيمة أكبر مما تم إيداعه فيه بشكل علني.
تغطية المكونات الأساسية
أوضح الباحثون أن الإثبات يغطي جميع المكونات اللازمة لتحقيق تلك الخاصية، بما في ذلك نظام إثبات المعرفة الصفرية الخاص بـ Ironwood، وقواعد الدوائر الحسابية، والمحاسبة على مستوى دفتر الأستاذ. ومع ذلك، لا يغطي هذا الإثبات ضمانات الخصوصية المنفصلة التي يوفرها Ironwood.
سبب تطوير Ironwood
تم تقديم بروتوكول Ironwood من خلال التحديث NU6.3 لعملة Zcash، وذلك كرد فعل على ثغرة أمنية تم اكتشافها في حوض Orchard الخاص بها، والتي كانت يمكن أن تسمح نظرياً بتزوير عملات ZEC دون أن يتم اكتشافه. وأكد مطورو Zcash أنهم لم يعثروا على أي دليل على استغلال هذه الثغرة. وتم تصميم الحوض الجديد لاستعادة الثقة في سلامة إمدادات عملة Zcash.
آلية الترحيل الآمن
يجب أن تمر الأموال المهاجرة من حوض Orchard عبر نقطة تفتيش محاسبية عامة تُعرف باسم “الباب الدوار” (Turnstile)، والتي صُممت لمنع أي عملات زائدة افتراضية من الدخول إلى Ironwood. ومع خروج الأموال من Orchard، قد توفر هذه العملية أيضاً أدلة متزايدة حول ما إذا كان الحوض القديم قد تم استغلاله بالفعل.
أسئلة وأجوبة شائعة
- س: ما هو الإثبات الرسمي الذي نشره باحثو Zcash؟
ج: نشروا إثباتاً رياضياً تم فحصه بواسطة الحاسوب باستخدام لغة البرمجة Lean، ويؤكد أن حوض الخصوصية Ironwood الجديد لا يحتوي على أخطاء تزوير غير قابلة للاكتشاف، وذلك لضمان سلامة الرصيد ومنع صرف عملات وهمية. - س: لماذا تم تطوير بروتوكول Ironwood؟
ج: تم تطويره بعد اكتشاف ثغرة أمنية في حوض Orchard القديم كانت قد تسمح بتزوير عملات ZEC. ويهدف Ironwood إلى استعادة الثقة في سلامة إمدادات العملة ومنع أي تجاوزات محاسبية. - س: كيف تضمن Zcash انتقالاً آمناً للأموال من الحوض القديم إلى الجديد؟
ج: من خلال آلية “الباب الدوار” (Turnstile)، وهي نقطة تفتيش محاسبية عامة، تمنع أي عملات إضافية أو وهمية من الانتقال إلى الحوض الجديد، وتوفر أدلة حول إمكانية استغلال الحوض القديم.
