From 651919811f7059ac9da703bf1b3c14141403d4a3 Mon Sep 17 00:00:00 2001
From: Artem Chystiakov <47551140+Arvolear@users.noreply.github.com>
Date: Fri, 18 Oct 2024 12:19:44 +0300
Subject: [PATCH] fix groth16 verifier pub signals check (#518)

Co-authored-by: Jordi Baylina <jordi@baylina.cat>
---
 templates/verifier_groth16.sol.ejs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/templates/verifier_groth16.sol.ejs b/templates/verifier_groth16.sol.ejs
index 2efe53ca..fda549e3 100644
--- a/templates/verifier_groth16.sol.ejs
+++ b/templates/verifier_groth16.sol.ejs
@@ -151,7 +151,7 @@ contract Groth16Verifier {
             mstore(0x40, add(pMem, pLastMem))
 
             // Validate that all evaluations ∈ F
-            <% for (let i=0; i<IC.length; i++) { %>
+            <% for (let i=0; i<nPublic; i++) { %>
             checkField(calldataload(add(_pubSignals, <%=i*32%>)))
             <% } %>