ConsCS: Effective and Efficient Verification of Circom Circuits
Year: 2025
Type: conference-paper
Authors: Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo
Institution: Hong Kong Polytechnic University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4411552685