What led us to develop Vanguard, our static analyzer, and how did we extend it beyond Solidity? @FormallyJon explains on the @HouseofZK podcast.