O bug fantasma do Orchard não foi confirmado, mas a comunidade está com PTSD, ironwood usa matemática para garantir, Zcash é um caso grave de TOC entre as moedas de privacidade.

Mensagem do CoinWorld, Wu disse que a equipe de desenvolvimento do Zcash afirmou que planeja introduzir verificação formal (formal verification) através do novo pool de privacidade Ironwood, eliminando o risco de "falsificação indetectável" (undetectable counterfeiting) por meio de prova matemática. A equipe disse que, embora a vulnerabilidade no pool de blindagem Orchard anterior tenha sido corrigida e não haja evidências de exploração, como teoricamente não é possível confirmar através do histórico da cadeia se ocorreu falsificação oculta, a comunidade decidiu lançar um novo pool de blindagem Ironwood e realizar uma verificação formal completa de seu protocolo.