Circom 2.0
Circuit Compiler for ZK Proving Systems
Circom is a novel domain-specific language for defining arithmetic circuits and its associated compiler written in Rust language.
Our open-source library of templates called CircomLib is publicly available to practitioners and developers. The library contains multiple circuit templates that have been reviewed and proven to work by our research team.
The implementations of the proving systems are also available in our libraries: SnarkJS, written in Javascript and Pure Web Assembly; and rapidsnark written in C++ and has assembly optimizations for x86_64 and ARM processors.
This way, Circom aims to provide developers with a holistic framework to construct arithmetic circuits through an easy-to-use interface and abstract the complexity of the proving mechanisms.