refactor(proof): replace groth16 functions with groth16 pkg

Author: cedoor

packages/proof/package.json

@@ -5,12 +5,8 @@
     "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",
@@ -56,8 +47,7 @@
         "@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"
     }
 }

packages/proof/rollup.browser.config.ts

@@ -19,13 +19,13 @@ export default {
     input: "src/index.ts",
     output: [
         {
-            file: pkg.exports.node.require,
+            file: pkg.exports.require,
             format: "cjs",
             banner,
             exports: "auto"
         },
         {
-            file: pkg.exports.node.import,
+            file: pkg.exports.import,
             format: "es",
             banner
         }

packages/proof/rollup.node.config.ts renamed to packages/proof/rollup.config.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,