circom witness generation is different than ours

uses full domain instead of domain-1 elements
arkworks-rs · Jul 17, 2024 · 81afca6 · 81afca6
1 parent 8e5c347
commit 81afca6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/prover.rs b/src/prover.rs
@@ -63,7 +63,7 @@ impl<E: Pairing, QAP: R1CSToQAP> Groth16<E, QAP> {
         let h_assignment = cfg_into_iter!(h)
             .map(|s| s.into_bigint())
             .collect::<Vec<_>>();
-        let h_acc = E::G1::msm_bigint(&pk.h_query, &h_assignment[..h_assignment.len() - 1]);
+        let h_acc = E::G1::msm_bigint(&pk.h_query, &h_assignment);
         drop(h_assignment);
 
         // Compute C