Chief Scientist of Certora, Mooly Sagiv, believes that the biggest security risks in crypto are not complex code vulnerabilities, but simpler issues such as key management and human errors. At the Breakpoint 2025 conference, he emphasized that audits do not guarantee security and advocated for combining formal verification with manual review. Sagiv pointed out that formal verification integrated into continuous integration (CI) pipelines can discover "unknown unknowns," but he warned that its effectiveness depends on the correct definition of properties. He also downplayed the significance of artificial intelligence as a existential threat, considering it both a tool for attackers and a tool for defenders.