Verifikasi formal + kolam baru, kali ini Zcash ingin mendorong standar keamanan koin privasi ke tingkat matematika, dan ancaman Orchard akhirnya memiliki solusi yang benar-benar tuntas.

Wu mengatakan bahwa tim pengembangan Zcash menyatakan bahwa mereka berencana untuk memperkenalkan Verifikasi Formal (Formal Verification) melalui kolam privasi baru yang akan datang, Ironwood, untuk menghilangkan risiko "Celah Pembuatan Uang Palsu yang Tidak Terdeteksi (Undetectable Counterfeiting)" dengan bukti matematis. Tim mengatakan bahwa meskipun celah yang ada di kolam privasi Orchard sebelumnya telah diperbaiki dan tidak ada bukti yang menunjukkan telah dieksploitasi, namun karena secara teoritis tidak mungkin untuk mengonfirmasi melalui riwayat on-chain apakah pernah terjadi pembuatan uang palsu yang tersembunyi, komunitas memutuskan untuk meluncurkan kolam privasi Ironwood yang baru dan melakukan verifikasi formal secara menyeluruh pada protokolnya.