@semaphore-protocol/proof 4.0.0-beta.6 → 4.0.0-beta.8

package/README.md

@@ -78,7 +78,7 @@ group: _Group_,
 message: _BigNumberish_ | _Uint8Array_ | string,
 scope: _BigNumberish_ | _Uint8Array_ | string,
 merkleTreeDepth: _number_,
-snarkArtifacts?: _SnarkArtifacts_
+snarkArtifacts?: [_SnarkArtifacts_](https://github.com/privacy-scaling-explorations/zk-kit/blob/88acdc6d8fa5f3f2a8ecd1e1a0140244b970c551/packages/utils/src/types/index.ts#L46)
 ): Promise\<_SemaphoreProof_>
 
 ```typescript
@@ -95,15 +95,17 @@ const group = new Group([identity1.commitment, identity2.commitment, identity3.c
 const message = "Hello world"
 const scope = "Semaphore"
 
+// snarkArtifacts are not provided.
+// So they will be automatically downloaded (see https://github.com/privacy-scaling-explorations/snark-artifacts).
 const proof1 = await generateProof(identity1, group, message, scope)
 
 // You can also specify the maximum tree depth supported by the proof.
 const proof2 = await generateProof(identity2, group, message, scope, 20)
 
-// You can also specify the default zkey/wasm files.
+// You can also override our default zkey/wasm files.
 const proof3 = await generateProof(identity3, group, message, scope, 20, {
-    wasmFilePath: "./semaphore.wasm",
-    zkeyFilePath: "./semaphore.zkey"
+    wasm: "./semaphore.wasm",
+    zkey: "./semaphore.zkey"
 })
 ```
 

package/dist/index.browser.js

@@ -1,6 +1,6 @@
 /**
  * @module @semaphore-protocol/proof
- * @version 4.0.0-beta.6
+ * @version 4.0.0-beta.8
  * @file A library to generate and verify Semaphore proofs.
  * @copyright Ethereum Foundation 2024
  * @license MIT
@@ -9,27 +9,13 @@
 import { packGroth16Proof, unpackGroth16Proof } from '@zk-kit/utils/proof-packing';
 export { packGroth16Proof, unpackGroth16Proof } from '@zk-kit/utils/proof-packing';
 import { MIN_DEPTH, MAX_DEPTH } from '@semaphore-protocol/utils/constants';
-import { requireNumber, requireDefined, requireObject, requireTypes, requireString, requireArray } from '@zk-kit/utils/error-handlers';
+import { requireDefined, requireObject, requireTypes, requireNumber, requireString, requireArray } from '@zk-kit/utils/error-handlers';
+import { maybeGetSemaphoreSnarkArtifacts } from '@zk-kit/utils';
 import { groth16 } from 'snarkjs';
 import { keccak256 } from 'ethers/crypto';
 import { toBeHex, toBigInt as toBigInt$1 } from 'ethers/utils';
 import { encodeBytes32String } from 'ethers/abi';
 
-/* istanbul ignore file */
-/**
- * Returns the zero-knowledge artifact paths. Artifacts exist for each tree
- * depth supported by Semaphore, and they were generated in a trusted-setup.
- * @param treeDepth The depth of the tree.
- * @returns The zero-knowledge artifacts paths.
- */
-async function getSnarkArtifacts(treeDepth) {
-    requireNumber(treeDepth, "treeDepth");
-    return {
-        wasmFilePath: `https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.wasm`,
-        zkeyFilePath: `https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.zkey`
-    };
-}
-
 /**
  * Creates a keccak256 hash of a message compatible with the SNARK scalar modulus.
  * @param message The message to be hashed.
@@ -73,7 +59,7 @@ function toBigInt(value) {
  * @param message The Semaphore message.
  * @param scope The Semaphore scope.
  * @param merkleTreeDepth The depth of the tree with which the circuit was compiled.
- * @param snarkArtifacts The SNARK artifacts.
+ * @param snarkArtifacts See {@link https://zkkit.pse.dev/interfaces/_zk_kit_utils.SnarkArtifacts.html | SnarkArtifacts}.
  * @returns The Semaphore proof ready to be verified.
  */
 async function generateProof(identity, groupOrMerkleProof, message, scope, merkleTreeDepth, snarkArtifacts) {
@@ -115,9 +101,8 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
         merkleTreeDepth = merkleProofLength;
     }
     // If the Snark artifacts are not defined they will be automatically downloaded.
-    if (!snarkArtifacts) {
-        snarkArtifacts = await getSnarkArtifacts(merkleTreeDepth);
-    }
+    snarkArtifacts ?? (snarkArtifacts = await maybeGetSemaphoreSnarkArtifacts(merkleTreeDepth));
+    const { wasm, zkey } = snarkArtifacts;
     // 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 = [];
@@ -125,7 +110,7 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
     for (let i = 0; i < merkleTreeDepth; i += 1) {
         merkleProofIndices.push((merkleProof.index >> i) & 1);
         if (merkleProofSiblings[i] === undefined) {
-            merkleProofSiblings[i] = "0";
+            merkleProofSiblings[i] = 0n;
         }
     }
     const { proof, publicSignals } = await groth16.fullProve({
@@ -135,7 +120,7 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
         merkleProofSiblings,
         scope: hash(scope),
         message: hash(message)
-    }, snarkArtifacts.wasmFilePath, snarkArtifacts.zkeyFilePath);
+    }, wasm, zkey);
     return {
         merkleTreeDepth,
         merkleTreeRoot: publicSignals[0],

package/dist/index.node.cjs

@@ -1,6 +1,6 @@
 /**
  * @module @semaphore-protocol/proof
- * @version 4.0.0-beta.6
+ * @version 4.0.0-beta.8
  * @file A library to generate and verify Semaphore proofs.
  * @copyright Ethereum Foundation 2024
  * @license MIT
@@ -11,55 +11,12 @@
 var proofPacking = require('@zk-kit/utils/proof-packing');
 var constants = require('@semaphore-protocol/utils/constants');
 var errorHandlers = require('@zk-kit/utils/error-handlers');
+var utils$1 = require('@zk-kit/utils');
 var snarkjs = require('snarkjs');
-var node_fs = require('node:fs');
-var promises = require('node:fs/promises');
-var os = require('node:os');
-var node_path = require('node:path');
-var node_stream = require('node:stream');
-var promises$1 = require('node:stream/promises');
 var crypto = require('ethers/crypto');
 var utils = require('ethers/utils');
 var abi = require('ethers/abi');
 
-/* istanbul ignore file */
-/**
- * A utility function to download the zero-knowledge artifacts from an external server.
- * @param url The URL from which to download the artifacts.
- * @param outputPath The path in which to save the artifacts.
- */
-async function download(url, outputPath) {
-    const response = await fetch(url);
-    if (!response.ok) {
-        throw new Error(`Failed to fetch ${url}: ${response.statusText}`);
-    }
-    // Ensure the directory exists.
-    const dir = node_path.dirname(outputPath);
-    await promises.mkdir(dir, { recursive: true });
-    const fileStream = node_fs.createWriteStream(outputPath);
-    await promises$1.finished(node_stream.Readable.fromWeb(response.body).pipe(fileStream));
-}
-/**
- * Downloads the zero-knowledge artifacts and returns their paths.
- * Artifacts exist for each tree depth supported by Semaphore, and
- * they were generated in a trusted-setup.
- * @param treeDepth The depth of the tree.
- * @returns The zero-knowledge artifacts paths.
- */
-async function getSnarkArtifacts(treeDepth) {
-    errorHandlers.requireNumber(treeDepth, "treeDepth");
-    const tmpDir = "semaphore-proof";
-    const tmpPath = `${os.tmpdir()}/${tmpDir}-${treeDepth}`;
-    if (!node_fs.existsSync(tmpPath) || node_fs.readdirSync(tmpPath).length !== 2) {
-        await download(`https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.wasm`, `${tmpPath}/semaphore.wasm`);
-        await download(`https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.zkey`, `${tmpPath}/semaphore.zkey`);
-    }
-    return {
-        wasmFilePath: `${tmpPath}/semaphore.wasm`,
-        zkeyFilePath: `${tmpPath}/semaphore.zkey`
-    };
-}
-
 /**
  * Creates a keccak256 hash of a message compatible with the SNARK scalar modulus.
  * @param message The message to be hashed.
@@ -103,7 +60,7 @@ function toBigInt(value) {
  * @param message The Semaphore message.
  * @param scope The Semaphore scope.
  * @param merkleTreeDepth The depth of the tree with which the circuit was compiled.
- * @param snarkArtifacts The SNARK artifacts.
+ * @param snarkArtifacts See {@link https://zkkit.pse.dev/interfaces/_zk_kit_utils.SnarkArtifacts.html | SnarkArtifacts}.
  * @returns The Semaphore proof ready to be verified.
  */
 async function generateProof(identity, groupOrMerkleProof, message, scope, merkleTreeDepth, snarkArtifacts) {
@@ -145,9 +102,8 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
         merkleTreeDepth = merkleProofLength;
     }
     // If the Snark artifacts are not defined they will be automatically downloaded.
-    if (!snarkArtifacts) {
-        snarkArtifacts = await getSnarkArtifacts(merkleTreeDepth);
-    }
+    snarkArtifacts ?? (snarkArtifacts = await utils$1.maybeGetSemaphoreSnarkArtifacts(merkleTreeDepth));
+    const { wasm, zkey } = snarkArtifacts;
     // 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 = [];
@@ -155,7 +111,7 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
     for (let i = 0; i < merkleTreeDepth; i += 1) {
         merkleProofIndices.push((merkleProof.index >> i) & 1);
         if (merkleProofSiblings[i] === undefined) {
-            merkleProofSiblings[i] = "0";
+            merkleProofSiblings[i] = 0n;
         }
     }
     const { proof, publicSignals } = await snarkjs.groth16.fullProve({
@@ -165,7 +121,7 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
         merkleProofSiblings,
         scope: hash(scope),
         message: hash(message)
-    }, snarkArtifacts.wasmFilePath, snarkArtifacts.zkeyFilePath);
+    }, wasm, zkey);
     return {
         merkleTreeDepth,
         merkleTreeRoot: publicSignals[0],

package/dist/index.node.js

@@ -1,6 +1,6 @@
 /**
  * @module @semaphore-protocol/proof
- * @version 4.0.0-beta.6
+ * @version 4.0.0-beta.8
  * @file A library to generate and verify Semaphore proofs.
  * @copyright Ethereum Foundation 2024
  * @license MIT
@@ -9,56 +9,13 @@
 import { packGroth16Proof, unpackGroth16Proof } from '@zk-kit/utils/proof-packing';
 export { packGroth16Proof, unpackGroth16Proof } from '@zk-kit/utils/proof-packing';
 import { MIN_DEPTH, MAX_DEPTH } from '@semaphore-protocol/utils/constants';
-import { requireNumber, requireDefined, requireObject, requireTypes, requireString, requireArray } from '@zk-kit/utils/error-handlers';
+import { requireDefined, requireObject, requireTypes, requireNumber, requireString, requireArray } from '@zk-kit/utils/error-handlers';
+import { maybeGetSemaphoreSnarkArtifacts } from '@zk-kit/utils';
 import { groth16 } from 'snarkjs';
-import { existsSync, readdirSync, createWriteStream } from 'node:fs';
-import { mkdir } from 'node:fs/promises';
-import os from 'node:os';
-import { dirname } from 'node:path';
-import { Readable } from 'node:stream';
-import { finished } from 'node:stream/promises';
 import { keccak256 } from 'ethers/crypto';
 import { toBeHex, toBigInt as toBigInt$1 } from 'ethers/utils';
 import { encodeBytes32String } from 'ethers/abi';
 
-/* istanbul ignore file */
-/**
- * A utility function to download the zero-knowledge artifacts from an external server.
- * @param url The URL from which to download the artifacts.
- * @param outputPath The path in which to save the artifacts.
- */
-async function download(url, outputPath) {
-    const response = await fetch(url);
-    if (!response.ok) {
-        throw new Error(`Failed to fetch ${url}: ${response.statusText}`);
-    }
-    // Ensure the directory exists.
-    const dir = dirname(outputPath);
-    await mkdir(dir, { recursive: true });
-    const fileStream = createWriteStream(outputPath);
-    await finished(Readable.fromWeb(response.body).pipe(fileStream));
-}
-/**
- * Downloads the zero-knowledge artifacts and returns their paths.
- * Artifacts exist for each tree depth supported by Semaphore, and
- * they were generated in a trusted-setup.
- * @param treeDepth The depth of the tree.
- * @returns The zero-knowledge artifacts paths.
- */
-async function getSnarkArtifacts(treeDepth) {
-    requireNumber(treeDepth, "treeDepth");
-    const tmpDir = "semaphore-proof";
-    const tmpPath = `${os.tmpdir()}/${tmpDir}-${treeDepth}`;
-    if (!existsSync(tmpPath) || readdirSync(tmpPath).length !== 2) {
-        await download(`https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.wasm`, `${tmpPath}/semaphore.wasm`);
-        await download(`https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.zkey`, `${tmpPath}/semaphore.zkey`);
-    }
-    return {
-        wasmFilePath: `${tmpPath}/semaphore.wasm`,
-        zkeyFilePath: `${tmpPath}/semaphore.zkey`
-    };
-}
-
 /**
  * Creates a keccak256 hash of a message compatible with the SNARK scalar modulus.
  * @param message The message to be hashed.
@@ -102,7 +59,7 @@ function toBigInt(value) {
  * @param message The Semaphore message.
  * @param scope The Semaphore scope.
  * @param merkleTreeDepth The depth of the tree with which the circuit was compiled.
- * @param snarkArtifacts The SNARK artifacts.
+ * @param snarkArtifacts See {@link https://zkkit.pse.dev/interfaces/_zk_kit_utils.SnarkArtifacts.html | SnarkArtifacts}.
  * @returns The Semaphore proof ready to be verified.
  */
 async function generateProof(identity, groupOrMerkleProof, message, scope, merkleTreeDepth, snarkArtifacts) {
@@ -144,9 +101,8 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
         merkleTreeDepth = merkleProofLength;
     }
     // If the Snark artifacts are not defined they will be automatically downloaded.
-    if (!snarkArtifacts) {
-        snarkArtifacts = await getSnarkArtifacts(merkleTreeDepth);
-    }
+    snarkArtifacts ?? (snarkArtifacts = await maybeGetSemaphoreSnarkArtifacts(merkleTreeDepth));
+    const { wasm, zkey } = snarkArtifacts;
     // 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 = [];
@@ -154,7 +110,7 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
     for (let i = 0; i < merkleTreeDepth; i += 1) {
         merkleProofIndices.push((merkleProof.index >> i) & 1);
         if (merkleProofSiblings[i] === undefined) {
-            merkleProofSiblings[i] = "0";
+            merkleProofSiblings[i] = 0n;
         }
     }
     const { proof, publicSignals } = await groth16.fullProve({
@@ -164,7 +120,7 @@ async function generateProof(identity, groupOrMerkleProof, message, scope, merkl
         merkleProofSiblings,
         scope: hash(scope),
         message: hash(message)
-    }, snarkArtifacts.wasmFilePath, snarkArtifacts.zkeyFilePath);
+    }, wasm, zkey);
     return {
         merkleTreeDepth,
         merkleTreeRoot: publicSignals[0],

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

@@ -1,7 +1,8 @@
 import type { Group, MerkleProof } from "@semaphore-protocol/group";
 import type { Identity } from "@semaphore-protocol/identity";
+import { type SnarkArtifacts } from "@zk-kit/utils";
 import type { BigNumberish } from "ethers";
-import { SemaphoreProof, SnarkArtifacts } from "./types";
+import type { SemaphoreProof } from "./types";
 /**
  * It generates a Semaphore proof, i.e. a zero-knowledge proof that an identity that
  * is part of a group has shared an anonymous message.
@@ -19,7 +20,7 @@ import { SemaphoreProof, SnarkArtifacts } from "./types";
  * @param message The Semaphore message.
  * @param scope The Semaphore scope.
  * @param merkleTreeDepth The depth of the tree with which the circuit was compiled.
- * @param snarkArtifacts The SNARK artifacts.
+ * @param snarkArtifacts See {@link https://zkkit.pse.dev/interfaces/_zk_kit_utils.SnarkArtifacts.html | SnarkArtifacts}.
  * @returns The Semaphore proof ready to be verified.
  */
 export default function generateProof(identity: Identity, groupOrMerkleProof: Group | MerkleProof, message: BigNumberish | Uint8Array | string, scope: BigNumberish | Uint8Array | string, merkleTreeDepth?: number, snarkArtifacts?: SnarkArtifacts): Promise<SemaphoreProof>;

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

@@ -1,9 +1,5 @@
 import type { NumericString } from "snarkjs";
 import type { PackedGroth16Proof } from "@zk-kit/utils";
-export type SnarkArtifacts = {
-    wasmFilePath: string;
-    zkeyFilePath: string;
-};
 export type SemaphoreProof = {
     merkleTreeDepth: number;
     merkleTreeRoot: NumericString;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@semaphore-protocol/proof",
-  "version": "4.0.0-beta.6",
+  "version": "4.0.0-beta.8",
   "description": "A library to generate and verify Semaphore proofs.",
   "type": "module",
   "license": "MIT",
@@ -48,13 +48,13 @@
     "rollup-plugin-cleanup": "^3.2.1"
   },
   "peerDependencies": {
-    "@semaphore-protocol/group": "4.0.0-beta.6",
-    "@semaphore-protocol/identity": "4.0.0-beta.6"
+    "@semaphore-protocol/group": "4.0.0-beta.8",
+    "@semaphore-protocol/identity": "4.0.0-beta.8"
   },
   "dependencies": {
-    "@semaphore-protocol/utils": "4.0.0-beta.6",
-    "@zk-kit/utils": "0.8.1",
+    "@semaphore-protocol/utils": "4.0.0-beta.8",
+    "@zk-kit/utils": "1.0.0-beta.4",
     "ethers": "6.10.0",
-    "snarkjs": "0.7.3"
+    "snarkjs": "0.7.4"
   }
 }

package/src/generate-proof.ts

@@ -3,12 +3,12 @@ import type { Identity } from "@semaphore-protocol/identity"
 import { MAX_DEPTH, MIN_DEPTH } from "@semaphore-protocol/utils/constants"
 import { requireDefined, requireNumber, requireObject, requireTypes } from "@zk-kit/utils/error-handlers"
 import { packGroth16Proof } from "@zk-kit/utils/proof-packing"
+import { maybeGetSemaphoreSnarkArtifacts, type SnarkArtifacts } from "@zk-kit/utils"
 import type { BigNumberish } from "ethers"
-import { NumericString, groth16 } from "snarkjs"
-import getSnarkArtifacts from "./get-snark-artifacts.node"
+import { type NumericString, groth16 } from "snarkjs"
 import hash from "./hash"
 import toBigInt from "./to-bigint"
-import { SemaphoreProof, SnarkArtifacts } from "./types"
+import type { SemaphoreProof } from "./types"
 
 /**
  * It generates a Semaphore proof, i.e. a zero-knowledge proof that an identity that
@@ -27,7 +27,7 @@ import { SemaphoreProof, SnarkArtifacts } from "./types"
  * @param message The Semaphore message.
  * @param scope The Semaphore scope.
  * @param merkleTreeDepth The depth of the tree with which the circuit was compiled.
- * @param snarkArtifacts The SNARK artifacts.
+ * @param snarkArtifacts See {@link https://zkkit.pse.dev/interfaces/_zk_kit_utils.SnarkArtifacts.html | SnarkArtifacts}.
  * @returns The Semaphore proof ready to be verified.
  */
 export default async function generateProof(
@@ -83,9 +83,8 @@ export default async function generateProof(
     }
 
     // If the Snark artifacts are not defined they will be automatically downloaded.
-    if (!snarkArtifacts) {
-        snarkArtifacts = await getSnarkArtifacts(merkleTreeDepth)
-    }
+    snarkArtifacts ??= await maybeGetSemaphoreSnarkArtifacts(merkleTreeDepth)
+    const { wasm, zkey } = snarkArtifacts
 
     // 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.
@@ -96,7 +95,7 @@ export default async function generateProof(
         merkleProofIndices.push((merkleProof.index >> i) & 1)
 
         if (merkleProofSiblings[i] === undefined) {
-            merkleProofSiblings[i] = "0"
+            merkleProofSiblings[i] = 0n
         }
     }
 
@@ -109,8 +108,8 @@ export default async function generateProof(
             scope: hash(scope),
             message: hash(message)
         },
-        snarkArtifacts.wasmFilePath,
-        snarkArtifacts.zkeyFilePath
+        wasm,
+        zkey
     )
 
     return {

package/src/types/index.ts

@@ -1,11 +1,6 @@
 import type { NumericString } from "snarkjs"
 import type { PackedGroth16Proof } from "@zk-kit/utils"
 
-export type SnarkArtifacts = {
-    wasmFilePath: string
-    zkeyFilePath: string
-}
-
 export type SemaphoreProof = {
     merkleTreeDepth: number
     merkleTreeRoot: NumericString

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

@@ -1,8 +0,0 @@
-import { SnarkArtifacts } from "./types";
-/**
- * Returns the zero-knowledge artifact paths. Artifacts exist for each tree
- * depth supported by Semaphore, and they were generated in a trusted-setup.
- * @param treeDepth The depth of the tree.
- * @returns The zero-knowledge artifacts paths.
- */
-export default function getSnarkArtifacts(treeDepth: number): Promise<SnarkArtifacts>;

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

@@ -1,9 +0,0 @@
-import { SnarkArtifacts } from "./types";
-/**
- * Downloads the zero-knowledge artifacts and returns their paths.
- * Artifacts exist for each tree depth supported by Semaphore, and
- * they were generated in a trusted-setup.
- * @param treeDepth The depth of the tree.
- * @returns The zero-knowledge artifacts paths.
- */
-export default function getSnarkArtifacts(treeDepth: number): Promise<SnarkArtifacts>;

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

@@ -1,18 +0,0 @@
-/* istanbul ignore file */
-import { requireNumber } from "@zk-kit/utils/error-handlers"
-import { SnarkArtifacts } from "./types"
-
-/**
- * Returns the zero-knowledge artifact paths. Artifacts exist for each tree
- * depth supported by Semaphore, and they were generated in a trusted-setup.
- * @param treeDepth The depth of the tree.
- * @returns The zero-knowledge artifacts paths.
- */
-export default async function getSnarkArtifacts(treeDepth: number): Promise<SnarkArtifacts> {
-    requireNumber(treeDepth, "treeDepth")
-
-    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

@@ -1,59 +0,0 @@
-/* istanbul ignore file */
-import { requireNumber } from "@zk-kit/utils/error-handlers"
-import { createWriteStream, existsSync, readdirSync } from "node:fs"
-import { mkdir } from "node:fs/promises"
-import os from "node:os"
-import { dirname } from "node:path"
-import { Readable } from "node:stream"
-import { finished } from "node:stream/promises"
-import { SnarkArtifacts } from "./types"
-
-/**
- * A utility function to download the zero-knowledge artifacts from an external server.
- * @param url The URL from which to download the artifacts.
- * @param outputPath The path in which to save the artifacts.
- */
-async function download(url: string, outputPath: string) {
-    const response = await fetch(url)
-
-    if (!response.ok) {
-        throw new Error(`Failed to fetch ${url}: ${response.statusText}`)
-    }
-
-    // Ensure the directory exists.
-    const dir = dirname(outputPath)
-    await mkdir(dir, { recursive: true })
-
-    const fileStream = createWriteStream(outputPath)
-    await finished(Readable.fromWeb(response.body as any).pipe(fileStream))
-}
-
-/**
- * Downloads the zero-knowledge artifacts and returns their paths.
- * Artifacts exist for each tree depth supported by Semaphore, and
- * they were generated in a trusted-setup.
- * @param treeDepth The depth of the tree.
- * @returns The zero-knowledge artifacts paths.
- */
-export default async function getSnarkArtifacts(treeDepth: number): Promise<SnarkArtifacts> {
-    requireNumber(treeDepth, "treeDepth")
-
-    const tmpDir = "semaphore-proof"
-    const tmpPath = `${os.tmpdir()}/${tmpDir}-${treeDepth}`
-
-    if (!existsSync(tmpPath) || readdirSync(tmpPath).length !== 2) {
-        await download(
-            `https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.wasm`,
-            `${tmpPath}/semaphore.wasm`
-        )
-        await download(
-            `https://semaphore.cedoor.dev/artifacts/${treeDepth}/semaphore.zkey`,
-            `${tmpPath}/semaphore.zkey`
-        )
-    }
-
-    return {
-        wasmFilePath: `${tmpPath}/semaphore.wasm`,
-        zkeyFilePath: `${tmpPath}/semaphore.zkey`
-    }
-}