ConsCS: Effective and Efficient Verification of Circom Circuits. - Jinan Jiang; Xinghao Peng; Jinzhao Chu; Xiapu Luo (ICSE, 2025)