Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo. ConsCS: Effective and Efficient Verification of Circom Circuits. In 47th IEEE/ACM International Conference on Software Engineering, ICSE 2025, Ottawa, ON, Canada, April 26 - May 6, 2025. pages 616-628, IEEE, 2025. [doi]
Abstract is missing.