circom Compiler

circom has two compilation phases:

1. The construction phase, where the constraints are generated.
2. The code generation phase, where the code to compute the witness is generated.