@semaphore-protocol/proof 4.0.0-beta.1 → 4.0.0-beta.10

package/src/verify-proof.ts

@@ -1,12 +1,7 @@
-import {
-    requireArray,
-    requireDefined,
-    requireNumber,
-    requireObject,
-    requireString
-} from "@semaphore-protocol/utils/errors"
+import { MAX_DEPTH, MIN_DEPTH } from "@semaphore-protocol/utils/constants"
+import { requireArray, requireDefined, requireNumber, requireObject, requireString } from "@zk-kit/utils/error-handlers"
+import { unpackGroth16Proof } from "@zk-kit/utils/proof-packing"
 import { groth16 } from "snarkjs"
-import { unpackGroth16Proof } from "@zk-kit/utils"
 import hash from "./hash"
 import { SemaphoreProof } from "./types"
 import verificationKeys from "./verification-keys.json"
@@ -30,9 +25,8 @@ export default async function verifyProof(proof: SemaphoreProof): Promise<boolea
     requireString(scope, "proof.scope")
     requireArray(points, "proof.points")
 
-    // TODO: support all tree depths after trusted-setup.
-    if (merkleTreeDepth < 1 || merkleTreeDepth > 12) {
-        throw new TypeError("The tree depth must be a number between 1 and 12")
+    if (merkleTreeDepth < MIN_DEPTH || merkleTreeDepth > MAX_DEPTH) {
+        throw new TypeError(`The tree depth must be a number between ${MIN_DEPTH} and ${MAX_DEPTH}`)
     }
 
     const verificationKey = {

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 "@semaphore-protocol/utils/errors"
-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 "@semaphore-protocol/utils/errors"
-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`
-    }
-}