Kerentanan hantu Orchard belum terbukti tapi komunitas sudah PTSD, ironwood langsung menjamin secara matematis, Zcash ini adalah obsesif-kompulsif tingkat lanjut di koin privasi.

Berita dari Biye Jie, Wu mengatakan bahwa tim pengembang Zcash mengumumkan rencana untuk memperkenalkan verifikasi formal (formal verification) melalui kolam privasi baru yang akan datang bernama Ironwood, untuk menghilangkan risiko "pemalsuan yang tidak terdeteksi" (undetectable counterfeiting) dengan cara pembuktian matematis. Tim menyatakan bahwa meskipun kerentanan pada kolam shielding Orchard sebelumnya telah diperbaiki dan belum ada bukti bahwa kerentanan tersebut telah dieksploitasi, namun karena secara teoritis tidak mungkin untuk memastikan melalui riwayat on-chain apakah pernah terjadi pemalsuan tersembunyi, maka komunitas memutuskan untuk meluncurkan kolam shielding Ironwood yang baru dan melakukan verifikasi formal menyeluruh terhadap protokolnya.