ETHKL24 | Rahul Saxena, Spearbit | Designing Static Analysis Tooling for Your Circuits