@semaphore-protocol/proof 3.15.1 → 4.0.0-alpha

package/dist/types/generate-proof.d.ts

@@ -0,0 +1,15 @@
+import { BytesLike, Hexable } from "@ethersproject/bytes";
+import { Group } from "@semaphore-protocol/group";
+import type { Identity } from "@semaphore-protocol/identity";
+import { SemaphoreProof, SnarkArtifacts } from "./types";
+/**
+ * Generates a Semaphore proof.
+ * @param identity The Semaphore identity.
+ * @param group The Semaphore group or its Merkle proof.
+ * @param scope The external nullifier.
+ * @param message The Semaphore signal.
+ * @param merkleTreeDepth The depth of the tree with which the circuit was compiled.
+ * @param snarkArtifacts The SNARK artifacts.
+ * @returns The Semaphore proof ready to be verified.
+ */
+export default function generateProof(identity: Identity, group: Group, message: BytesLike | Hexable | number | bigint, scope: BytesLike | Hexable | number | bigint, merkleTreeDepth?: number, snarkArtifacts?: SnarkArtifacts): Promise<SemaphoreProof>;

package/dist/types/get-snark-artifacts.browser.d.ts

@@ -0,0 +1,2 @@
+import { SnarkArtifacts } from "./types";
+export default function getSnarkArtifacts(treeDepth: number): Promise<SnarkArtifacts>;

package/dist/types/get-snark-artifacts.node.d.ts

@@ -0,0 +1,2 @@
+import { SnarkArtifacts } from "./types";
+export default function getSnarkArtifacts(treeDepth: number): Promise<SnarkArtifacts>;

package/dist/types/hash.d.ts

@@ -1,5 +1,5 @@
 import { BytesLike, Hexable } from "@ethersproject/bytes";
-import { NumericString } from "snarkjs";
+import { NumericString } from "@zk-kit/groth16";
 /**
  * Creates a keccak256 hash of a message compatible with the SNARK scalar modulus.
  * @param message The message to be hashed.

package/dist/types/index.d.ts

@@ -1,6 +1,7 @@
-import calculateNullifierHash from "./calculateNullifierHash";
-import generateProof from "./generateProof";
-import verifyProof from "./verifyProof";
-export { MerkleProof } from "@zk-kit/incremental-merkle-tree";
+import generateProof from "./generate-proof";
+import getSnarkArtifacts from "./get-snark-artifacts.node";
+import packProof from "./pack-proof";
+import unpackProof from "./unpack-proof";
+import verifyProof from "./verify-proof";
 export * from "./types";
-export { generateProof, verifyProof, calculateNullifierHash };
+export { generateProof, getSnarkArtifacts, packProof, unpackProof, verifyProof };

package/dist/types/{packProof.d.ts → pack-proof.d.ts}

@@ -1,4 +1,4 @@
-import { Groth16Proof } from "snarkjs";
+import { Groth16Proof } from "@zk-kit/groth16";
 import { PackedProof } from "./types";
 /**
  * Packs a proof into a format compatible with Semaphore.

package/dist/types/types/index.d.ts

@@ -1,13 +1,15 @@
-import type { NumericString } from "snarkjs";
+import type { NumericString } from "@zk-kit/groth16";
+export type BigNumberish = string | number | bigint;
 export type SnarkArtifacts = {
     wasmFilePath: string;
     zkeyFilePath: string;
 };
 export type SemaphoreProof = {
+    merkleTreeDepth: number;
     merkleTreeRoot: NumericString;
-    signal: NumericString;
-    nullifierHash: NumericString;
-    externalNullifier: NumericString;
+    message: NumericString;
+    nullifier: NumericString;
+    scope: NumericString;
     proof: PackedProof;
 };
 export type PackedProof = [

package/dist/types/{unpackProof.d.ts → unpack-proof.d.ts}

@@ -1,4 +1,4 @@
-import { Groth16Proof } from "snarkjs";
+import { Groth16Proof } from "@zk-kit/groth16";
 import { PackedProof } from "./types";
 /**
  * Unpacks a proof into its original form.

package/dist/types/verify-proof.d.ts

@@ -0,0 +1,8 @@
+import { SemaphoreProof } from "./types";
+/**
+ * Verifies a Semaphore proof.
+ * @param fullProof The SnarkJS Semaphore proof.
+ * @param treeDepth The depth of the tree.
+ * @returns True if the proof is valid, false otherwise.
+ */
+export default function verifyProof({ merkleTreeDepth, merkleTreeRoot, nullifier, message, scope, proof }: SemaphoreProof): Promise<boolean>;

package/package.json

@@ -1,12 +1,16 @@
 {
   "name": "@semaphore-protocol/proof",
-  "version": "3.15.1",
+  "version": "4.0.0-alpha",
   "description": "A library to generate and verify Semaphore proofs.",
   "license": "MIT",
   "main": "dist/index.node.js",
   "exports": {
-    "import": "./dist/index.node.mjs",
-    "require": "./dist/index.node.js",
+    "node": {
+      "import": "./dist/index.node.mjs",
+      "require": "./dist/index.node.js"
+    },
+    "browser": "./dist/index.browser.mjs",
+    "default": "./dist/index.browser.mjs",
     "types": "./dist/types/index.d.ts"
   },
   "types": "dist/types/index.d.ts",
@@ -22,17 +26,20 @@
     "url": "https://github.com/semaphore-protocol/semaphore.git/issues"
   },
   "scripts": {
-    "build:watch": "rollup -c rollup.config.ts -w --configPlugin typescript",
-    "build": "rimraf dist && rollup -c rollup.config.ts --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",
     "prepublishOnly": "yarn build"
   },
   "publishConfig": {
     "access": "public"
   },
   "devDependencies": {
-    "@rollup/plugin-commonjs": "^24.1.0",
+    "@ethersproject/strings": "^5.7.0",
+    "@rollup/plugin-alias": "^5.1.0",
     "@rollup/plugin-json": "^5.0.1",
-    "@rollup/plugin-node-resolve": "^15.0.2",
+    "@types/download": "^8.0.5",
+    "@types/tmp": "^0.2.6",
     "poseidon-lite": "^0.2.0",
     "rimraf": "^5.0.5",
     "rollup": "^4.0.2",
@@ -40,15 +47,15 @@
     "rollup-plugin-typescript2": "^0.31.2"
   },
   "peerDependencies": {
-    "@semaphore-protocol/group": "3.15.1",
-    "@semaphore-protocol/identity": "3.15.1"
+    "@semaphore-protocol/group": "4.0.0-alpha",
+    "@semaphore-protocol/identity": "4.0.0-alpha"
   },
   "dependencies": {
-    "@ethersproject/bignumber": "^5.5.0",
+    "@ethersproject/bignumber": "^5.7.0",
     "@ethersproject/bytes": "^5.7.0",
     "@ethersproject/keccak256": "^5.7.0",
-    "@ethersproject/strings": "^5.5.0",
-    "@zk-kit/groth16": "0.3.0",
-    "@zk-kit/incremental-merkle-tree": "0.4.3"
+    "@zk-kit/groth16": "0.5.0",
+    "download": "^8.0.0",
+    "tmp": "^0.2.1"
   }
 }

package/src/generate-proof.ts

@@ -0,0 +1,81 @@
+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 getSnarkArtifacts from "./get-snark-artifacts.node"
+import hash from "./hash"
+import packProof from "./pack-proof"
+import { SemaphoreProof, SnarkArtifacts } from "./types"
+
+/**
+ * Generates a Semaphore proof.
+ * @param identity The Semaphore identity.
+ * @param group The Semaphore group or its Merkle proof.
+ * @param scope The external nullifier.
+ * @param message The Semaphore signal.
+ * @param merkleTreeDepth The depth of the tree with which the circuit was compiled.
+ * @param snarkArtifacts The SNARK artifacts.
+ * @returns The Semaphore proof ready to be verified.
+ */
+export default async function generateProof(
+    identity: Identity,
+    group: Group,
+    message: BytesLike | Hexable | number | bigint,
+    scope: BytesLike | Hexable | number | bigint,
+    merkleTreeDepth?: number,
+    snarkArtifacts?: SnarkArtifacts
+): Promise<SemaphoreProof> {
+    const leafIndex = group.indexOf(identity.commitment)
+    const merkleProof = group.generateMerkleProof(leafIndex)
+    const merkleProofLength = merkleProof.siblings.length
+
+    if (merkleTreeDepth !== undefined) {
+        if (merkleTreeDepth < 1 || merkleTreeDepth > 12) {
+            throw new TypeError("The tree depth must be a number between 1 and 12")
+        }
+    } else {
+        merkleTreeDepth = merkleProofLength
+    }
+
+    // If the Snark artifacts are not defined they will be automatically downloaded.
+    /* istanbul ignore next */
+    if (!snarkArtifacts) {
+        snarkArtifacts = await getSnarkArtifacts(merkleTreeDepth)
+    }
+
+    // The index must be converted to a list of indices, 1 for each tree level.
+    // The missing siblings can be set to 0, as they won't be used in the circuit.
+    const merkleProofIndices = []
+    const merkleProofSiblings = merkleProof.siblings
+
+    for (let i = 0; i < merkleTreeDepth; i += 1) {
+        merkleProofIndices.push((merkleProof.index >> i) & 1)
+
+        if (merkleProofSiblings[i] === undefined) {
+            merkleProofSiblings[i] = "0"
+        }
+    }
+
+    const { proof, publicSignals } = await prove(
+        {
+            secret: identity.secretScalar,
+            merkleProofLength,
+            merkleProofIndices,
+            merkleProofSiblings,
+            scope: hash(scope),
+            message: hash(message)
+        },
+        snarkArtifacts.wasmFilePath,
+        snarkArtifacts.zkeyFilePath
+    )
+
+    return {
+        merkleTreeDepth,
+        merkleTreeRoot: publicSignals[0],
+        nullifier: publicSignals[1],
+        message: BigNumber.from(message).toString() as NumericString,
+        scope: BigNumber.from(scope).toString() as NumericString,
+        proof: packProof(proof)
+    }
+}

package/src/get-snark-artifacts.browser.ts

@@ -0,0 +1,9 @@
+/* istanbul ignore file */
+import { SnarkArtifacts } from "./types"
+
+export default async function getSnarkArtifacts(treeDepth: number): Promise<SnarkArtifacts> {
+    return {
+        wasmFilePath: `https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.wasm`,
+        zkeyFilePath: `https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.zkey`
+    }
+}

package/src/get-snark-artifacts.node.ts

@@ -0,0 +1,24 @@
+/* istanbul ignore file */
+import download from "download"
+import fs from "fs"
+import tmp from "tmp"
+import { SnarkArtifacts } from "./types"
+
+export default async function getSnarkArtifacts(treeDepth: number): Promise<SnarkArtifacts> {
+    const tmpDir = "semaphore-proof"
+    const tmpPath = `${tmp.tmpdir}/${tmpDir}-${treeDepth}`
+
+    if (!fs.existsSync(tmpPath)) {
+        tmp.dirSync({ name: `${tmpDir}-${treeDepth}` })
+    }
+
+    if (fs.readdirSync(tmpPath).length !== 2) {
+        await download(`https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.wasm`, tmpPath)
+        await download(`https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.zkey`, tmpPath)
+    }
+
+    return {
+        wasmFilePath: `${tmpPath}/semaphore.wasm`,
+        zkeyFilePath: `${tmpPath}/semaphore.zkey`
+    }
+}

package/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 "snarkjs"
+import { NumericString } from "@zk-kit/groth16"
 
 /**
  * Creates a keccak256 hash of a message compatible with the SNARK scalar modulus.

package/src/index.ts

@@ -1,7 +1,8 @@
-import calculateNullifierHash from "./calculateNullifierHash"
-import generateProof from "./generateProof"
-import verifyProof from "./verifyProof"
+import generateProof from "./generate-proof"
+import getSnarkArtifacts from "./get-snark-artifacts.node"
+import packProof from "./pack-proof"
+import unpackProof from "./unpack-proof"
+import verifyProof from "./verify-proof"
 
-export { MerkleProof } from "@zk-kit/incremental-merkle-tree"
 export * from "./types"
-export { generateProof, verifyProof, calculateNullifierHash }
+export { generateProof, getSnarkArtifacts, packProof, unpackProof, verifyProof }

package/src/{packProof.ts → pack-proof.ts}

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

package/src/types/index.ts

@@ -1,4 +1,6 @@
-import type { NumericString } from "snarkjs"
+import type { NumericString } from "@zk-kit/groth16"
+
+export type BigNumberish = string | number | bigint
 
 export type SnarkArtifacts = {
     wasmFilePath: string
@@ -6,10 +8,11 @@ export type SnarkArtifacts = {
 }
 
 export type SemaphoreProof = {
+    merkleTreeDepth: number
     merkleTreeRoot: NumericString
-    signal: NumericString
-    nullifierHash: NumericString
-    externalNullifier: NumericString
+    message: NumericString
+    nullifier: NumericString
+    scope: NumericString
     proof: PackedProof
 }
 

package/src/{unpackProof.ts → unpack-proof.ts}

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