Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs | Publicación