add number of public outputs to number of public inputs for R1CS

zksecurity · Sep 15, 2024 · b968831 · b968831
1 parent ea76937
commit b968831
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/backends/r1cs/mod.rs b/src/backends/r1cs/mod.rs
@@ -468,8 +468,11 @@ where
  let mut res = String::new();
  res.push_str(&crate::utils::noname_version());
 
+ // add public outputs to public inputs
+ let num_public_inputs = self.public_inputs.len() + self.public_outputs.len();
+
  // public inputs
- res.push_str(&format!("@ public inputs: {}\n\n", self.public_inputs.len()));
+ res.push_str(&format!("@ public inputs: {}\n\n", num_public_inputs));
 
  for ((row, constraint), debug_info) in
  izip!(self.constraints.iter().enumerate(), &self.debug_info)