@hinkal/common 0.0.116 → 0.0.118

package/Users/nkoreli/Documents/GitHub/Hinkal-Protocol/node_modules/circom_runtime/js/witness_calculator.mjs

@@ -0,0 +1,236 @@
+import { fnvHash as W, flatArray as b, toArray32 as M } from "./utils.mjs";
+import { Scalar as m } from "../../ffjavascript/main.mjs";
+import R from "../../ffjavascript/src/f1field.mjs";
+async function k(F, e) {
+  e = e || {};
+  let s = 32767, t, i = !1;
+  for (; !i; )
+    try {
+      t = new WebAssembly.Memory({ initial: s }), i = !0;
+    } catch (r) {
+      if (s === 1)
+        throw r;
+      console.warn("Could not allocate " + s * 1024 * 64 + " bytes. This may cause severe instability. Trying with " + s * 1024 * 64 / 2 + " bytes"), s = Math.floor(s / 2);
+    }
+  const c = await WebAssembly.compile(F);
+  let n, o = "", h = "", y = 1, g = 0, f = 0;
+  const a = await WebAssembly.instantiate(c, {
+    env: {
+      memory: t
+    },
+    runtime: {
+      exceptionHandler: function(r) {
+        let l;
+        throw r == 1 ? l = "Signal not found. " : r == 2 ? l = "Too many signals set. " : r == 3 ? l = "Signal already set. " : r == 4 ? l = "Assert Failed. " : r == 5 ? l = "Not enough memory. " : r == 6 ? l = "Input signal array access exceeds the size. " : l = "Unknown error. ", console.error("ERROR: ", r, o), new Error(l + o);
+      },
+      // A new way of logging messages was added in Circom 2.0.7 that requires 2 new imports
+      // `printErrorMessage` and `writeBufferMessage`.
+      printErrorMessage: function() {
+        o += C() + `
+`;
+      },
+      writeBufferMessage: function() {
+        const r = C();
+        r === `
+` ? (console.log(h), h = "") : (h !== "" && (h += " "), h += r);
+      },
+      showSharedRWMemory: function() {
+        const r = a.exports.getFieldNumLen32(), l = new Uint32Array(r);
+        for (let u = 0; u < r; u++)
+          l[r - 1 - u] = a.exports.readSharedRWMemory(u);
+        if (y >= 2 && (g >= 1 || f >= 7)) {
+          h !== "" && (h += " ");
+          const u = m.fromArray(l, 4294967296).toString();
+          h += u;
+        } else
+          console.log(m.fromArray(l, 4294967296));
+      },
+      error: function(r, l, u, S, w, A) {
+        let x;
+        throw r == 7 ? x = p(l) + " " + n.getFr(S).toString() + " != " + n.getFr(w).toString() + " " + p(A) : r == 9 ? x = p(l) + " " + n.getFr(S).toString() + " " + p(w) : r == 5 && e.sym ? x = p(l) + " " + e.sym.labelIdx2Name[w] : x = p(l) + " " + u + " " + S + " " + w + " " + A, console.log("ERROR: ", r, x), new Error(x);
+      },
+      log: function(r) {
+        console.log(n.getFr(r).toString());
+      },
+      logGetSignal: function(r, l) {
+        e.logGetSignal && e.logGetSignal(r, n.getFr(l));
+      },
+      logSetSignal: function(r, l) {
+        e.logSetSignal && e.logSetSignal(r, n.getFr(l));
+      },
+      logStartComponent: function(r) {
+        e.logStartComponent && e.logStartComponent(r);
+      },
+      logFinishComponent: function(r) {
+        e.logFinishComponent && e.logFinishComponent(r);
+      }
+    }
+  });
+  typeof a.exports.getVersion == "function" && (y = a.exports.getVersion()), typeof a.exports.getMinorVersion == "function" && (g = a.exports.getMinorVersion()), typeof a.exports.getPatchVersion == "function" && (f = a.exports.getPatchVersion());
+  const d = e && (e.sanityCheck || e.logGetSignal || e.logSetSignal || e.logStartComponent || e.logFinishComponent);
+  return y === 2 ? n = new V(a, d) : n = new I(t, a, d), n;
+  function C() {
+    for (var r = "", l = a.exports.getMessageChar(); l != 0; )
+      r += String.fromCharCode(l), l = a.exports.getMessageChar();
+    return r;
+  }
+  function p(r) {
+    const l = new Uint8Array(t.buffer), u = [];
+    for (let S = 0; l[r + S] > 0; S++)
+      u.push(l[r + S]);
+    return String.fromCharCode.apply(null, u);
+  }
+}
+class I {
+  constructor(e, s, t) {
+    this.memory = e, this.i32 = new Uint32Array(e.buffer), this.instance = s, this.n32 = (this.instance.exports.getFrLen() >> 2) - 2;
+    const i = this.instance.exports.getPRawPrime(), c = new Array(this.n32);
+    for (let n = 0; n < this.n32; n++)
+      c[this.n32 - 1 - n] = this.i32[(i >> 2) + n];
+    this.prime = m.fromArray(c, 4294967296), this.Fr = new R(this.prime), this.mask32 = m.fromString("FFFFFFFF", 16), this.NVars = this.instance.exports.getNVars(), this.n64 = Math.floor((this.Fr.bitLength - 1) / 64) + 1, this.R = this.Fr.e(m.shiftLeft(1, this.n64 * 64)), this.RInv = this.Fr.inv(this.R), this.sanityCheck = t;
+  }
+  circom_version() {
+    return 1;
+  }
+  async _doCalculateWitness(e, s) {
+    this.instance.exports.init(this.sanityCheck || s ? 1 : 0);
+    const t = this.allocInt(), i = this.allocFr();
+    Object.keys(e).forEach((n) => {
+      const o = W(n), h = parseInt(o.slice(0, 8), 16), y = parseInt(o.slice(8, 16), 16);
+      try {
+        this.instance.exports.getSignalOffset32(t, 0, h, y);
+      } catch {
+        throw new Error(`Signal ${n} is not an input of the circuit.`);
+      }
+      const g = this.getInt(t), f = b(e[n]);
+      for (let a = 0; a < f.length; a++)
+        this.setFr(i, f[a]), this.instance.exports.setSignal(0, 0, g + a, i);
+    });
+  }
+  async calculateWitness(e, s) {
+    const t = this, i = t.i32[0], c = [];
+    await t._doCalculateWitness(e, s);
+    for (let n = 0; n < t.NVars; n++) {
+      const o = t.instance.exports.getPWitness(n);
+      c.push(t.getFr(o));
+    }
+    return t.i32[0] = i, c;
+  }
+  async calculateBinWitness(e, s) {
+    const t = this, i = t.i32[0];
+    await t._doCalculateWitness(e, s);
+    const c = t.instance.exports.getWitnessBuffer();
+    t.i32[0] = i;
+    const n = t.memory.buffer.slice(c, c + t.NVars * t.n64 * 8);
+    return new Uint8Array(n);
+  }
+  allocInt() {
+    const e = this.i32[0];
+    return this.i32[0] = e + 8, e;
+  }
+  allocFr() {
+    const e = this.i32[0];
+    return this.i32[0] = e + this.n32 * 4 + 8, e;
+  }
+  getInt(e) {
+    return this.i32[e >> 2];
+  }
+  setInt(e, s) {
+    this.i32[e >> 2] = s;
+  }
+  getFr(e) {
+    const s = this, t = e >> 2;
+    if (s.i32[t + 1] & 2147483648) {
+      const c = new Array(s.n32);
+      for (let o = 0; o < s.n32; o++)
+        c[s.n32 - 1 - o] = s.i32[t + 2 + o];
+      const n = s.Fr.e(m.fromArray(c, 4294967296));
+      return s.i32[t + 1] & 1073741824 ? i(n) : n;
+    } else
+      return s.i32[t] & 2147483648 ? s.Fr.e(s.i32[t] - 4294967296) : s.Fr.e(s.i32[t]);
+    function i(c) {
+      return s.Fr.mul(s.RInv, c);
+    }
+  }
+  setFr(e, s) {
+    const t = this;
+    s = t.Fr.e(s);
+    const i = t.Fr.neg(t.Fr.e("80000000", 16)), c = t.Fr.e("7FFFFFFF", 16);
+    if (t.Fr.geq(s, i) && t.Fr.leq(s, c)) {
+      let o;
+      t.Fr.geq(s, t.Fr.zero) ? o = m.toNumber(s) : (o = m.toNumber(t.Fr.sub(s, i)), o = o - 2147483648, o = 4294967296 + o), t.i32[e >> 2] = o, t.i32[(e >> 2) + 1] = 0;
+      return;
+    }
+    t.i32[e >> 2] = 0, t.i32[(e >> 2) + 1] = 2147483648;
+    const n = m.toArray(s, 4294967296);
+    for (let o = 0; o < t.n32; o++) {
+      const h = n.length - 1 - o;
+      h >= 0 ? t.i32[(e >> 2) + 2 + o] = n[h] : t.i32[(e >> 2) + 2 + o] = 0;
+    }
+  }
+}
+class V {
+  constructor(e, s) {
+    this.instance = e, this.version = this.instance.exports.getVersion(), this.n32 = this.instance.exports.getFieldNumLen32(), this.instance.exports.getRawPrime();
+    const t = new Array(this.n32);
+    for (let i = 0; i < this.n32; i++)
+      t[this.n32 - 1 - i] = this.instance.exports.readSharedRWMemory(i);
+    this.prime = m.fromArray(t, 4294967296), this.witnessSize = this.instance.exports.getWitnessSize(), this.sanityCheck = s;
+  }
+  circom_version() {
+    return this.instance.exports.getVersion();
+  }
+  async _doCalculateWitness(e, s) {
+    this.instance.exports.init(this.sanityCheck || s ? 1 : 0);
+    const t = Object.keys(e);
+    var i = 0;
+    if (t.forEach((c) => {
+      const n = W(c), o = parseInt(n.slice(0, 8), 16), h = parseInt(n.slice(8, 16), 16), y = b(e[c]);
+      for (let g = 0; g < y.length; g++) {
+        const f = M(y[g], this.n32);
+        for (let a = 0; a < this.n32; a++)
+          this.instance.exports.writeSharedRWMemory(a, f[this.n32 - 1 - a]);
+        try {
+          this.instance.exports.setInputSignal(o, h, g), i++;
+        } catch (a) {
+          throw new Error(a);
+        }
+      }
+    }), i < this.instance.exports.getInputSize())
+      throw new Error(`Not all inputs have been set. Only ${i} out of ${this.instance.exports.getInputSize()}`);
+  }
+  async calculateWitness(e, s) {
+    const t = [];
+    await this._doCalculateWitness(e, s);
+    for (let i = 0; i < this.witnessSize; i++) {
+      this.instance.exports.getWitness(i);
+      const c = new Uint32Array(this.n32);
+      for (let n = 0; n < this.n32; n++)
+        c[this.n32 - 1 - n] = this.instance.exports.readSharedRWMemory(n);
+      t.push(m.fromArray(c, 4294967296));
+    }
+    return t;
+  }
+  async calculateWTNSBin(e, s) {
+    const t = new Uint32Array(this.witnessSize * this.n32 + this.n32 + 11), i = new Uint8Array(t.buffer);
+    await this._doCalculateWitness(e, s), i[0] = 119, i[1] = 116, i[2] = 110, i[3] = 115, t[1] = 2, t[2] = 2, t[3] = 1;
+    const c = this.n32 * 4, o = (8 + c).toString(16);
+    t[4] = parseInt(o.slice(0, 8), 16), t[5] = parseInt(o.slice(8, 16), 16), t[6] = c, this.instance.exports.getRawPrime();
+    var h = 7;
+    for (let f = 0; f < this.n32; f++)
+      t[h + f] = this.instance.exports.readSharedRWMemory(f);
+    h += this.n32, t[h] = this.witnessSize, h++, t[h] = 2, h++;
+    const g = (c * this.witnessSize).toString(16);
+    t[h] = parseInt(g.slice(0, 8), 16), t[h + 1] = parseInt(g.slice(8, 16), 16), h += 2;
+    for (let f = 0; f < this.witnessSize; f++) {
+      this.instance.exports.getWitness(f);
+      for (let a = 0; a < this.n32; a++)
+        t[h + a] = this.instance.exports.readSharedRWMemory(a);
+      h += this.n32;
+    }
+    return i;
+  }
+}
+export {
+  k as default
+};