@semaphore-protocol/proof 3.15.2 → 4.0.0-alpha

package/src/verifyProof.ts

@@ -1,31 +0,0 @@
-import { verify } from "@zk-kit/groth16"
-import hash from "./hash"
-import { SemaphoreProof } from "./types"
-import unpackProof from "./unpackProof"
-import verificationKeys from "./verificationKeys.json"
-
-/**
- * Verifies a Semaphore proof.
- * @param fullProof The SnarkJS Semaphore proof.
- * @param treeDepth The Merkle tree depth.
- * @returns True if the proof is valid, false otherwise.
- */
-export default function verifyProof(
-    { merkleTreeRoot, nullifierHash, externalNullifier, signal, proof }: SemaphoreProof,
-    treeDepth: number
-): Promise<boolean> {
-    if (treeDepth < 16 || treeDepth > 32) {
-        throw new TypeError("The tree depth must be a number between 16 and 32")
-    }
-
-    const verificationKey = {
-        ...verificationKeys,
-        vk_delta_2: verificationKeys.vk_delta_2[treeDepth - 16],
-        IC: verificationKeys.IC[treeDepth - 16]
-    }
-
-    return verify(verificationKey, {
-        publicSignals: [merkleTreeRoot, nullifierHash, hash(signal), hash(externalNullifier)],
-        proof: unpackProof(proof)
-    })
-}