0.5.3

package-lock.json

@@ -1,6 +1,6 @@
 {
   "name": "circom",
-  "version": "0.0.35",
+  "version": "0.5.3",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {
@@ -221,9 +221,9 @@
       "integrity": "sha1-V00xLt2Iu13YkS6Sht1sCu1KrII="
     },
     "circom_runtime": {
-      "version": "0.0.2",
-      "resolved": "https://registry.npmjs.org/circom_runtime/-/circom_runtime-0.0.2.tgz",
-      "integrity": "sha512-aJcQucUxrZ31O7JbY14l1oiP6ZlNAtPW+i8/CY4b9GAjgWPjts+D9pxtz/x2yC2Ei+ieaJY7LFjfCKFTOoHGDQ==",
+      "version": "0.0.3",
+      "resolved": "https://registry.npmjs.org/circom_runtime/-/circom_runtime-0.0.3.tgz",
+      "integrity": "sha512-z4ypbs9cTQn7+2FHZNTnccMj6kQCcKT2agYqCrm2kdLBJh9LDoxU1JVu5mSnVuOtgc7BclQ7r0xclG0zP2rxhw==",
       "requires": {
         "big-integer": "^1.6.48",
         "fnv-plus": "^1.3.1"

package.json

@@ -1,6 +1,6 @@
 {
   "name": "circom",
-  "version": "0.0.35",
+  "version": "0.5.3",
   "description": "Language to generate logic circuits",
   "main": "index.js",
   "directories": {
@@ -31,14 +31,14 @@
   "dependencies": {
     "big-integer": "^1.6.32",
     "chai": "^4.2.0",
-    "circom_runtime": "0.0.2",
+    "circom_runtime": "0.0.3",
     "ffiasm": "0.0.2",
     "ffjavascript": "0.0.3",
-    "ffwasm": "0.0.5",
+    "ffwasm": "0.0.6",
     "fnv-plus": "^1.3.1",
-    "r1csfile": "0.0.2",
+    "r1csfile": "0.0.3",
     "tmp-promise": "^2.0.2",
-    "wasmbuilder": "0.0.9"
+    "wasmbuilder": "0.0.10"
   },
   "devDependencies": {
     "eslint": "^6.8.0",

ports/c/tester.js

@@ -52,7 +52,7 @@ async function  c_tester(circomFile, _options) {
         );
     } else throw("Unsupported platform");
 
-    const cdir = path.join(__dirname, "..", "..", "node_modules", "circom_runtime", "c");
+    const cdir = path.join(path.dirname(require.resolve("circom_runtime")), "c");
 
     await exec("g++" +
                ` ${path.join(cdir,  "main.cpp")}` +

ports/wasm/tester.js

@@ -55,9 +55,8 @@ class WasmTester {
         await this.dir.cleanup();
     }
 
-    async calculateWitness(input) {
-
-        return await this.witnessCalculator.calculateWitness(input);
+    async calculateWitness(input, sanityCheck) {
+        return await this.witnessCalculator.calculateWitness(input, sanityCheck);
     }
 
     async loadSymbols() {

src/r1csfile.js

@@ -103,7 +103,11 @@ async function buildR1cs(ctx, fileName) {
 
     async function writeU64(v, pos) {
         const b = Buffer.allocUnsafe(8);
-        b.writeBigUInt64LE(BigInt(v));
+
+        const LSB = v & 0xFFFFFFFF;
+        const MSB = Math.floor(v / 0x100000000);
+        b.writeInt32LE(LSB, 0);
+        b.writeInt32LE(MSB, 4);
 
         await fd.write(b, 0, 8, pos);