solidity-verifiers: groth16 template: port the fix from iden3/snarkjs…

…#480 & iden3/snarkjs#479
privacy-scaling-explorations · Apr 12, 2024 · 32deb1b · 32deb1b
1 parent c185070
commit 32deb1b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/solidity-verifiers/templates/groth16_verifier.askama.sol b/solidity-verifiers/templates/groth16_verifier.askama.sol
@@ -56,7 +56,7 @@ contract Groth16Verifier {
     function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[{{ gamma_abc_len - 1 }}] calldata _pubSignals) public view returns (bool) {
         assembly {
             function checkField(v) {
-                if iszero(lt(v, q)) {
+                if iszero(lt(v, r)) {
                     mstore(0, 0)
                     return(0, 0x20)
                 }
@@ -166,4 +166,4 @@ contract Groth16Verifier {
             return(0, 0x20)
         }
     }
-}
+}