@semaphore-protocol/proof 2.6.0 → 3.0.0-beta.5

package/src/verifyProof.ts

@@ -1,17 +1,28 @@
 import { groth16 } from "snarkjs"
 import { FullProof } from "./types"
+import verificationKeys from "./verificationKeys.json"
 
 /**
  * Verifies a SnarkJS proof.
- * @param verificationKey The zero-knowledge verification key.
  * @param fullProof The SnarkJS full proof.
+ * @param treeDepth The Merkle tree depth.
  * @returns True if the proof is valid, false otherwise.
  */
-export default function verifyProof(verificationKey: any, { proof, publicSignals }: FullProof): Promise<boolean> {
+export default function verifyProof({ proof, publicSignals }: FullProof, 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 groth16.verify(
         verificationKey,
         [
-            publicSignals.merkleRoot,
+            publicSignals.merkleTreeRoot,
             publicSignals.nullifierHash,
             publicSignals.signalHash,
             publicSignals.externalNullifier

package/dist/types/generateNullifierHash.d.ts

@@ -1,8 +0,0 @@
-import { BigNumberish } from "./types";
-/**
- * Generates a nullifier by hashing the external and the identity nullifiers.
- * @param externalNullifier The external nullifier.
- * @param identityNullifier The identity nullifier.
- * @returns The nullifier hash.
- */
-export default function generateNullifierHash(externalNullifier: BigNumberish, identityNullifier: BigNumberish): bigint;

package/dist/types/generateSignalHash.d.ts

@@ -1,6 +0,0 @@
-/**
- * Hashes a signal string with Keccak256.
- * @param signal The Semaphore signal.
- * @returns The signal hash.
- */
-export default function genSignalHash(signal: string): bigint;

package/src/generateNullifierHash.ts

@@ -1,15 +0,0 @@
-import { poseidon } from "circomlibjs"
-import { BigNumberish } from "./types"
-
-/**
- * Generates a nullifier by hashing the external and the identity nullifiers.
- * @param externalNullifier The external nullifier.
- * @param identityNullifier The identity nullifier.
- * @returns The nullifier hash.
- */
-export default function generateNullifierHash(
-    externalNullifier: BigNumberish,
-    identityNullifier: BigNumberish
-): bigint {
-    return poseidon([BigInt(externalNullifier), BigInt(identityNullifier)])
-}

package/src/generateSignalHash.ts

@@ -1,16 +0,0 @@
-import { isHexString } from "@ethersproject/bytes"
-import { keccak256 } from "@ethersproject/solidity"
-import { formatBytes32String } from "@ethersproject/strings"
-
-/**
- * Hashes a signal string with Keccak256.
- * @param signal The Semaphore signal.
- * @returns The signal hash.
- */
-export default function genSignalHash(signal: string): bigint {
-    if (!isHexString(signal, 32)) {
-        signal = formatBytes32String(signal)
-    }
-
-    return BigInt(keccak256(["bytes32"], [signal])) >> BigInt(8)
-}