Merge pull request #348 from costa-group/release

Adding changes version 2.2.2

Author: clararod9

Cargo.lock

@@ -23,6 +23,8 @@ Circom language reference can be found at [circom language reference](https://do
 
 At this time there are two available syntax highlighters: [circom Visual Studio Code highlight syntax](https://github.com/iden3/circom-highlighting-vscode) and  [circom Vim highlight syntax](https://github.com/iden3/vim-circom-syntax).
 
+The circom development team is part of the COSTA research group at the Complutense University of Madrid.
+
 # Documentation
 All documentation is available in [circom 2 Documentation](https://docs.circom.io/), we encourage you to read it. If you are new start with the [Getting started section](https://docs.circom.io/getting-started/installation/).
 Basic background on Zero-knowledge proofs can be found on [Background section](https://docs.circom.io/background/background/).

README.md

@@ -1,4 +1,21 @@
 # Release notes
+## March 11, 2025 circom 2.2.2
+#### Extensions
+- Adding a new prime number: bls12377.
+- Adding an r1cs reader.
+- Adding a new compilation flag --no_asm: If activated, it does not use asm files for witness generation code in C++.
+- Adding a new compilation flag --no_init: If activated, it removes zero-initializations of circom variables (var).
+
+#### Improvements
+- Adding a specific 64-bit arithmetization for Goldilocks in C++ (not using asm), which dramatically improves witness generation efficiency for this prime.
+- Generation of full C++ code for the arithmatization (for the prime in use) as an alternative to asm code. This is activated with the new --no_asm flag and provides C++ witness generation code which is independent from the architecture being used.
+- Improving the analysis of signal double assigment: branch case no longer causes an error in assignments in different branches.
+- Improving the generated C++ code by removing unnecessary instructions.
+  
+###Fixed bugs
+- Fixing a panic in type analysis.
+
+
 ## November 12, 2024 circom 2.2.1
 #### Improvements: 
 - Improving the use and heritance of tags inside buses. Now the values are propagated correctly following the same rules as arrays.
@@ -8,7 +25,6 @@
 - Improving error messages.
 - Improving error recovery in parser.
 - Adding flag --constraint_assert_dissabled. When this flag is activated the compiler does not add asserts in the generated code (C++, WASM) for === constraint equalities
-
 
 #### Fixed bugs: 
 - Importing function printDebug removed from WASM (circom tests from circomlib working now).

RELEASES.md

@@ -21,8 +21,10 @@ pub struct CompilerConfig {
     pub c_flag: bool,
     pub debug_output: bool,
     pub produce_input_log: bool,
-    pub constraint_assert_dissabled_flag: bool,
+    pub constraint_assert_disabled_flag: bool,
     pub vcp: VCP,
+    pub no_asm_flag: bool,
+    pub prime: String,
 }
 
 pub fn compile(config: CompilerConfig) -> Result<(), ()> {
@@ -35,7 +37,9 @@ pub fn compile(config: CompilerConfig) -> Result<(), ()> {
                 debug_output: config.debug_output, 
                 produce_input_log: config.produce_input_log, 
                 wat_flag: config.wat_flag,
-                constraint_assert_dissabled_flag: config.constraint_assert_dissabled_flag,
+
+                constraint_assert_disabled_flag: config.constraint_assert_disabled_flag,
+                no_asm_flag: config.no_asm_flag,
             },
             VERSION
         )?;
@@ -48,21 +52,50 @@ pub fn compile(config: CompilerConfig) -> Result<(), ()> {
                 config.c_file,
                 config.dat_file
             );
-            println!(
-                "{} {}/{}, {}, {}, {}, {}, {}, {} and {}",
-                Colour::Green.paint("Written successfully:"),
-            &config.c_folder,
-                "main.cpp".to_string(),
-                "circom.hpp".to_string(),
-                "calcwit.hpp".to_string(),
-                "calcwit.cpp".to_string(),
-                "fr.hpp".to_string(),
-                "fr.cpp".to_string(),
-                "fr.asm".to_string(),
-                "Makefile".to_string()
-            );
+            if config.no_asm_flag {                
+                println!(
+                    "{} {}/{}, {}, {}, {}, {}, {} and {}",
+                    Colour::Green.paint("Written successfully:"),
+                    &config.c_folder,
+                    "main.cpp".to_string(),
+                    "circom.hpp".to_string(),
+                    "calcwit.hpp".to_string(),
+                    "calcwit.cpp".to_string(),
+                    "fr.hpp".to_string(),
+                    "fr.cpp".to_string(),
+                    "Makefile".to_string()
+                );
+            } else {
+                if config.prime == "goldilocks" {
+                    println!(
+                        "{} {}/{}, {}, {}, {}, {}, {} and {}",
+                        Colour::Green.paint("Written successfully:"),
+                        &config.c_folder,
+                        "main.cpp".to_string(),
+                        "circom.hpp".to_string(),
+                        "calcwit.hpp".to_string(),
+                        "calcwit.cpp".to_string(),
+                        "fr.hpp".to_string(),
+                        "Makefile".to_string(),
+                        "json2bin64.cpp".to_string()
+                    );
+                } else {
+                    println!(
+                        "{} {}/{}, {}, {}, {}, {}, {}, {} and {}",
+                        Colour::Green.paint("Written successfully:"),
+                        &config.c_folder,
+                        "main.cpp".to_string(),
+                        "circom.hpp".to_string(),
+                        "calcwit.hpp".to_string(),
+                        "calcwit.cpp".to_string(),
+                        "fr.hpp".to_string(),
+                        "fr.cpp".to_string(),
+                        "fr.asm".to_string(),
+                        "Makefile".to_string()
+                    );
+                }
+            }
         }
-    
         match (config.wat_flag, config.wasm_flag) {
             (true, true) => {
                 compiler_interface::write_wasm(&circuit, &config.js_folder, &config.wasm_name, &config.wat_file)?;