Those are some fairly scary bugs! Zcash is a highly ambitious protocol, so perhaps some nasty bugs were to be expected - but still, double-spending is probably

Those are some fairly scary bugs! Zcash is a highly ambitious protocol, so perhaps some nasty bugs were to be expected - but still, double-spending is probably enough to take down the production network? (I haven't followed all details of Zcash, and remain unconvinced that it would actually be a good thing if Zcash succeeded - note that Bitcoin hasn't so much brought a new libertarian era of free thought as ransomware, hacking and old-fashioned crooks.)