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.
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.