refactor: update the proof package and smart contracts

packages/contracts/contracts/base/Constants.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity >=0.8.23 <=0.8.28;
+pragma solidity >=0.8.23 <0.9.0;
 
 /// @dev Minimum supported tree depth.
 uint8 constant MIN_DEPTH = 1;

packages/contracts/contracts/base/SemaphoreGroups.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity >=0.8.23 <=0.8.28;
+pragma solidity >=0.8.23 <0.9.0;
 
 import {ISemaphoreGroups} from "../interfaces/ISemaphoreGroups.sol";
 import {InternalLeanIMT, LeanIMTData} from "@zk-kit/lean-imt.sol/InternalLeanIMT.sol";

packages/contracts/contracts/base/SemaphoreVerifier.sol

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Part of this file was generated with [snarkJS](https://github.com/iden3/snarkjs).
 
-pragma solidity >=0.8.23 <=0.8.28;
+pragma solidity >=0.8.23 <0.9.0;
 
 import {MAX_DEPTH} from "./Constants.sol";
 import {SemaphoreVerifierKeyPts} from "./SemaphoreVerifierKeyPts.sol";

packages/proof/package.json

@@ -52,7 +52,7 @@
     },
     "dependencies": {
         "@semaphore-protocol/utils": "4.12.1",
-        "@zk-kit/artifacts": "1.8.0",
+        "@zk-kit/artifacts": "2.0.1",
         "@zk-kit/utils": "1.3.0",
         "ethers": "6.13.4",
         "snarkjs": "0.7.5"

packages/proof/src/generate-proof.ts

@@ -86,18 +86,14 @@ export default async function generateProof(
     // If the Snark artifacts are not defined they will be automatically downloaded.
     snarkArtifacts ??= await maybeGetSnarkArtifacts(Project.SEMAPHORE, {
         parameters: [merkleTreeDepth],
-        version: "4.0.0"
+        version: "4.13.0-beta.0"
     })
     const { wasm, zkey } = snarkArtifacts
 
-    // The index must be converted to a list of indices, 1 for each tree level.
     // The missing siblings can be set to 0, as they won't be used in the circuit.
-    const merkleProofIndices = []
     const merkleProofSiblings = merkleProof.siblings
 
     for (let i = 0; i < merkleTreeDepth; i += 1) {
-        merkleProofIndices.push((merkleProof.index >> i) & 1)
-
         if (merkleProofSiblings[i] === undefined) {
             merkleProofSiblings[i] = 0n
         }
@@ -107,7 +103,7 @@ export default async function generateProof(
         {
             secret: identity.secretScalar,
             merkleProofLength,
-            merkleProofIndices,
+            merkleProofIndex: merkleProof.index,
             merkleProofSiblings,
             scope: hash(scope),
             message: hash(message)

yarn.lock

@@ -4088,6 +4088,15 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@commander-js/extra-typings@npm:^12.1.0":
+  version: 12.1.0
+  resolution: "@commander-js/extra-typings@npm:12.1.0"
+  peerDependencies:
+    commander: ~12.1.0
+  checksum: 10/489ef40dcf18508da5d8db288fa1536e294773b8d07e4c1edee6709972fe4310e3713819ef10bdc1d234615c5cf42df6acf9ddce0b31c6c8114be704fd626971
+  languageName: node
+  linkType: hard
+
 "@commitlint/cli@npm:^18.6.1":
   version: 18.6.1
   resolution: "@commitlint/cli@npm:18.6.1"
@@ -5663,6 +5672,26 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@inquirer/core@npm:^9.1.0":
+  version: 9.2.1
+  resolution: "@inquirer/core@npm:9.2.1"
+  dependencies:
+    "@inquirer/figures": "npm:^1.0.6"
+    "@inquirer/type": "npm:^2.0.0"
+    "@types/mute-stream": "npm:^0.0.4"
+    "@types/node": "npm:^22.5.5"
+    "@types/wrap-ansi": "npm:^3.0.0"
+    ansi-escapes: "npm:^4.3.2"
+    cli-width: "npm:^4.1.0"
+    mute-stream: "npm:^1.0.0"
+    signal-exit: "npm:^4.1.0"
+    strip-ansi: "npm:^6.0.1"
+    wrap-ansi: "npm:^6.2.0"
+    yoctocolors-cjs: "npm:^2.1.2"
+  checksum: 10/bf35e46e70add8ffa9e9d4ae6b528ac660484afca082bca31af95ce8a145a2f8c8d0d07cc7a8627771452e68ade9849c9c9c450a004133ed10ac2d6730900452
+  languageName: node
+  linkType: hard
+
 "@inquirer/editor@npm:^4.2.3":
   version: 4.2.3
   resolution: "@inquirer/editor@npm:4.2.3"
@@ -5696,13 +5725,30 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@inquirer/figures@npm:^1.0.5, @inquirer/figures@npm:^1.0.6":
+  version: 1.0.13
+  resolution: "@inquirer/figures@npm:1.0.13"
+  checksum: 10/725bdfa08dffa69861fdca57cfccdb8573c2ea95f9803e8bb16f4789fa4290043775c9286c7d810241bd8c1ea938521649fdf8e776a96cf2a701f9d77613f807
+  languageName: node
+  linkType: hard
+
 "@inquirer/figures@npm:^1.0.9":
   version: 1.0.9
   resolution: "@inquirer/figures@npm:1.0.9"
   checksum: 10/7ced1275a5826cdeb61797d6c068417e7d52aa87894de18cedd259f783f42d731226c3f8b92cab27b8e7b0e31ab1dd3cd77f16935b67ebe1cbb271e5972d7758
   languageName: node
   linkType: hard
 
+"@inquirer/input@npm:^2.1.8":
+  version: 2.3.0
+  resolution: "@inquirer/input@npm:2.3.0"
+  dependencies:
+    "@inquirer/core": "npm:^9.1.0"
+    "@inquirer/type": "npm:^1.5.3"
+  checksum: 10/1b6291f49be4e0ba6150b1b9971676cc5aec0271a946b9115975da21c7e32ee8bea6edd7b72689ed403f79f759d12e909920cca44684c02173ad9524de143341
+  languageName: node
+  linkType: hard
+
 "@inquirer/input@npm:^4.1.3":
   version: 4.1.3
   resolution: "@inquirer/input@npm:4.1.3"
@@ -5787,6 +5833,19 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@inquirer/select@npm:^2.3.4":
+  version: 2.5.0
+  resolution: "@inquirer/select@npm:2.5.0"
+  dependencies:
+    "@inquirer/core": "npm:^9.1.0"
+    "@inquirer/figures": "npm:^1.0.5"
+    "@inquirer/type": "npm:^1.5.3"
+    ansi-escapes: "npm:^4.3.2"
+    yoctocolors-cjs: "npm:^2.1.2"
+  checksum: 10/c47ec8ad1133bd7218d3c62e0fa62ecd2476ac291c87535e37956f47d12e2c1c2e4232fcc7b90de036bfe111bb9071a690d8d6d34b9839eb4c5c236bac309a6e
+  languageName: node
+  linkType: hard
+
 "@inquirer/select@npm:^4.0.6":
   version: 4.0.6
   resolution: "@inquirer/select@npm:4.0.6"
@@ -5802,6 +5861,24 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@inquirer/type@npm:^1.5.3":
+  version: 1.5.5
+  resolution: "@inquirer/type@npm:1.5.5"
+  dependencies:
+    mute-stream: "npm:^1.0.0"
+  checksum: 10/bd3f3d7510785af4ad599e042e99e4be6380f52f79f3db140fe6fed0a605acf27b1a0a20fb5cc688eaf7b8aa0c36dacb1d89c7bba4586f38cbf58ba9f159e7b5
+  languageName: node
+  linkType: hard
+
+"@inquirer/type@npm:^2.0.0":
+  version: 2.0.0
+  resolution: "@inquirer/type@npm:2.0.0"
+  dependencies:
+    mute-stream: "npm:^1.0.0"
+  checksum: 10/e85f359866c28cce06272d2d51cc17788a5c9de9fda7f181c27775dd26821de0dacbc947b521cfe2009cd2965ec54696799035ef3a25a9a5794e47d8e8bdf794
+  languageName: node
+  linkType: hard
+
 "@inquirer/type@npm:^3.0.2":
   version: 3.0.2
   resolution: "@inquirer/type@npm:3.0.2"
@@ -7726,7 +7803,7 @@ __metadata:
     "@rollup/plugin-typescript": "npm:^11.1.6"
     "@semaphore-protocol/utils": "npm:4.12.1"
     "@types/snarkjs": "npm:^0"
-    "@zk-kit/artifacts": "npm:1.8.0"
+    "@zk-kit/artifacts": "npm:2.0.1"
     "@zk-kit/utils": "npm:1.3.0"
     ethers: "npm:6.13.4"
     rimraf: "npm:^5.0.5"
@@ -8863,6 +8940,15 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@types/mute-stream@npm:^0.0.4":
+  version: 0.0.4
+  resolution: "@types/mute-stream@npm:0.0.4"
+  dependencies:
+    "@types/node": "npm:*"
+  checksum: 10/af8d83ad7b68ea05d9357985daf81b6c9b73af4feacb2f5c2693c7fd3e13e5135ef1bd083ce8d5bdc8e97acd28563b61bb32dec4e4508a8067fcd31b8a098632
+  languageName: node
+  linkType: hard
+
 "@types/ncp@npm:^2":
   version: 2.0.8
   resolution: "@types/ncp@npm:2.0.8"
@@ -8929,6 +9015,15 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@types/node@npm:^22.5.5":
+  version: 22.16.5
+  resolution: "@types/node@npm:22.16.5"
+  dependencies:
+    undici-types: "npm:~6.21.0"
+  checksum: 10/ba45b5c9113cbc5edb12960fcfe7e80db2c998af5c1931264240695b27d756570d92462150b95781bd67a03aa82111cc970ab0f4504eb99213edff8bf425354e
+  languageName: node
+  linkType: hard
+
 "@types/node@npm:^8.0.0":
   version: 8.10.66
   resolution: "@types/node@npm:8.10.66"
@@ -9247,6 +9342,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@types/wrap-ansi@npm:^3.0.0":
+  version: 3.0.0
+  resolution: "@types/wrap-ansi@npm:3.0.0"
+  checksum: 10/8aa644946ca4e859668c36b8e2bcf2ac4bdee59dac760414730ea57be8a93ae9166ebd40a088f2ab714843aaea2a2a67f0e6e6ec11cfc9c8701b2466ca1c4089
+  languageName: node
+  linkType: hard
+
 "@types/ws@npm:^7.4.4":
   version: 7.4.7
   resolution: "@types/ws@npm:7.4.7"
@@ -9751,10 +9853,19 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@zk-kit/artifacts@npm:1.8.0":
-  version: 1.8.0
-  resolution: "@zk-kit/artifacts@npm:1.8.0"
-  checksum: 10/f2eedd395d1662dc77780366edbbfbb9e543a82880dccfdc39dbf412010b65dabce9a64903218e64b9059fe7d9c02214e0f7817250a7ff4342836353d75d02dd
+"@zk-kit/artifacts@npm:2.0.1":
+  version: 2.0.1
+  resolution: "@zk-kit/artifacts@npm:2.0.1"
+  dependencies:
+    "@commander-js/extra-typings": "npm:^12.1.0"
+    "@inquirer/input": "npm:^2.1.8"
+    "@inquirer/select": "npm:^2.3.4"
+    circomkit: "npm:^0.2.1"
+    ora: "npm:^5.4.1"
+    snarkjs: "npm:^0.7.4"
+  bin:
+    snarkli: dist/cli/index.js
+  checksum: 10/d579eefaedd178934a215e06bfbf02174f0926d96b1f0285eef652be05cde0743a56142ced8e99effb71ed63a8977c6e12d5808956c725dd499950f768cb363a
   languageName: node
   linkType: hard
 
@@ -11983,6 +12094,22 @@ __metadata:
   languageName: node
   linkType: hard
 
+"circomkit@npm:^0.2.1":
+  version: 0.2.1
+  resolution: "circomkit@npm:0.2.1"
+  dependencies:
+    circom_tester: "npm:^0.0.19"
+    commander: "npm:^12.0.0"
+    loglevel: "npm:^1.8.1"
+  peerDependencies:
+    "@types/snarkjs": ^0.7.x
+    snarkjs: ^0.7.x
+  bin:
+    circomkit: dist/cli.js
+  checksum: 10/c5a0c50b66a3e5cdb4136234a95bbebecdc0b38cb37e669a65dd05444a5f9b4f8c77edc3b632d834d47eb1c0e08964e8e7bdbb59f880c7dd1b90893ea28cbb6a
+  languageName: node
+  linkType: hard
+
 "circomlib@npm:2.0.5, circomlib@npm:^2.0.5":
   version: 2.0.5
   resolution: "circomlib@npm:2.0.5"
@@ -20024,7 +20151,7 @@ __metadata:
   languageName: node
   linkType: hard
 
-"loglevel@npm:^1.9.2":
+"loglevel@npm:^1.8.1, loglevel@npm:^1.9.2":
   version: 1.9.2
   resolution: "loglevel@npm:1.9.2"
   checksum: 10/6153d8db308323f7ee20130bc40309e7a976c30a10379d8666b596d9c6441965c3e074c8d7ee3347fe5cfc059c0375b6f3e8a10b93d5b813cc5547f5aa412a29
@@ -21788,7 +21915,7 @@ __metadata:
   languageName: node
   linkType: hard
 
-"mute-stream@npm:1.0.0":
+"mute-stream@npm:1.0.0, mute-stream@npm:^1.0.0":
   version: 1.0.0
   resolution: "mute-stream@npm:1.0.0"
   checksum: 10/36fc968b0e9c9c63029d4f9dc63911950a3bdf55c9a87f58d3a266289b67180201cade911e7699f8b2fa596b34c9db43dad37649e3f7fdd13c3bb9edb0017ee7
@@ -26758,7 +26885,7 @@ __metadata:
   languageName: node
   linkType: hard
 
-"snarkjs@npm:0.7.5":
+"snarkjs@npm:0.7.5, snarkjs@npm:^0.7.4":
   version: 0.7.5
   resolution: "snarkjs@npm:0.7.5"
   dependencies:
@@ -28632,6 +28759,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"undici-types@npm:~6.21.0":
+  version: 6.21.0
+  resolution: "undici-types@npm:6.21.0"
+  checksum: 10/ec8f41aa4359d50f9b59fa61fe3efce3477cc681908c8f84354d8567bb3701fafdddf36ef6bff307024d3feb42c837cf6f670314ba37fc8145e219560e473d14
+  languageName: node
+  linkType: hard
+
 "undici@npm:7.2.3":
   version: 7.2.3
   resolution: "undici@npm:7.2.3"