Lỗ hổng ghost của Orchard chưa có bằng chứng cụ thể nhưng cộng đồng đã bị PTSD, ironwood trực tiếp dùng toán học để đảm bảo, Zcash lần này là chứng ép buộc giai đoạn cuối trong các đồng coin riêng tư.

Tin tức từ Bích Giới, Ngô Thuyết được biết, nhóm phát triển Zcash cho biết, kế hoạch thông qua hồ bơi riêng tư mới sắp ra mắt là ironwood để giới thiệu xác minh hình thức (formal verification), sử dụng phương pháp chứng minh toán học để loại bỏ rủi ro "lỗ hổng phát hành thêm không thể phát hiện (undetectable counterfeiting)". Nhóm cho biết, lỗ hổng tồn tại trong hồ bơi che chắn orchard trước đây đã được sửa chữa và chưa có bằng chứng cho thấy bị khai thác, nhưng do về mặt lý thuyết không thể xác nhận qua lịch sử trên chuỗi liệu có xảy ra phát hành thêm ẩn giấu hay không, vì vậy cộng đồng quyết định ra mắt hồ bơi che chắn ironwood hoàn toàn mới và thực hiện xác minh hình thức toàn diện cho giao thức của nó.