是什麼促使我們開發Vanguard，我們的靜態分析器，以及我們是如何將其擴展到Solidity以外的？@FormallyJon在@HouseofZK播客中解釋。