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