[PLDI'23] Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs

ACM SIGPLAN - [PLDI'23] Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs