Kostas Ferles - Practical Security Analysis of Zero-Knowledge Proof Circuits | CyLab | Podwise