Manuel Aráoz is the co-founder of OpenZeppelin, a leading smart contract security firm. He recently declared all of DeFi unsafe due to AI-powered coding agents.