Skip to content

Commit a414cb1

Browse files
authored
Update hardhat-zkit and fix typization (#10)
1 parent 5e78971 commit a414cb1

File tree

5 files changed

+103
-153
lines changed

5 files changed

+103
-153
lines changed

package-lock.json

Lines changed: 93 additions & 142 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

package.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@
4141
"@iden3/contracts": "^1.4.7",
4242
"@iden3/js-crypto": "^1.0.3",
4343
"@nomicfoundation/hardhat-toolbox": "^5.0.0",
44-
"@solarity/hardhat-zkit": "^0.1.2",
44+
"@solarity/hardhat-zkit": "^0.2.1",
4545
"@solarity/solidity-lib": "^2.7.3",
4646
"@typechain/ethers-v6": "^0.5.1",
4747
"@types/chai": "^4.3.14",

test/blinders/Commitment.test.ts

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,16 @@
11
import { expect } from "chai";
22
import { ethers, zkit } from "hardhat";
33

4-
import { CircuitZKit } from "@solarity/zkit";
5-
64
import { Reverter } from "../helpers/reverter";
75

86
import { CommitmentVerifierVerifier } from "@ethers-v6";
7+
import { CommitmentVerifier } from "@zkit";
98

109
describe("Commitment", () => {
1110
const reverter = new Reverter();
1211

1312
let commitmentVerifier: CommitmentVerifierVerifier;
14-
let commitmentCircuit: CircuitZKit;
13+
let commitmentCircuit: CommitmentVerifier;
1514

1615
before("setup", async () => {
1716
const CommitmentMockVerifier = await ethers.getContractFactory("CommitmentVerifierVerifier");
@@ -31,16 +30,16 @@ describe("Commitment", () => {
3130
});
3231

3332
// Poseidon(1, 2)
34-
expect(proofStruct.publicSignals[0]).to.equal(
33+
expect(proofStruct.publicSignals.commitment).to.equal(
3534
"7853200120776062878684798364095072458815029376092732009249414926327459813530",
3635
);
3736
// Poseidon(1)
38-
expect(proofStruct.publicSignals[1]).to.equal(
37+
expect(proofStruct.publicSignals.nullifierHash).to.equal(
3938
"18586133768512220936620570745912940619677854269274689475585506675881198879027",
4039
);
4140

4241
const [pA, pB, pC, publicSignals] = await commitmentCircuit.generateCalldata(proofStruct);
4342

44-
expect(await commitmentVerifier.verifyProof(pA, pB, pC, publicSignals as any)).to.be.true;
43+
expect(await commitmentVerifier.verifyProof(pA, pB, pC, publicSignals)).to.be.true;
4544
});
4645
});

test/data-structures/SparseMerkleTree.test.ts

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,16 @@
11
import { expect } from "chai";
22
import { ethers, zkit } from "hardhat";
33

4-
import { CircuitZKit } from "@solarity/zkit";
5-
64
import { deployPoseidonFacade } from "../helpers/poseidon/poseidon-deployer";
75
import { Reverter } from "../helpers/reverter";
86

97
import { SparseMerkleTreeMock, SparseMerkleTreeVerifierVerifier } from "@ethers-v6";
8+
import { SparseMerkleTreeVerifier } from "@zkit";
109

1110
describe("SparseMerkleTree", () => {
1211
const reverter = new Reverter();
1312

14-
let smtCircuit: CircuitZKit;
13+
let smtCircuit: SparseMerkleTreeVerifier;
1514

1615
let smtMock: SparseMerkleTreeMock;
1716
let smtVerifier: SparseMerkleTreeVerifierVerifier;

0 commit comments

Comments
 (0)