吴说获悉，Tim pengembang Zcash menyatakan bahwa mereka berencana untuk memperkenalkan Verifikasi Formal (Formal Verification) melalui kolam privasi baru yang akan segera diluncurkan, Ironwood, guna menghilangkan risiko "Kerentanan Pencetakan Uang yang Tidak Terdeteksi (Undetectable Counterfeiting)" dengan pembuktian matematis. Tim menyebutkan bahwa meskipun kerentanan yang ada di kolam terlindungi Orchard sebelumnya telah diperbaiki dan belum ada bukti bahwa kerentanan tersebut telah dieksploitasi, namun karena secara teoritis tidak mungkin untuk memastikan apakah telah terjadi pencetakan uang tersembunyi melalui riwayat on-chain, komunitas memutuskan untuk meluncurkan kolam terlindungi Ironwood yang baru dan melakukan verifikasi formal secara menyeluruh pada protokolnya.