github/zk-kit
1
1
Fork 0
mirror of https://github.com/privacy-scaling-explorations/zk-kit.git synced 2026-04-22 03:00:15 -04:00
Code Issues Packages Projects Releases Wiki Activity

fix: tests

Browse Source
This commit is contained in:
bdim1
2022-02-22 18:47:05 +01:00
parent 18c613d17c
commit ea7fbd9fbf
2 changed files with 5 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
packages/protocols/tests/rln.test.ts
View File

@@ -4,7 +4,6 @@ import * as fs from "fs"
import * as path from "path"
import { RLN } from "../src"
import { generateMerkleProof, genExternalNullifier, genSignalHash } from "../src/utils"
import { RLNPublicSignals } from "../src/types"
describe("RLN", () => {
const zkeyFiles = "./packages/protocols/zkeyFiles"
@@ -79,7 +78,7 @@ describe("RLN", () => {
})
// eslint-disable-next-line jest/no-disabled-tests
it.skip("Should generate rln proof and verify it", async () => {
it("Should generate rln proof and verify it", async () => {
const identity = new ZkIdentity()
const secretHash = identity.getSecretHash()
const identityCommitment = identity.genIdentityCommitment()
@@ -88,23 +87,12 @@ describe("RLN", () => {
leaves.push(identityCommitment)
const signal = "hey hey"
const signalHash = genSignalHash(signal)
const epoch = genExternalNullifier("test-epoch")
const rlnIdentifier = RLN.genIdentifier()
const merkleProof = generateMerkleProof(15, BigInt(0), 2, leaves, identityCommitment)
const witness = RLN.genWitness(secretHash, merkleProof, epoch, signal, rlnIdentifier)
const [y, nullifier] = RLN.calculateOutput(secretHash, BigInt(epoch), rlnIdentifier, signalHash)
const publicSignals: RLNPublicSignals = {
yShare: y,
merkleRoot: merkleProof.root,
internalNullifier: nullifier,
signalHash,
epoch,
rlnIdentifier
}
const vkeyPath = path.join(zkeyFiles, "rln", "verification_key.json")
const vKey = JSON.parse(fs.readFileSync(vkeyPath, "utf-8"))
@@ -113,7 +101,7 @@ describe("RLN", () => {
const finalZkeyPath = path.join(zkeyFiles, "rln", "rln_final.zkey")
const fullProof = await RLN.genProof(witness, wasmFilePath, finalZkeyPath)
const response = await RLN.verifyProof(vKey, { proof: fullProof.proof, publicSignals })
const response = await RLN.verifyProof(vKey, fullProof )
expect(response).toBe(true)
}, 30000)

15
packages/protocols/tests/semaphore.test.ts
View File

@@ -3,8 +3,7 @@ import { getCurveFromName } from "ffjavascript"
import fs from "fs"
import path from "path"
import { Semaphore } from "../src"
import { SemaphorePublicSignals } from "../src/types"
import { generateMerkleProof, genExternalNullifier, genSignalHash } from "../src/utils"
import { generateMerkleProof, genExternalNullifier } from "../src/utils"
describe("Semaphore", () => {
const zkeyFiles = "./packages/protocols/zkeyFiles"
@@ -41,7 +40,7 @@ describe("Semaphore", () => {
})
// eslint-disable-next-line jest/no-disabled-tests
it.skip("Should generate Semaphore full proof", async () => {
it("Should generate Semaphore full proof", async () => {
const identity = new ZkIdentity()
const identityCommitment = identity.genIdentityCommitment()
const externalNullifier = genExternalNullifier("voting_1")
@@ -64,16 +63,8 @@ describe("Semaphore", () => {
const vkeyPath = path.join("./packages/protocols/zkeyFiles", "semaphore", "verification_key.json")
const vKey = JSON.parse(fs.readFileSync(vkeyPath, "utf-8"))
const nullifierHash = Semaphore.genNullifierHash(externalNullifier, identity.getNullifier())
const publicSignals: SemaphorePublicSignals = {
merkleRoot: merkleProof.root.toString(),
nullifierHash,
signalHash: genSignalHash(signal),
externalNullifier
}
const response = await Semaphore.verifyProof(vKey, { proof: fullProof.proof, publicSignals })
const response = await Semaphore.verifyProof(vKey, fullProof)
expect(response).toBe(true)
}, 30000)