v2.2.3

October 24, 2025 circom 2.2.3

Extensions

• Allow extern C++ functions to be used for custom templates in the produced C++ witness generation code. More information here.
• A new compilation flag is added: —sanity_check. Depending on the selected level (default is 2) introduces more or less sanity checks in the produced wasm or C++ witness generation code. More information here.
• Flag constraint_assert_disabled is now removed (use option —sanity_check 0)
• Anonymous components and buses are now allowed inside inline arrays. More information here.

Improvements

• Improving documentation.
• Goldilocks numbers are represented in C++ code using uint64_t.

Fixed bugs

• Errors and warning were swapped in custom-gates analysis for if-then-else statements.
• Handling assignments of arrays when dimensions are incomplete to avoid errors.
• Fixing JSON input reading type check in main.cpp (witness generation).
• Fixing minor panic in multiple assignments analysis
• Fixing minor panic in tag propagation for assignment statements and arrays.
• Fixing minor panic in anonymous processing.
• Fixing minor issue related to the size of the stack of auxiliary expressions.
• Fixing minor panic in function calls with buses as parameters.