スタティックアナライザーであるVanguardを開発したきっかけと、Solidityを超えてどのように拡張したのでしょうか?@FormallyJonは@HouseofZKポッドキャストで説明しています。
546