Merge pull request #593 from semaphore-protocol/chore/snarkjs

Replace `@zk-kit/groth16` with new `snarkjs` package

Former-commit-id: 33a7dd7

Author: cedoor

packages/proof/package.json

@@ -51,11 +51,12 @@
         "@semaphore-protocol/identity": "4.0.0-alpha"
     },
     "dependencies": {
-        "@ethersproject/bignumber": "^5.7.0",
-        "@ethersproject/bytes": "^5.7.0",
-        "@ethersproject/keccak256": "^5.7.0",
-        "@zk-kit/groth16": "0.5.0",
-        "download": "^8.0.0",
-        "tmp": "^0.2.1"
+        "@ethersproject/bignumber": "5.7.0",
+        "@ethersproject/bytes": "5.7.0",
+        "@ethersproject/keccak256": "5.7.0",
+        "@types/snarkjs": "0.7.8",
+        "download": "8.0.0",
+        "snarkjs": "0.7.3",
+        "tmp": "0.2.1"
     }
 }

packages/proof/src/generate-proof.ts

@@ -2,10 +2,10 @@ import { BigNumber } from "@ethersproject/bignumber"
 import { BytesLike, Hexable } from "@ethersproject/bytes"
 import { Group } from "@semaphore-protocol/group"
 import type { Identity } from "@semaphore-protocol/identity"
-import { NumericString, prove } from "@zk-kit/groth16"
+import { NumericString, groth16 } from "snarkjs"
 import getSnarkArtifacts from "./get-snark-artifacts.node"
 import hash from "./hash"
-import packPoints from "./pack-proof"
+import packPoints from "./pack-points"
 import { SemaphoreProof, SnarkArtifacts } from "./types"
 
 /**
@@ -57,7 +57,7 @@ export default async function generateProof(
         }
     }
 
-    const { proof, publicSignals } = await prove(
+    const { proof, publicSignals } = await groth16.fullProve(
         {
             secret: identity.secretScalar,
             merkleProofLength,

packages/proof/src/hash.ts

@@ -1,7 +1,7 @@
 import { BigNumber } from "@ethersproject/bignumber"
 import { BytesLike, Hexable, zeroPad } from "@ethersproject/bytes"
 import { keccak256 } from "@ethersproject/keccak256"
-import { NumericString } from "@zk-kit/groth16"
+import { NumericString } from "snarkjs"
 
 /**
  * Creates a keccak256 hash of a message compatible with the SNARK scalar modulus.

packages/proof/src/index.ts

@@ -1,7 +1,7 @@
 import generateProof from "./generate-proof"
 import getSnarkArtifacts from "./get-snark-artifacts.node"
-import packPoints from "./pack-proof"
-import unpackPoints from "./unpack-proof"
+import packPoints from "./pack-points"
+import unpackPoints from "./unpack-points"
 import verifyProof from "./verify-proof"
 
 export * from "./types"

packages/proof/src/pack-proof.ts renamed to packages/proof/src/pack-points.ts

@@ -1,4 +1,4 @@
-import { Groth16Proof } from "@zk-kit/groth16"
+import { Groth16Proof } from "snarkjs"
 import { PackedPoints } from "./types"
 
 /**

packages/proof/src/types/index.ts

@@ -1,4 +1,4 @@
-import type { NumericString } from "@zk-kit/groth16"
+import type { NumericString } from "snarkjs"
 
 export type BigNumberish = string | number | bigint
 

packages/proof/src/unpack-proof.ts renamed to packages/proof/src/unpack-points.ts

@@ -1,4 +1,4 @@
-import { Groth16Proof } from "@zk-kit/groth16"
+import { Groth16Proof } from "snarkjs"
 import { PackedPoints } from "./types"
 
 /**

packages/proof/src/verify-proof.ts

@@ -1,7 +1,7 @@
-import { verify } from "@zk-kit/groth16"
+import { groth16 } from "snarkjs"
 import hash from "./hash"
 import { SemaphoreProof } from "./types"
-import unpackPoints from "./unpack-proof"
+import unpackPoints from "./unpack-points"
 import verificationKeys from "./verification-keys.json"
 
 /**
@@ -29,8 +29,9 @@ export default async function verifyProof({
         IC: verificationKeys.IC[merkleTreeDepth - 1]
     }
 
-    return verify(verificationKey, {
-        publicSignals: [merkleTreeRoot, nullifier, hash(message), hash(scope)],
-        proof: unpackPoints(points)
-    })
+    return groth16.verify(
+        verificationKey,
+        [merkleTreeRoot, nullifier, hash(message), hash(scope)],
+        unpackPoints(points)
+    )
 }

yarn.lock.REMOVED.git-id

@@ -1 +1 @@
-efdb7972e73571da5467fda80978d7cbf6d475b1
+77c20f3da77a76f425420068852c75fa9f77eacc