In response, it announced a $10 million initiative to improve protocol-level audits and formal verification tools.