chore: update verification keys and deploy contracts (#826)

* chore: update verification keys

* fix(contracts): update verification key parameters

* chore: deploy contracts

* chore(contracts): remove script to copy abi after compiling

Author: cedoor

packages/contracts/contracts/base/SemaphoreVerifier.sol

@@ -3,8 +3,8 @@
     "private": true,
     "scripts": {
         "start": "hardhat node",
-        "copy:abi": "ncp  artifacts/contracts/Semaphore.sol/Semaphore.json ../utils/src/semaphore-abi.json",
-        "compile": "hardhat compile && yarn copy:abi",
+        "copy:abi": "ncp artifacts/contracts/Semaphore.sol/Semaphore.json ../utils/src/semaphore-abi.json",
+        "compile": "hardhat compile",
         "deploy": "hardhat deploy",
         "verify": "hardhat run scripts/verify-contracts.ts",
         "mock": "hardhat run scripts/create-mock-groups.ts",

packages/contracts/package.json

@@ -83,7 +83,10 @@ export default async function generateProof(
     }
 
     // If the Snark artifacts are not defined they will be automatically downloaded.
-    snarkArtifacts ??= await maybeGetSnarkArtifacts(Project.SEMAPHORE, { parameters: [merkleTreeDepth] })
+    snarkArtifacts ??= await maybeGetSnarkArtifacts(Project.SEMAPHORE, {
+        parameters: [merkleTreeDepth],
+        version: "4.0.0-beta.18"
+    })
     const { wasm, zkey } = snarkArtifacts
 
     // The index must be converted to a list of indices, 1 for each tree level.