"It's much easier to steal money in crypto." @SagivMooly , Chief Scientist and Co-founder of @Certora , explains why the stakes are higher in DeFi and how formal verification is changing the game against sophisticated attackers like North Korea. Full interview 👇 (The Defiant)