From 9c76e572fd51c10cf32ddb2aec3d3869e46071a2 Mon Sep 17 00:00:00 2001
From: Hanting Zhang <winston@lurk-lab.com>
Date: Tue, 27 Feb 2024 05:22:47 +0000
Subject: [PATCH] write r1cs_primary

---
 src/lib.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/lib.rs b/src/lib.rs
index 1471f6b1c..0d67b28d8 100644
--- 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(),