@semaphore-protocol/proof 2.0.1 → 2.1.0

package/dist/index.mjs

@@ -1,6 +1,6 @@
 /**
  * @module @semaphore-protocol/proof
- * @version 2.0.1
+ * @version 2.1.0
  * @file A library to generate and verify Semaphore proofs.
  * @copyright Ethereum Foundation 2022
  * @license MIT
@@ -84,6 +84,10 @@ function genSignalHash(signal) {
 }
 
 function generateProof(identity, group, externalNullifier, signal, snarkArtifacts) {
+    if (snarkArtifacts === void 0) { snarkArtifacts = {
+        wasmFilePath: "https://www.trusted-setup-pse.org/semaphore/".concat(group.depth, "/semaphore.wasm"),
+        zkeyFilePath: "https://www.trusted-setup-pse.org/semaphore/".concat(group.depth, "/semaphore.zkey")
+    }; }
     return __awaiter(this, void 0, void 0, function () {
         var commitment, index, merkleProof, _a, proof, publicSignals;
         return __generator(this, function (_b) {

package/dist/index.node.js

@@ -1,6 +1,6 @@
 /**
  * @module @semaphore-protocol/proof
- * @version 2.0.1
+ * @version 2.1.0
  * @file A library to generate and verify Semaphore proofs.
  * @copyright Ethereum Foundation 2022
  * @license MIT
@@ -88,6 +88,10 @@ function genSignalHash(signal) {
 }
 
 function generateProof(identity, group, externalNullifier, signal, snarkArtifacts) {
+    if (snarkArtifacts === void 0) { snarkArtifacts = {
+        wasmFilePath: "https://www.trusted-setup-pse.org/semaphore/".concat(group.depth, "/semaphore.wasm"),
+        zkeyFilePath: "https://www.trusted-setup-pse.org/semaphore/".concat(group.depth, "/semaphore.zkey")
+    }; }
     return __awaiter(this, void 0, void 0, function () {
         var commitment, index, merkleProof, _a, proof, publicSignals;
         return __generator(this, function (_b) {

package/dist/types/generateProof.d.ts

@@ -1,4 +1,4 @@
 import type { Identity } from "@semaphore-protocol/identity";
 import { Group } from "@semaphore-protocol/group";
 import { BigNumberish, FullProof, SnarkArtifacts } from "./types";
-export default function generateProof(identity: Identity, group: Group, externalNullifier: BigNumberish, signal: string, snarkArtifacts: SnarkArtifacts): Promise<FullProof>;
+export default function generateProof(identity: Identity, group: Group, externalNullifier: BigNumberish, signal: string, snarkArtifacts?: SnarkArtifacts): Promise<FullProof>;

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/proof",
-    "version": "2.0.1",
+    "version": "2.1.0",
     "description": "A library to generate and verify Semaphore proofs.",
     "license": "MIT",
     "main": "dist/index.node.js",

package/src/generateProof.ts

@@ -9,7 +9,10 @@ export default async function generateProof(
     group: Group,
     externalNullifier: BigNumberish,
     signal: string,
-    snarkArtifacts: SnarkArtifacts
+    snarkArtifacts: SnarkArtifacts = {
+        wasmFilePath: `https://www.trusted-setup-pse.org/semaphore/${group.depth}/semaphore.wasm`,
+        zkeyFilePath: `https://www.trusted-setup-pse.org/semaphore/${group.depth}/semaphore.zkey`
+    }
 ): Promise<FullProof> {
     const commitment = identity.generateCommitment()
     const index = group.indexOf(commitment)

package/src/index.test.ts

@@ -72,6 +72,21 @@ describe("Proof", () => {
             expect(fullProof.publicSignals.externalNullifier).toBe(externalNullifier)
             expect(fullProof.publicSignals.merkleRoot).toBe(group.root.toString())
         }, 20000)
+
+        it("Should generate a Semaphore proof with default snark artifacts", async () => {
+            const group = new Group(treeDepth)
+
+            group.addMembers([BigInt(1), BigInt(2), identityCommitment])
+
+            fullProof = await generateProof(identity, group, externalNullifier, signal, {
+                wasmFilePath: `${snarkArtifactsPath}/semaphore.wasm`,
+                zkeyFilePath: `${snarkArtifactsPath}/semaphore.zkey`
+            })
+
+            expect(typeof fullProof).toBe("object")
+            expect(fullProof.publicSignals.externalNullifier).toBe(externalNullifier)
+            expect(fullProof.publicSignals.merkleRoot).toBe(group.root.toString())
+        }, 20000)
     })
 
     describe("# generateSignalHash", () => {