The issues with Zcash might also appear in other projects in the future. AI is making strides as an attacker, but its role as a defender has yet to emerge. According to Vitalik's vision, the ultimate solution for security is formal verification. AI's biggest role as a defender is to accelerate formal verification. We're in a very early stage, similar to the early days of internet security. Although blockchain is much more complex, it's not unsolvable.