Certora Chief Scientist Mooly Sagiv: Blockchain security is more than just code

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