Ethereum privacy network Aztec has released an upgrade called Tierra, fixing a critical vulnerability in the previous version and adding formal verification and an AI-driven testing framework.