formal verification

In the wake of a recently disclosed vulnerability in Zcash’s Orchard protocol — a flaw that could have enabled the infinite minting of.