From cbb0b229bcf0f6de98aebbeeec731da015fd82ea Mon Sep 17 00:00:00 2001
From: Jordi Baylina <jordi@baylina.cat>
Date: Wed, 5 Aug 2020 14:32:05 +0200
Subject: [PATCH] Big array in r1cs labels

---
 src/r1csfile.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/r1csfile.js b/src/r1csfile.js
index 8179ca4..c5e75f0 100644
--- a/src/r1csfile.js
+++ b/src/r1csfile.js
@@ -1,6 +1,7 @@
 
 const fastFile = require("fastfile");
 const assert = require("assert");
+const BigArray = require("./bigarray");
 
 module.exports.buildR1cs = buildR1cs;
 
@@ -70,7 +71,7 @@ async function buildR1cs(ctx, fileName) {
     await fd.writeULE64(0); // Temporally set to 0 length
 
 
-    const arr = new Array(NWires);
+    const arr = new BigArray(NWires);
     for (let i=0; i<ctx.signals.length; i++) {
         const outIdx = ctx.signals[i].id;
         if (ctx.signals[i].e>=0) continue;     // If has an alias, continue..