⚠ Important deprecation note
circom is a compiler written in Rust. The old
About the circom ecosystem
The circom compiler and its ecosystem of tools allows you to create, test and create zero knowledge proofs for your circuits.
circom is a compiler written in Rust for compiling circuits written in the
The compiler outputs the representation of the circuit as constraints and everything needed to compute different ZK proofs.
circom, it is possible to create large circuits by combining smaller generic circuits called
circomlib is a library of
circom templates that contains hundreds of circuits such as comparators, hash functions, digital signatures, binary and decimal convertors and many more. You can also create your custom templates, but before start coding, we recommend you to take a look at our already created templates.
The package already contains tests for circuits available in the
The package also installs the npm packages
This library is used to check that the witness computed
using the wasm or c code generated by
circom form many circuits in the
The package includes these programs in the src directory. In the test directory it includes its own tests. In the tools directory it includes programs to precompute some needed parameters.
circomtester is a npm package that provides tools for testing
snarkjs is a npm package that contains code to generate and validate ZK proofs from the artifacts produced by