This article again shows the value of formal verification when working with crypto the Zcash team has excellent engineers who follow good practices, but that's not enough given the complexity and subtlety of these types of bugs