Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs. - Shankara Pailoor; Yanju Chen; Franklyn Wang; Clara Rodríguez-Núñez; Jacob Van Gaffen; Jason Morton; Michael Chu; Brian Gu; Yu Feng 001; Isil Dillig (IACR Cryptol. ePrint Arch., 2023)