@semaphore-protocol/proof 3.13.0 → 3.15.0

package/package.json

@@ -1,16 +1,12 @@
 {
   "name": "@semaphore-protocol/proof",
-  "version": "3.13.0",
+  "version": "3.15.0",
   "description": "A library to generate and verify Semaphore proofs.",
   "license": "MIT",
   "main": "dist/index.node.js",
   "exports": {
-    "node": {
-      "import": "./dist/index.node.mjs",
-      "require": "./dist/index.node.js"
-    },
-    "browser": "./dist/index.browser.mjs",
-    "default": "./dist/index.browser.mjs"
+    "import": "./dist/index.node.mjs",
+    "require": "./dist/index.node.js"
   },
   "types": "dist/types/index.d.ts",
   "files": [
@@ -26,21 +22,16 @@
   },
   "scripts": {
     "build:watch": "rollup -c rollup.config.ts -w --configPlugin typescript",
-    "build": "rimraf dist && yarn build:browser && yarn build:node",
-    "build:browser": "rollup -c rollup.browser.config.ts --configPlugin typescript",
-    "build:node": "rollup -c rollup.node.config.ts --configPlugin typescript",
+    "build": "rimraf dist && rollup -c rollup.config.ts --configPlugin typescript",
     "prepublishOnly": "yarn build"
   },
   "publishConfig": {
     "access": "public"
   },
   "devDependencies": {
-    "@iden3/binfileutils": "0.0.11",
     "@rollup/plugin-commonjs": "^24.1.0",
     "@rollup/plugin-json": "^5.0.1",
     "@rollup/plugin-node-resolve": "^15.0.2",
-    "@rollup/plugin-virtual": "^3.0.2",
-    "fastfile": "0.0.20",
     "poseidon-lite": "^0.2.0",
     "rimraf": "^5.0.5",
     "rollup": "^4.0.2",
@@ -48,16 +39,15 @@
     "rollup-plugin-typescript2": "^0.31.2"
   },
   "peerDependencies": {
-    "@semaphore-protocol/group": "3.13.0",
-    "@semaphore-protocol/identity": "3.13.0"
+    "@semaphore-protocol/group": "3.15.0",
+    "@semaphore-protocol/identity": "3.15.0"
   },
   "dependencies": {
     "@ethersproject/bignumber": "^5.5.0",
     "@ethersproject/bytes": "^5.7.0",
     "@ethersproject/keccak256": "^5.7.0",
     "@ethersproject/strings": "^5.5.0",
-    "@zk-kit/incremental-merkle-tree": "0.4.3",
-    "circom_runtime": "0.1.24",
-    "ffjavascript": "0.2.60"
+    "@zk-kit/groth16": "0.1.0",
+    "@zk-kit/incremental-merkle-tree": "0.4.3"
   }
 }

package/src/generateProof.ts

@@ -2,12 +2,12 @@ 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 { prove } from "@zk-kit/groth16"
 import { MerkleProof } from "@zk-kit/incremental-merkle-tree"
 import type { NumericString } from "snarkjs"
 import hash from "./hash"
 import packProof from "./packProof"
 import { SemaphoreProof, SnarkArtifacts } from "./types"
-import groth16Prove from "./groth16/prove"
 
 /**
  * Generates a Semaphore proof.
@@ -46,7 +46,7 @@ export default async function generateProof(
         }
     }
 
-    const { proof, publicSignals } = await groth16Prove(
+    const { proof, publicSignals } = await prove(
         {
             identityTrapdoor: trapdoor,
             identityNullifier: nullifier,

package/src/verifyProof.ts

@@ -1,8 +1,8 @@
+import { verify } from "@zk-kit/groth16"
 import hash from "./hash"
 import { SemaphoreProof } from "./types"
 import unpackProof from "./unpackProof"
 import verificationKeys from "./verificationKeys.json"
-import groth16Verify from "./groth16/verify"
 
 /**
  * Verifies a Semaphore proof.
@@ -24,9 +24,8 @@ export default function verifyProof(
         IC: verificationKeys.IC[treeDepth - 16]
     }
 
-    return groth16Verify(
-        verificationKey,
-        [merkleTreeRoot, nullifierHash, hash(signal), hash(externalNullifier)],
-        unpackProof(proof)
-    )
+    return verify(verificationKey, {
+        publicSignals: [merkleTreeRoot, nullifierHash, hash(signal), hash(externalNullifier)],
+        proof: unpackProof(proof)
+    })
 }