ZK audits ≠ smart contract audits. What sets them apart? @FormallyJon breaks it down on the @HouseofZK podcast.