وو شو قال إن فريق تطوير Zcash أعلن عن خطط لتقديم التحقق الرسمي (Formal Verification) من خلال بركة الخصوصية الجديدة القادمة Ironwood، وذلك لإثبات رياضيًا القضاء على خطر "التزوير غير القابل للكشف" (Undetectable Counterfeiting). وأوضح الفريق أن الثغرة الموجودة سابقًا في بركة Orchard المحمية قد تم إصلاحها ولا توجد أدلة على استغلالها، ولكن نظرًا لاستحالة التأكد من خلال سلسلة الكتل تاريخيًا ما إذا كان قد حدث تزوير مخفي، قررت المجتمع إطلاق بركة Ironwood المحمية الجديدة وإجراء تحقق رسمي شامل على بروتوكولها.