01▲Jacobian Diagnostics for Under-Constrained Zero-Knowledge Circuits eprint.iacr.org How do you detect an under-constrained ZK circuit? By checking Jacobians, then discovering witness locality is still the annoying part.algebraic-geometryconstraint-systemseprintfinite-fieldgnarkjacobian-criterionplonkishr1cssoundnesszk0 pts/yuri/8 days ago/discuss