تنجز Zcash التحقق الرسمي من Ironwood، باستخدام قواعد إثبات تتألف من 2,700 نظرية وتستبعد التزوير غير القابل للكشف

بحسب مشروع Tachyon، أكمل باحثو Zcash يوم الثلاثاء التحقق الرسمي من Ironwood، ونشروا برهانًا مُدققًا آليًا يثبت أن تجمع الحماية الجديد في الشبكة لا يحتوي على أخطاء تزوير غير قابلة للكشف، وفق افتراضاتها التشفيرية المعلنة.

يتضمن البرهان، المكتوب بلغة البرمجة Lean، أكثر من 2,700 نظرية، وقد اكتمل بواسطة ثلاث فرق من الباحثين وخبراء التشفير على مدار أكثر من شهر. ويُرسّخ هذا العمل سلامة التوازن، بما يضمن أن تجمع الحماية لا يمكنه صرف قيمة أكبر مما تم إدخاله فيه علنًا. ويغطي البرهان نظام إثبات المعرفة الصفرية لدى Ironwood، وقواعد الدوائر، والمحاسبة على مستوى دفتر الأستاذ، رغم أنه لا يتناول ضمانات الخصوصية.