Zcash researchers said formal verification may help prevent similar shielded-pool bugs after the Orchard vulnerability renewed security concerns.

A Zcash vulnerability could have allowed double-spending within the network's flagship privacy pool, though no exploitation occurred.

Zcash said developers temporarily suspended Orchard transactions to patch a critical bug, after explorer data sparked outage claims.