{"article":{"@attributes":{"key":"journals\/corr\/abs-2403-15676","publtype":"informal","mdate":"2026-04-10"},"author":["Hao Chen 0123","Minyu Chen 0002","Ruibang Liu","Guoqiang Li 0001"],"title":"AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs.","year":"2024","volume":"abs\/2403.15676","journal":"CoRR","ee":"https:\/\/doi.org\/10.48550\/arXiv.2403.15676","url":"db\/journals\/corr\/corr2403.html#abs-2403-15676"}}