Set as specific tornado cash package

cli.js

@@ -446,7 +446,7 @@ function generateVerifier_original(verificationKey) {
 
     // The points
 
-    template = template.replace("<%vk_input_length%>", (verificationKey.IC.length-1).toString());
+    template = template.replace(/<%vk_input_length%>/g, (verificationKey.IC.length-1).toString());
     template = template.replace("<%vk_ic_length%>", verificationKey.IC.length.toString());
     let vi = "";
     for (let i=0; i<verificationKey.IC.length; i++) {
@@ -488,7 +488,7 @@ function generateVerifier_groth(verificationKey) {
 
     // The points
 
-    template = template.replace("<%vk_input_length%>", (verificationKey.IC.length-1).toString());
+    template = template.replace(/<%vk_input_length%>/g, (verificationKey.IC.length-1).toString());
     template = template.replace("<%vk_ic_length%>", verificationKey.IC.length.toString());
     let vi = "";
     for (let i=0; i<verificationKey.IC.length; i++) {
@@ -529,7 +529,7 @@ function generateVerifier_kimleeoh(verificationKey) {
 
     // The points
 
-    template = template.replace("<%vk_input_length%>", (verificationKey.IC.length-1).toString());
+    template = template.replace(/<%vk_input_length%>/g, (verificationKey.IC.length-1).toString());
     template = template.replace("<%vk_ic_length%>", verificationKey.IC.length.toString());
     let vi = "";
     for (let i=0; i<verificationKey.IC.length; i++) {

package.json

@@ -1,5 +1,5 @@
 {
-  "name": "snarkjs",
+    "name": "@tornado/snarkjs",
     "version": "0.1.20",
     "description": "zkSNARKs implementation in JavaScript",
     "main": "index.js",
@@ -25,7 +25,7 @@
     "license": "GPL-3.0",
     "repository": {
         "type": "git",
-    "url": "https://github.com/iden3/snarkjs.git"
+        "url": "https://git.tornado.ws/tornado-packages/snarkjs"
     },
     "dependencies": {
         "big-integer": "^1.6.43",

templates/verifier_groth.sol

@@ -220,4 +220,9 @@ contract Verifier {
             return false;
         }
     }
+    function verifyProof(bytes calldata proof, uint[<%vk_input_length%>] calldata inputs) external view returns (bool r) {
+        // solidity does not support decoding uint[2][2] yet
+        (uint[2] memory a, uint[2] memory b1, uint[2] memory b2, uint[2] memory c) = abi.decode(proof, (uint[2], uint[2], uint[2], uint[2]));
+        return verifyProof(a, [b1, b2], c, inputs);
+    }
 }

templates/verifier_kimleeoh.sol

@@ -211,4 +211,9 @@ contract Verifier {
             return false;
         }
     }
+    function verifyProof(bytes calldata proof, uint[<%vk_input_length%>] calldata inputs) external view returns (bool r) {
+        // solidity does not support decoding uint[2][2] yet
+        (uint[2] memory a, uint[2] memory b1, uint[2] memory b2, uint[2] memory c) = abi.decode(proof, (uint[2], uint[2], uint[2], uint[2]));
+        return verifyProof(a, [b1, b2], c, inputs);
+    }
 }

templates/verifier_original.sol

@@ -238,6 +238,21 @@ contract Verifier {
             return false;
         }
     }
+    function verifyProof(bytes calldata proof, uint[<%vk_input_length%>] calldata inputs) external view returns (bool r) {
+        // solidity does not support decoding uint[2][2] yet
+        (
+            uint[2] memory a,
+            uint[2] memory a_p,
+            uint[2] memory b1,
+            uint[2] memory b2,
+            uint[2] memory b_p,
+            uint[2] memory c,
+            uint[2] memory c_p,
+            uint[2] memory h,
+            uint[2] memory k
+        ) = abi.decode(proof, (uint[2], uint[2], uint[2], uint[2], uint[2], uint[2], uint[2], uint[2], uint[2]));
+        return verifyProof(a, a_p, [b1, b2], b_p, c, c_p, h, k, inputs);
+    }
 }