أعلن باحثو Zcash عن إكمال عملية التحقق الرسمي (Formal Verification) لبروتوكول Ironwood، ونشروا برهانًا رياضيًا تم التحقق منه آليًا يثبت أن مجمع المعاملات المحمية (Shielded Pool) الجديد في الشبكة لا يحتوي على ثغرات تسمح بإنشاء عملات مزيفة دون إمكانية اكتشافها، وذلك في ظل الافتراضات التشفيرية التي يعتمد عليها النظام.
وأفاد Project Tachyon يوم الثلاثاء بأن البرهان، المكتوب بلغة البرمجة Lean، يضم أكثر من 2,700 نظرية رياضية، واستغرق إنجازه أكثر من شهر بمشاركة ثلاثة فرق من الباحثين وخبراء التشفير.
ويثبت هذا العمل خاصية أمنية تُعرف باسم سلامة الرصيد (Balance Integrity)، والتي تهدف إلى ضمان ألا يتمكن المجمع المحمي من صرف قيمة مالية تتجاوز إجمالي القيمة التي دخلت إليه بصورة علنية عبر السجل العام.
وأوضح الباحثون أن البرهان يغطي جميع المكونات اللازمة لإثبات هذه الخاصية، بما في ذلك نظام إثباتات المعرفة الصفرية (Zero-Knowledge Proofs) الخاص بـ Ironwood، وقواعد الدوائر الحسابية (Circuits)، وآليات المحاسبة على مستوى دفتر الأستاذ (Ledger). في المقابل، لا يشمل البرهان الضمانات المتعلقة بخصوصية المستخدمين التي يوفرها Ironwood.
وكان Ironwood قد أُطلق ضمن ترقية NU6.3 لشبكة Zcash بعد اكتشاف ثغرة في مجمع المعاملات المحمية Orchard، كان من الممكن نظريًا أن تسمح بإنشاء عملات ZEC مزيفة دون إمكانية اكتشافها. وأكد مطورو Zcash أنهم لم يعثروا على أي دليل يشير إلى استغلال هذه الثغرة، إلا أن تصميم المجمع الجديد يهدف إلى استعادة الثقة في سلامة المعروض النقدي للشبكة.
وتنتقل الأموال من Orchard إلى Ironwood عبر نقطة محاسبية عامة تُعرف باسم Turnstile، صُممت لمنع أي عملات زائدة - في حال كانت قد نتجت عن الثغرة المفترضة - من الدخول إلى المجمع الجديد. كما أن عملية نقل الأموال خارج Orchard قد توفر تدريجيًا مزيدًا من الأدلة حول ما إذا كان المجمع القديم قد تعرض للاستغلال في أي وقت.