fix groth16 verifier pub signals check (#518)

Co-authored-by: Jordi Baylina <jordi@baylina.cat>
iden3 · Oct 18, 2024 · 6519198 · 6519198
1 parent 99eb19e
commit 6519198
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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%>)))
             <% } %>