Shielded Labs says Ironwood may show whether excess ZEC ever tries to leave Orchard, while ZEC partially recovered from last week’s sell-off.

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

Zcash's emergency hard fork patched a critical Orchard vulnerability, but the secretive coordination by three developers raises serious governance concerns.