write r1cs_primary

argumentcomputer · Feb 27, 2024 · 9c76e57 · 9c76e57
1 parent 6d44f7d
commit 9c76e57
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -509,6 +509,15 @@ where
       write_data: false,
     };
 
+    #[cfg(any(target_arch = "x86_64", target_arch = "aarch64"))]
+    if config.write_data {
+      write_arecibo_data(
+        format!("r1cs_primary_{:?}", pp.digest()),
+        "",
+        &r1cs_primary,
+      );
+    }
+
     Ok(Self {
       z0_primary: z0_primary.to_vec(),
       z0_secondary: z0_secondary.to_vec(),