ConsCS: Effective and Efficient Verification of Circom Circuits.

Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo

Browse the full ICSE paper archive.