arXiv cs.CR·17d agoSound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits#abstract-interpretation#circuit-optimization#ezklResearch1