fix(contracts): reverse proof b points

semaphore-protocol · Jan 12, 2024 · 4d4a31c · 4d4a31c
1 parent 7708477
commit 4d4a31c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/packages/contracts/contracts/Semaphore.sol b/packages/contracts/contracts/Semaphore.sol
@@ -187,7 +187,7 @@ contract Semaphore is ISemaphore, SemaphoreGroups {
         if (
             !verifier.verifyProof(
                 [proof[0], proof[1]],
-                [[proof[3], proof[2]], [proof[5], proof[4]]],
+                [[proof[2], proof[3]], [proof[4], proof[5]]],
                 [proof[6], proof[7]],
                 [merkleTreeRoot, nullifier, message, scope]
             )

diff --git a/packages/contracts/test/Semaphore.ts b/packages/contracts/test/Semaphore.ts
@@ -2,7 +2,7 @@
 /* eslint-disable jest/valid-expect */
 import { Group } from "@semaphore-protocol/group"
 import { Identity } from "@semaphore-protocol/identity"
-import { SemaphoreProof, generateProof, verifyProof } from "@semaphore-protocol/proof"
+import { SemaphoreProof, generateProof } from "@semaphore-protocol/proof"
 import { expect } from "chai"
 import { Signer, constants } from "ethers"
 import { run } from "hardhat"
@@ -250,8 +250,6 @@ describe("Semaphore", () => {
         })
 
         it("Should verify a proof for an onchain group correctly", async () => {
-            console.log(await verifyProof(fullProof), fullProof)
-
             const transaction = semaphoreContract.verifyProof(
                 groupId,
                 fullProof.treeRoot,