Zcash تعتمد التحقق الرسمي لتحديث Ironwood

2 دقيقة قراءة

انتقل مطورو Zcash إلى التحقق الرسمي لترقية شبكة Ironwood عقب كشف عيب محاسبي حديث في مجموعة Orchard المحمية كشف حدود التدقيقات التقليدية. العيب، الذي وجده باحث Shielded Labs تايلور هورنبي، تم تصحيحه قبل استغلاله المعروف. يقول الفريق إن التزوير غير القابل للكشف ينبع من عيوب في المواصفة أو افتراضات التشفير، لا من أخطاء في التنفيذ، ويركزون proofs على مواصفة التشفير الخاصة بـ Ironwood باستخدام محقق نظرية Lean بمساهمة من zkSecurity وZcash Open Development Lab. سِيقفل Ironwood المجموعة المحمية القديمة، ويطلق بديلاً مصححاً، ويستخدم ترحيلاً من نوع turnstile لإثبات سلامة العرض عند تفعيله في يوليو 2026.

سيتم التحقق الرسمي من المواصفات في Ironwood لمنع التزوير غير القابل للكشف.