fix: incorrect alias check brought from snarkjs.

Stumble · Stumble · commit 8e246c48bf34 · 2024-04-05T12:21:59.000-07:00
diff --git a/packages/contracts/contracts/base/SemaphoreVerifier.sol b/packages/contracts/contracts/base/SemaphoreVerifier.sol
@@ -241,7 +241,7 @@ contract SemaphoreVerifier {
 
         assembly {
             function checkField(v) {
-                if iszero(lt(v, q)) {
+                if iszero(lt(v, r)) {
                     mstore(0, 0)
                     return(0, 0x20)
                 }

Original file line number	Diff line number	Diff line change
`@@ -241,7 +241,7 @@ contract SemaphoreVerifier {`
`241`	`241`
`242`	`242`	`assembly {`
`243`	`243`	`function checkField(v) {`
`244`		`- if iszero(lt(v, q)) {`
	`244`	`+ if iszero(lt(v, r)) {`
`245`	`245`	`mstore(0, 0)`
`246`	`246`	`return(0, 0x20)`
`247`	`247`	`}`