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