From 81afca663470b621eafaf804d0973a0f8c515260 Mon Sep 17 00:00:00 2001
From: mmagician <marcin.gorny.94@protonmail.com>
Date: Wed, 17 Jul 2024 23:03:19 +0200
Subject: [PATCH] circom witness generation is different than ours

uses full domain instead of domain-1 elements
---
 src/prover.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/prover.rs b/src/prover.rs
index a741842..e894f6c 100644
--- 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