From 8eab24d7be2789b2931f58368de2abaded82422c Mon Sep 17 00:00:00 2001
From: Artem Chystiakov <artem.ch31@gmail.com>
Date: Fri, 16 Aug 2024 16:24:56 +0300
Subject: [PATCH] fix groth16 verifier pub signals check

---
 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%>)))
             <% } %>