Update self.num_proofs for bind_rq

Jiangkm3 · Jiangkm3 · commit 2f2ecd737c1a · 2024-12-30T12:47:53.000-05:00
diff --git a/spartan_parallel/src/custom_dense_mlpoly.rs b/spartan_parallel/src/custom_dense_mlpoly.rs
@@ -303,7 +303,8 @@ impl<S: SpartanExtensionField> DensePolynomialPqx<S> {
         inst
       }).collect::<Vec<Vec<Vec<Vec<S>>>>>();
 
-    self.max_num_proofs /= 2usize.pow(r_q.len() as u32);
+    self.max_num_proofs = 1;
+    self.num_proofs = vec![1; self.num_instances];
   }
 
   // Bound the entire "q" section to r_q in reverse

Original file line number	Diff line number	Diff line change
`@@ -303,7 +303,8 @@ impl<S: SpartanExtensionField> DensePolynomialPqx<S> {`
`303`	`303`	`inst`
`304`	`304`	`}).collect::<Vec<Vec<Vec<Vec<S>>>>>();`
`305`	`305`
`306`		`- self.max_num_proofs /= 2usize.pow(r_q.len() as u32);`
	`306`	`+ self.max_num_proofs = 1;`
	`307`	`+ self.num_proofs = vec![1; self.num_instances];`
`307`	`308`	`}`
`308`	`309`
`309`	`310`	`// Bound the entire "q" section to r_q in reverse`