v2.0.9

Release notes

September 21, 2022 circom 2.0.9

Extension

• Adding a warning if the programmer is using the operator <-- when it is possible to use <== instead (if the right side is a quadratic expression and the instruction is not contained in a custom template).
• Signal ids in custom templates changed to 64 bits.
• Array sizes are expected to be usize. Now, we throw an error in other case.
• Separating optimization option -O2 in two different options: --O2 and --O2rounds. Explanation can be found here. The default option is currently --O2.
• Writing Sections 4 and 5 of the r1cs file, only if "pragma custom_templates" is used (which is needed if custom templates are present).
• Improving --O1 optimization.
• Adding a new documentation section about the different compilation options and flags.

Fixed bugs

• Fixing -l option to disallow several values for one option: each value must have its own -l option.