Wu disse que a equipa de desenvolvimento da Zcash afirmou que planeia introduzir a Verificação Formal através do novo pool de privacidade Ironwood, que será lançado em breve, para eliminar o risco de "vulnerabilidade de contrafação indetetável (Undetectable Counterfeiting)" através de provas matemáticas. A equipa afirmou que, embora a vulnerabilidade existente no pool protegido Orchard tenha sido corrigida e não haja evidências de que tenha sido explorada, como teoricamente não é possível confirmar através do histórico on-chain se ocorreu uma emissão oculta, a comunidade decidiu lançar um novo pool protegido Ironwood e realizar uma verificação formal completa do seu protocolo.