chore(deps): bump circomkit from 0.1.0 to 0.2.1 (#1480)

* chore(deps): bump circomkit from 0.1.0 to 0.2.1

Bumps [circomkit](https://github.com/erhant/circomkit) from 0.1.0 to 0.2.1.
- [Release notes](https://github.com/erhant/circomkit/releases)
- [Commits](erhant/circomkit@v0.1.0...v0.2.1)

---
updated-dependencies:
- dependency-name: circomkit
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

* chore: ensure latest circomkit version works

---------

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: ctrlc03 <[email protected]>

circuits/package.json

@@ -36,7 +36,7 @@
   },
   "dependencies": {
     "@zk-kit/circuits": "^0.4.0",
-    "circomkit": "^0.1.0",
+    "circomkit": "^0.2.1",
     "circomlib": "^2.0.5",
     "maci-core": "1.2.2",
     "maci-crypto": "1.2.2",

circuits/ts/__tests__/MessageValidator.test.ts

@@ -1,6 +1,5 @@
 import { expect } from "chai";
 import { type WitnessTester } from "circomkit";
-import { SignalValueType } from "circomkit/dist/types/circuit";
 import { genRandomSalt } from "maci-crypto";
 import { PCommand, Keypair } from "maci-domainobjs";
 
@@ -58,7 +57,7 @@ describe("MessageValidator circuit", function test() {
       const signature = command.sign(privKey);
 
       circuitInputs = {
-        stateTreeIndex: 0n as SignalValueType,
+        stateTreeIndex: 0n,
         numSignUps: 1n,
         voteOptionIndex: 0n,
         maxVoteOptions: 1n,
@@ -204,7 +203,7 @@ describe("MessageValidator circuit", function test() {
       const signature = command.sign(privKey);
 
       circuitInputs = {
-        stateTreeIndex: 0n as SignalValueType,
+        stateTreeIndex: 0n,
         numSignUps: 1n,
         voteOptionIndex: 0n,
         maxVoteOptions: 1n,

circuits/ts/__tests__/utils/types.ts

@@ -1,4 +1,8 @@
-import { type SignalValueType } from "circomkit/dist/types/circuit";
+/** An integer value is a numerical string, a number, or a bigint. */
+export type IntegerValueType = `${number}` | number | bigint;
+
+/** A signal value is a number, or an array of numbers (recursively). */
+export type SignalValueType = IntegerValueType | SignalValueType[];
 
 /**
  * Circuit inputs for testing the MessageValidator circuit