ConsCS: Effective and Efficient Verification of Circom Circuits

Circom is a popular programming language for writing arithmetic circuits that can be used to generate zero-knowledge proofs (ZKPs) like zk-SNARKS. ZKPs have received tremendous attention in protocols like zkRollups. The Circom circuits are compiled to Rank-1 Constraint Systems (R1CS) circuits, based...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings / International Conference on Software Engineering pp. 616 - 628
Main Authors:	Jiang, Jinan, Peng, Xinghao, Chu, Jinzhao, Luo, Xiapu
Format:	Conference Proceeding
Language:	English
Published:	IEEE 26.04.2025
Subjects:	Circuits Cognition Computer languages Data mining Engines Protocols Security Software algorithms Software engineering Writing
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!