fix: maci 9 incorrect parameter to verify proof in semaphore checker

Author: JohnGuilding

packages/contracts/contracts/extensions/semaphore/SemaphoreChecker.sol

@@ -59,7 +59,7 @@ contract SemaphoreChecker is BaseChecker {
             revert InvalidProver();
         }
 
-        if (!semaphore.verifyProof(_scope, proof)) {
+        if (!semaphore.verifyProof(groupId, proof)) {
             revert InvalidProof();
         }
 

packages/contracts/contracts/test/extensions/mocks/SemaphoreMock.sol

@@ -31,8 +31,8 @@ contract SemaphoreMock is ISemaphore {
         }
     }
 
-    function verifyProof(uint256 scope, SemaphoreProof calldata proof) external view returns (bool) {
-        return mockedGroups[scope] && mockedProofs[proof.nullifier];
+    function verifyProof(uint256 groupId, SemaphoreProof calldata proof) external view returns (bool) {
+        return mockedGroups[groupId] && mockedProofs[proof.nullifier];
     }
 
     /// @notice Stub functions required to comply with the ISemaphore interface.