@solarity/zkit 0.3.7-rc.1 → 0.3.7

package/README.md

@@ -9,6 +9,7 @@
 - Leverage `groth16` and `plonk` proving systems.
 - Render optimized Solidity | Vyper verifiers.
 - Build and work with ZK witnesses.
+- Substitute witness signals for advanced circuits testing.
 
 ## Installation
 
@@ -62,18 +63,22 @@ await circuit.createVerifier("sol");
 await circuit.createVerifier("sol", "_suffix_");
 ```
 
-- **`async calculateWitness(inputs) -> bigint[]`**
+- **`async calculateWitness(inputs, witnessOverrides?) -> bigint[]`**
 
 Calculates a witness in the `tmp` directory and returns its json representation.
+An optional `witnessOverrides` parameter can be provided to replace specific signal values in the generated witness file.
 
 ```typescript
 /// witness = [1n, 200n, 20n, 10n]
 const witness = await circuit.calculateWitness({ a: 10, b: 20 });
+
+/// witness = [1n, 200n, 35n, 10n]
+const witness = await circuit.calculateWitness({ a: 10, b: 20 }, { "main.a": 35 });
 ```
 
-- **`async generateProof(inputs) -> proof`**
+- **`async generateProof(inputs, witnessOverrides?) -> proof`**
 
-Generates a proof for the given inputs.
+Generates a proof for the given `inputs` and `witnessOverrides`.
 
 ```typescript
 /// { proof: { pi_a, pi_b, pi_c, protocol, curve }, publicSignals: [6] }

package/dist/core/CircuitZKit.d.ts

@@ -1,6 +1,4 @@
-import { ArtifactsFileType, CircuitZKitConfig, VerifierLanguageType } from "../types/circuit-zkit";
-import { Signals } from "../types/proof-utils";
-import { CalldataByProtocol, IProtocolImplementer, ProofStructByProtocol, ProvingSystemType } from "../types/protocols";
+import { ArtifactsFileType, CircuitZKitConfig, VerifierLanguageType, Signals, CalldataByProtocol, IProtocolImplementer, ProofStructByProtocol, ProvingSystemType } from "../types";
 /**
  * `CircuitZKit` represents a single circuit and provides a high-level API to work with it.
  */

package/dist/core/CircuitZKit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"CircuitZKit.d.ts","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AACnG,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAKxH;;GAEG;AACH,qBAAa,WAAW,CAAC,IAAI,SAAS,iBAAiB;IAEnD,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,YAAY;gBADZ,OAAO,EAAE,iBAAiB,EAC1B,YAAY,EAAE,oBAAoB,CAAC,IAAI,CAAC;IAG3D;;;;;;;;;;;OAWG;IACU,cAAc,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAsBhH;;;;;;;;;;;OAWG;IACU,gBAAgB,CAAC,MAAM,EAAE,OAAO,EAAE,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAmB5G;;;;;;;;;;;;;;OAcG;IACU,aAAa,CACxB,MAAM,EAAE,OAAO,EACf,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACxC,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAuBvC;;;;;;;;OAQG;IACU,WAAW,CAAC,KAAK,EAAE,qBAAqB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;IAM9E;;;;;OAKG;IACU,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAIpG;;;;OAIG;IACI,cAAc,IAAI,MAAM;IAI/B;;;;;;;OAOG;IACI,eAAe,CAAC,kBAAkB,CAAC,EAAE,MAAM,GAAG,MAAM;IAI3D;;;;OAIG;IACI,oBAAoB,IAAI,iBAAiB;IAIhD;;;;OAIG;IACI,mBAAmB,CAAC,iBAAiB,EAAE,oBAAoB,GAAG,MAAM;IAI3E;;;;;;;OAOG;IACI,uBAAuB,IAAI,MAAM;IAIxC;;;;;OAKG;IACI,wBAAwB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,MAAM;IAUpE;;;;;OAKG;IACI,oBAAoB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,MAAM;CAgCjE"}
+{"version":3,"file":"CircuitZKit.d.ts","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,OAAO,EACP,kBAAkB,EAClB,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EAElB,MAAM,UAAU,CAAC;AAKlB;;GAEG;AACH,qBAAa,WAAW,CAAC,IAAI,SAAS,iBAAiB;IAEnD,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,YAAY;gBADZ,OAAO,EAAE,iBAAiB,EAC1B,YAAY,EAAE,oBAAoB,CAAC,IAAI,CAAC;IAG3D;;;;;;;;;;;OAWG;IACU,cAAc,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAsBhH;;;;;;;;;;;OAWG;IACU,gBAAgB,CAAC,MAAM,EAAE,OAAO,EAAE,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAmB5G;;;;;;;;;;;;;;OAcG;IACU,aAAa,CACxB,MAAM,EAAE,OAAO,EACf,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACxC,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAuBvC;;;;;;;;OAQG;IACU,WAAW,CAAC,KAAK,EAAE,qBAAqB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;IAM9E;;;;;OAKG;IACU,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAIpG;;;;OAIG;IACI,cAAc,IAAI,MAAM;IAI/B;;;;;;;OAOG;IACI,eAAe,CAAC,kBAAkB,CAAC,EAAE,MAAM,GAAG,MAAM;IAI3D;;;;OAIG;IACI,oBAAoB,IAAI,iBAAiB;IAIhD;;;;OAIG;IACI,mBAAmB,CAAC,iBAAiB,EAAE,oBAAoB,GAAG,MAAM;IAI3E;;;;;;;OAOG;IACI,uBAAuB,IAAI,MAAM;IAIxC;;;;;OAKG;IACI,wBAAwB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,MAAM;IAUpE;;;;;OAKG;IACI,oBAAoB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,MAAM;CAgCjE"}

package/dist/core/CircuitZKit.js.map

@@ -1 +1 @@
-{"version":3,"file":"CircuitZKit.js","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,gDAAwB;AACxB,iDAAmC;AACnC,mCAAoC;AAMpC,4CAAoD;AACpD,oCAAkG;AAElG;;GAEG;AACH,MAAa,WAAW;IAEH;IACA;IAFnB,YACmB,OAA0B,EAC1B,YAAwC;QADxC,YAAO,GAAP,OAAO,CAAmB;QAC1B,iBAAY,GAAZ,YAAY,CAA4B;IACxD,CAAC;IAEJ;;;;;;;;;;;OAWG;IACI,KAAK,CAAC,cAAc,CAAC,iBAAuC,EAAE,kBAA2B;QAC9F,MAAM,YAAY,GAAW,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEnE,IAAI,gBAAgB,GAAW,GAAG,IAAI,CAAC,eAAe,CAAC,kBAAkB,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAElG,IAAI,gBAAgB,CAAC,MAAM,IAAI,gCAAoB,EAAE,CAAC;YACpD,MAAM,cAAc,GAAW,kBAAkB;gBAC/C,CAAC,CAAC,MAAM,IAAA,mBAAU,EAAC,MAAM,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;gBAClF,CAAC,CAAC,EAAE,CAAC;YAEP,gBAAgB,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,cAAc,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAElF,IAAI,gBAAgB,CAAC,MAAM,IAAI,gCAAoB,EAAE,CAAC;gBACpD,MAAM,IAAI,KAAK,CAAC,uBAAuB,gBAAgB,wCAAwC,CAAC,CAAC;YACnG,CAAC;QACH,CAAC;QAED,MAAM,gBAAgB,GAAG,cAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC;QAEnF,MAAM,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;IAC5F,CAAC;IAED;;;;;;;;;;;OAWG;IACI,KAAK,CAAC,gBAAgB,CAAC,MAAe,EAAE,gBAAyC;QACtF,MAAM,QAAQ,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEvD,IAAI,aAAa,GAA2B,EAAE,CAAC;QAE/C,IAAI,gBAAgB,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;YAErD,aAAa,GAAG,MAAM,IAAA,6BAAqB,EAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QACzE,CAAC;QAED,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAEzD,MAAM,QAAQ,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAa,CAAC;QAEvE,OAAO,gBAAgB,CAAC,CAAC,CAAC,IAAA,0BAAkB,EAAC,QAAQ,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrG,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACI,KAAK,CAAC,aAAa,CACxB,MAAe,EACf,gBAAyC;QAEzC,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,WAAW,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAEnD,IAAI,KAAkC,CAAC;QAEvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;YAEtE,IAAI,gBAAgB,EAAE,CAAC;gBACrB,MAAM,IAAA,wBAAgB,EAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAC/C,CAAC;YAED,KAAK,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACvE,CAAC;gBAAS,CAAC;YACT,IAAI,YAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/B,YAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CAAC,WAAW,CAAC,KAAkC;QACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEvD,OAAO,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxD,CAAC;IAED;;;;;OAKG;IACI,KAAK,CAAC,gBAAgB,CAAC,KAAkC;QAC9D,OAAO,MAAM,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IAED;;;;OAIG;IACI,cAAc;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IAClC,CAAC;IAED;;;;;;;OAOG;IACI,eAAe,CAAC,kBAA2B;QAChD,OAAO,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;IACzF,CAAC;IAED;;;;OAIG;IACI,oBAAoB;QACzB,OAAO,IAAI,CAAC,YAAY,CAAC,oBAAoB,EAAE,CAAC;IAClD,CAAC;IAED;;;;OAIG;IACI,mBAAmB,CAAC,iBAAuC;QAChE,OAAO,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC;IAC1D,CAAC;IAED;;;;;;;OAOG;IACI,uBAAuB;QAC5B,OAAO,cAAI,CAAC,IAAI,CAAC,IAAA,iBAAS,GAAE,EAAE,GAAG,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACjE,CAAC;IAED;;;;;OAKG;IACI,wBAAwB,CAAC,QAA2B;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAEjD,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,YAAY,CAAC,CAAC;QAC1D,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;OAKG;IACI,oBAAoB,CAAC,QAA2B;QACrD,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QAE1C,IAAI,QAAgB,CAAC;QACrB,IAAI,OAAO,GAAW,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;QAExD,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,WAAW,OAAO,CAAC;gBACjC,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/D,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/D,MAAM;YACR,KAAK,KAAK;gBACR,QAAQ,GAAG,GAAG,WAAW,MAAM,CAAC;gBAChC,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,WAAW,mBAAmB,CAAC;gBAC7C,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,WAAW,OAAO,CAAC;gBACjC,OAAO,GAAG,cAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,WAAW,KAAK,CAAC,CAAC;gBAClD,MAAM;YACR;gBACE,MAAM,IAAI,KAAK,CAAC,wBAAwB,QAAQ,GAAG,CAAC,CAAC;QACzD,CAAC;QAED,OAAO,cAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtC,CAAC;CACF;AAlPD,kCAkPC"}
+{"version":3,"file":"CircuitZKit.js","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,gDAAwB;AACxB,iDAAmC;AACnC,mCAAoC;AAcpC,4CAAoD;AACpD,oCAAkG;AAElG;;GAEG;AACH,MAAa,WAAW;IAEH;IACA;IAFnB,YACmB,OAA0B,EAC1B,YAAwC;QADxC,YAAO,GAAP,OAAO,CAAmB;QAC1B,iBAAY,GAAZ,YAAY,CAA4B;IACxD,CAAC;IAEJ;;;;;;;;;;;OAWG;IACI,KAAK,CAAC,cAAc,CAAC,iBAAuC,EAAE,kBAA2B;QAC9F,MAAM,YAAY,GAAW,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEnE,IAAI,gBAAgB,GAAW,GAAG,IAAI,CAAC,eAAe,CAAC,kBAAkB,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAElG,IAAI,gBAAgB,CAAC,MAAM,IAAI,gCAAoB,EAAE,CAAC;YACpD,MAAM,cAAc,GAAW,kBAAkB;gBAC/C,CAAC,CAAC,MAAM,IAAA,mBAAU,EAAC,MAAM,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;gBAClF,CAAC,CAAC,EAAE,CAAC;YAEP,gBAAgB,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,cAAc,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAElF,IAAI,gBAAgB,CAAC,MAAM,IAAI,gCAAoB,EAAE,CAAC;gBACpD,MAAM,IAAI,KAAK,CAAC,uBAAuB,gBAAgB,wCAAwC,CAAC,CAAC;YACnG,CAAC;QACH,CAAC;QAED,MAAM,gBAAgB,GAAG,cAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC;QAEnF,MAAM,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;IAC5F,CAAC;IAED;;;;;;;;;;;OAWG;IACI,KAAK,CAAC,gBAAgB,CAAC,MAAe,EAAE,gBAAyC;QACtF,MAAM,QAAQ,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEvD,IAAI,aAAa,GAA+B,EAAE,CAAC;QAEnD,IAAI,gBAAgB,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;YAErD,aAAa,GAAG,MAAM,IAAA,6BAAqB,EAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QACzE,CAAC;QAED,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAEzD,MAAM,QAAQ,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAa,CAAC;QAEvE,OAAO,gBAAgB,CAAC,CAAC,CAAC,IAAA,0BAAkB,EAAC,QAAQ,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrG,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACI,KAAK,CAAC,aAAa,CACxB,MAAe,EACf,gBAAyC;QAEzC,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,WAAW,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAEnD,IAAI,KAAkC,CAAC;QAEvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;YAEtE,IAAI,gBAAgB,EAAE,CAAC;gBACrB,MAAM,IAAA,wBAAgB,EAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAC/C,CAAC;YAED,KAAK,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACvE,CAAC;gBAAS,CAAC;YACT,IAAI,YAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/B,YAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CAAC,WAAW,CAAC,KAAkC;QACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEvD,OAAO,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxD,CAAC;IAED;;;;;OAKG;IACI,KAAK,CAAC,gBAAgB,CAAC,KAAkC;QAC9D,OAAO,MAAM,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IAED;;;;OAIG;IACI,cAAc;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IAClC,CAAC;IAED;;;;;;;OAOG;IACI,eAAe,CAAC,kBAA2B;QAChD,OAAO,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;IACzF,CAAC;IAED;;;;OAIG;IACI,oBAAoB;QACzB,OAAO,IAAI,CAAC,YAAY,CAAC,oBAAoB,EAAE,CAAC;IAClD,CAAC;IAED;;;;OAIG;IACI,mBAAmB,CAAC,iBAAuC;QAChE,OAAO,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC;IAC1D,CAAC;IAED;;;;;;;OAOG;IACI,uBAAuB;QAC5B,OAAO,cAAI,CAAC,IAAI,CAAC,IAAA,iBAAS,GAAE,EAAE,GAAG,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACjE,CAAC;IAED;;;;;OAKG;IACI,wBAAwB,CAAC,QAA2B;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAEjD,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,YAAY,CAAC,CAAC;QAC1D,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;OAKG;IACI,oBAAoB,CAAC,QAA2B;QACrD,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QAE1C,IAAI,QAAgB,CAAC;QACrB,IAAI,OAAO,GAAW,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;QAExD,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,WAAW,OAAO,CAAC;gBACjC,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/D,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/D,MAAM;YACR,KAAK,KAAK;gBACR,QAAQ,GAAG,GAAG,WAAW,MAAM,CAAC;gBAChC,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,WAAW,mBAAmB,CAAC;gBAC7C,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,WAAW,OAAO,CAAC;gBACjC,OAAO,GAAG,cAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,WAAW,KAAK,CAAC,CAAC;gBAClD,MAAM;YACR;gBACE,MAAM,IAAI,KAAK,CAAC,wBAAwB,QAAQ,GAAG,CAAC,CAAC;QACzD,CAAC;QAED,OAAO,cAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtC,CAAC;CACF;AAlPD,kCAkPC"}

package/dist/core/protocols/AbstractImplementer.d.ts

@@ -1,5 +1,4 @@
-import { IProtocolImplementer, ProvingSystemType, ProofStructByProtocol, CalldataByProtocol } from "../../types/protocols";
-import { VerifierLanguageType } from "../../types/circuit-zkit";
+import { IProtocolImplementer, ProvingSystemType, ProofStructByProtocol, CalldataByProtocol, VerifierLanguageType } from "../../types";
 export declare abstract class AbstractProtocolImplementer<T extends ProvingSystemType> implements IProtocolImplementer<T> {
     createVerifier(vKeyFilePath: string, verifierFilePath: string, languageExtension: VerifierLanguageType): Promise<void>;
     abstract generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<ProofStructByProtocol<T>>;

package/dist/core/protocols/AbstractImplementer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AbstractImplementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/AbstractImplementer.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EACnB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAEhE,8BAAsB,2BAA2B,CAAC,CAAC,SAAS,iBAAiB,CAAE,YAAW,oBAAoB,CAAC,CAAC,CAAC;IAClG,cAAc,CACzB,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,oBAAoB,GACtC,OAAO,CAAC,IAAI,CAAC;aAeA,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;aAE/F,WAAW,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;aAEpF,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;aAEjF,oBAAoB,IAAI,iBAAiB;IAElD,WAAW,CAAC,iBAAiB,EAAE,oBAAoB,GAAG,MAAM;IAO5D,eAAe,CAAC,WAAW,EAAE,MAAM,EAAE,kBAAkB,CAAC,EAAE,MAAM,GAAG,MAAM;IAOzE,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;IAI5C,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;CAGpD"}
+{"version":3,"file":"AbstractImplementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/AbstractImplementer.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACrB,MAAM,aAAa,CAAC;AAErB,8BAAsB,2BAA2B,CAAC,CAAC,SAAS,iBAAiB,CAAE,YAAW,oBAAoB,CAAC,CAAC,CAAC;IAClG,cAAc,CACzB,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,oBAAoB,GACtC,OAAO,CAAC,IAAI,CAAC;aAeA,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;aAE/F,WAAW,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;aAEpF,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;aAEjF,oBAAoB,IAAI,iBAAiB;IAElD,WAAW,CAAC,iBAAiB,EAAE,oBAAoB,GAAG,MAAM;IAO5D,eAAe,CAAC,WAAW,EAAE,MAAM,EAAE,kBAAkB,CAAC,EAAE,MAAM,GAAG,MAAM;IAOzE,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;IAI5C,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;CAGpD"}

package/dist/core/protocols/Groth16Implementer.d.ts

@@ -1,5 +1,5 @@
 import { AbstractProtocolImplementer } from "./AbstractImplementer";
-import { Groth16ProofStruct, Groth16CalldataStruct, ProvingSystemType } from "../../types/protocols";
+import { Groth16ProofStruct, Groth16CalldataStruct, ProvingSystemType } from "../../types";
 export declare class Groth16Implementer extends AbstractProtocolImplementer<"groth16"> {
     generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<Groth16ProofStruct>;
     verifyProof(proof: Groth16ProofStruct, vKeyFilePath: string): Promise<boolean>;

package/dist/core/protocols/Groth16Implementer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Groth16Implementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/Groth16Implementer.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAIrG,qBAAa,kBAAmB,SAAQ,2BAA2B,CAAC,SAAS,CAAC;IAC/D,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAQzF,WAAW,CAAC,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAU9E,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,qBAAqB,CAAC;IAejF,oBAAoB,IAAI,iBAAiB;CAGjD"}
+{"version":3,"file":"Groth16Implementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/Groth16Implementer.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAI3F,qBAAa,kBAAmB,SAAQ,2BAA2B,CAAC,SAAS,CAAC;IAC/D,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAQzF,WAAW,CAAC,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAU9E,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,qBAAqB,CAAC;IAejF,oBAAoB,IAAI,iBAAiB;CAGjD"}

package/dist/core/protocols/PlonkImplementer.d.ts

@@ -1,5 +1,5 @@
 import { AbstractProtocolImplementer } from "./AbstractImplementer";
-import { PlonkProofStruct, PlonkCalldataStruct, ProvingSystemType } from "../../types/protocols";
+import { PlonkProofStruct, PlonkCalldataStruct, ProvingSystemType } from "../../types";
 export declare class PlonkImplementer extends AbstractProtocolImplementer<"plonk"> {
     generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<PlonkProofStruct>;
     verifyProof(proof: PlonkProofStruct, vKeyFilePath: string): Promise<boolean>;

package/dist/core/protocols/PlonkImplementer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PlonkImplementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/PlonkImplementer.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAIjG,qBAAa,gBAAiB,SAAQ,2BAA2B,CAAC,OAAO,CAAC;IAC3D,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAQvF,WAAW,CAAC,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAU5E,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAgB7E,oBAAoB,IAAI,iBAAiB;CAGjD"}
+{"version":3,"file":"PlonkImplementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/PlonkImplementer.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAIvF,qBAAa,gBAAiB,SAAQ,2BAA2B,CAAC,OAAO,CAAC;IAC3D,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAQvF,WAAW,CAAC,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAU5E,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAgB7E,oBAAoB,IAAI,iBAAiB;CAGjD"}

package/dist/core/templates/verifier_groth16.sol.ejs

@@ -48,9 +48,8 @@ contract <%=verifier_id%> {
         <%=IC[i][1]%>;
     <% } -%>
 
-    /// @dev memory pointer sizes
-    uint16 public constant P_PUBLIC_SIGNALS_ACCUMULATOR_SIZE = 128;
-    uint16 public constant P_TOTAL_SIZE = 896;
+    /// @dev memory pointer size
+    uint256 public constant P_TOTAL_SIZE = 768;
 
     function verifyProof(
         uint256[2] memory pointA_,
@@ -63,30 +62,23 @@ contract <%=verifier_id%> {
                 res_ := lt(signal_, SCALAR_FIELD_SIZE)
             }
 
-            function g1MulAdd(pR_, x_, y_, s_) -> res_ {
-                let pointer_ := mload(64) // free pointer
+            function g1MulAdd(pointer_, x_, y_, s_) -> res_ {
+                mstore(add(pointer_, 64), x_)
+                mstore(add(pointer_, 96), y_)
+                mstore(add(pointer_, 128), s_)
 
-                mstore(pointer_, x_)
-                mstore(add(pointer_, 32), y_)
-                mstore(add(pointer_, 64), s_)
-
-                res_ := staticcall(6000, 7, pointer_, 96, pointer_, 64) // ecMul
+                res_ := staticcall(6000, 7, add(pointer_, 64), 96, add(pointer_, 64), 64) // ecMul
                 res_ := and(res_, gt(returndatasize(), 0)) // check that multiplication succeeded
 
                 if iszero(res_) {
                     leave
                 }
 
-                mstore(add(pointer_, 64), mload(pR_))
-                mstore(add(pointer_, 96), mload(add(pR_, 32)))
-
-                res_ := staticcall(150, 6, pointer_, 128, pR_, 64) // ecAdd
+                res_ := staticcall(150, 6, pointer_, 128, pointer_, 64) // ecAdd
                 res_ := and(res_, gt(returndatasize(), 0)) // check that addition succeeded
             }
 
             function checkPairing(pA_, pB_, pC_, pubSignals_, pointer_) -> res_ {
-                let pPairing_ := add(pointer_, P_PUBLIC_SIGNALS_ACCUMULATOR_SIZE)
-
                 mstore(pointer_, IC0_X)
                 mstore(add(pointer_, 32), IC0_Y)
 
@@ -96,51 +88,47 @@ contract <%=verifier_id%> {
                 }
                 <% } -%>
 
+                /// @dev gamma2
+                mstore(add(pointer_, 64), GAMMA_X1)
+                mstore(add(pointer_, 96), GAMMA_X2)
+                mstore(add(pointer_, 128), GAMMA_Y1)
+                mstore(add(pointer_, 160), GAMMA_Y2)
+
                 /// @dev -A
-                mstore(pPairing_, mload(pA_))
+                mstore(add(pointer_, 192), mload(pA_))
                 mstore(
-                    add(pPairing_, 32),
+                    add(pointer_, 224),
                     mod(sub(BASE_FIELD_SIZE, mload(add(pA_, 32))), BASE_FIELD_SIZE)
                 )
 
                 /// @dev B
-                mstore(add(pPairing_, 64), mload(mload(pB_)))
-                mstore(add(pPairing_, 96), mload(add(mload(pB_), 32)))
-                mstore(add(pPairing_, 128), mload(mload(add(pB_, 32))))
-                mstore(add(pPairing_, 160), mload(add(mload(add(pB_, 32)), 32)))
+                mstore(add(pointer_, 256), mload(mload(pB_)))
+                mstore(add(pointer_, 288), mload(add(mload(pB_), 32)))
+                mstore(add(pointer_, 320), mload(mload(add(pB_, 32))))
+                mstore(add(pointer_, 352), mload(add(mload(add(pB_, 32)), 32)))
 
                 /// @dev alpha1
-                mstore(add(pPairing_, 192), ALPHA_X)
-                mstore(add(pPairing_, 224), ALPHA_Y)
+                mstore(add(pointer_, 384), ALPHA_X)
+                mstore(add(pointer_, 416), ALPHA_Y)
 
                 /// @dev beta2
-                mstore(add(pPairing_, 256), BETA_X1)
-                mstore(add(pPairing_, 288), BETA_X2)
-                mstore(add(pPairing_, 320), BETA_Y1)
-                mstore(add(pPairing_, 352), BETA_Y2)
-
-                /// @dev public signals
-                mstore(add(pPairing_, 384), mload(pointer_))
-                mstore(add(pPairing_, 416), mload(add(pointer_, 32)))
-
-                /// @dev gamma2
-                mstore(add(pPairing_, 448), GAMMA_X1)
-                mstore(add(pPairing_, 480), GAMMA_X2)
-                mstore(add(pPairing_, 512), GAMMA_Y1)
-                mstore(add(pPairing_, 544), GAMMA_Y2)
+                mstore(add(pointer_, 448), BETA_X1)
+                mstore(add(pointer_, 480), BETA_X2)
+                mstore(add(pointer_, 512), BETA_Y1)
+                mstore(add(pointer_, 544), BETA_Y2)
 
                 /// @dev C
-                mstore(add(pPairing_, 576), mload(pC_))
-                mstore(add(pPairing_, 608), mload(add(pC_, 32)))
+                mstore(add(pointer_, 576), mload(pC_))
+                mstore(add(pointer_, 608), mload(add(pC_, 32)))
 
                 /// @dev delta2
-                mstore(add(pPairing_, 640), DELTA_X1)
-                mstore(add(pPairing_, 672), DELTA_X2)
-                mstore(add(pPairing_, 704), DELTA_Y1)
-                mstore(add(pPairing_, 736), DELTA_Y2)
+                mstore(add(pointer_, 640), DELTA_X1)
+                mstore(add(pointer_, 672), DELTA_X2)
+                mstore(add(pointer_, 704), DELTA_Y1)
+                mstore(add(pointer_, 736), DELTA_Y2)
 
-                res_ := staticcall(181000, 8, pPairing_, 768, pPairing_, 32) // ecPairing
-                res_ := and(res_, mload(pPairing_)) // check that pairing succeeded
+                res_ := staticcall(181000, 8, pointer_, 768, pointer_, 32) // ecPairing
+                res_ := and(res_, mload(pointer_)) // check that pairing succeeded
             }
 
             let pointer_ := mload(64) // free pointer

package/dist/index.d.ts

@@ -1,6 +1,5 @@
 export { CircuitZKit } from "./core/CircuitZKit";
 export * from "./core/protocols";
-export * from "./types/circuit-zkit";
-export * from "./types/proof-utils";
-export * from "./types/protocols";
+export * from "./utils";
+export * from "./types";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,cAAc,kBAAkB,CAAC;AAEjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,cAAc,kBAAkB,CAAC;AACjC,cAAc,SAAS,CAAC;AAExB,cAAc,SAAS,CAAC"}

package/dist/index.js

@@ -18,7 +18,6 @@ exports.CircuitZKit = void 0;
 var CircuitZKit_1 = require("./core/CircuitZKit");
 Object.defineProperty(exports, "CircuitZKit", { enumerable: true, get: function () { return CircuitZKit_1.CircuitZKit; } });
 __exportStar(require("./core/protocols"), exports);
-__exportStar(require("./types/circuit-zkit"), exports);
-__exportStar(require("./types/proof-utils"), exports);
-__exportStar(require("./types/protocols"), exports);
+__exportStar(require("./utils"), exports);
+__exportStar(require("./types"), exports);
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAAA,kDAAiD;AAAxC,0GAAA,WAAW,OAAA;AACpB,mDAAiC;AAEjC,uDAAqC;AACrC,sDAAoC;AACpC,oDAAkC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAAA,kDAAiD;AAAxC,0GAAA,WAAW,OAAA;AACpB,mDAAiC;AACjC,0CAAwB;AAExB,0CAAwB"}

package/dist/types/index.d.ts

@@ -0,0 +1,5 @@
+export * from "./circuit-zkit";
+export * from "./proof-utils";
+export * from "./witness-utils";
+export * from "./protocols";
+//# sourceMappingURL=index.d.ts.map

package/dist/types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,eAAe,CAAC;AAC9B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC"}

package/dist/types/index.js

@@ -0,0 +1,21 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./circuit-zkit"), exports);
+__exportStar(require("./proof-utils"), exports);
+__exportStar(require("./witness-utils"), exports);
+__exportStar(require("./protocols"), exports);
+//# sourceMappingURL=index.js.map

package/dist/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,iDAA+B;AAC/B,gDAA8B;AAC9B,kDAAgC;AAChC,8CAA4B"}

package/dist/types/witness-utils.d.ts

@@ -0,0 +1,8 @@
+import { NumberLike } from "./proof-utils";
+export type SignalInfo = {
+    id: NumberLike;
+    witnessIndex: NumberLike;
+    componentId: NumberLike;
+    signalName: string;
+};
+//# sourceMappingURL=witness-utils.d.ts.map

package/dist/types/witness-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"witness-utils.d.ts","sourceRoot":"","sources":["../../src/types/witness-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE3C,MAAM,MAAM,UAAU,GAAG;IACvB,EAAE,EAAE,UAAU,CAAC;IACf,YAAY,EAAE,UAAU,CAAC;IACzB,WAAW,EAAE,UAAU,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC"}

package/dist/types/witness-utils.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=witness-utils.js.map

package/dist/types/witness-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"witness-utils.js","sourceRoot":"","sources":["../../src/types/witness-utils.ts"],"names":[],"mappings":""}

package/dist/utils/index.d.ts

@@ -1,14 +1,3 @@
-/**
- * Terminates the BN128 curve instance used by SnarkJS.
- */
-export declare function terminateCurve(): Promise<void>;
-/**
- * Returns the path to the temporary directory used by ZKit.
- *
- * Creates the directory if it does not exist.
- *
- * @returns {string} The path to the temporary `.zkit` directory inside the OS temp folder.
- */
-export declare function getTmpDir(): string;
 export * from "./witness-utils";
+export * from "./protocol-utils";
 //# sourceMappingURL=index.d.ts.map

package/dist/utils/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/utils/index.ts"],"names":[],"mappings":"AAQA;;GAEG;AACH,wBAAsB,cAAc,kBAEnC;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,IAAI,MAAM,CAQlC;AAED,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/utils/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC"}

package/dist/utils/index.js

@@ -10,61 +10,10 @@ var __createBinding = (this && this.__createBinding) || (Object.create ? (functi
     if (k2 === undefined) k2 = k;
     o[k2] = m[k];
 }));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || (function () {
-    var ownKeys = function(o) {
-        ownKeys = Object.getOwnPropertyNames || function (o) {
-            var ar = [];
-            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
-            return ar;
-        };
-        return ownKeys(o);
-    };
-    return function (mod) {
-        if (mod && mod.__esModule) return mod;
-        var result = {};
-        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
-        __setModuleDefault(result, mod);
-        return result;
-    };
-})();
 var __exportStar = (this && this.__exportStar) || function(m, exports) {
     for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
 };
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.terminateCurve = terminateCurve;
-exports.getTmpDir = getTmpDir;
-const os_1 = __importDefault(require("os"));
-const fs_1 = __importDefault(require("fs"));
-const path_1 = __importDefault(require("path"));
-const constants_1 = require("../constants");
-const snarkjs = __importStar(require("snarkjs"));
-/**
- * Terminates the BN128 curve instance used by SnarkJS.
- */
-async function terminateCurve() {
-    await (await snarkjs.curves.getCurveFromName(constants_1.BN128_CURVE_NAME)).terminate();
-}
-/**
- * Returns the path to the temporary directory used by ZKit.
- *
- * Creates the directory if it does not exist.
- *
- * @returns {string} The path to the temporary `.zkit` directory inside the OS temp folder.
- */
-function getTmpDir() {
-    const tmpDir = path_1.default.join(os_1.default.tmpdir(), ".zkit");
-    if (!fs_1.default.existsSync(tmpDir)) {
-        fs_1.default.mkdirSync(tmpDir, { recursive: true });
-    }
-    return tmpDir;
-}
 __exportStar(require("./witness-utils"), exports);
+__exportStar(require("./protocol-utils"), exports);
 //# sourceMappingURL=index.js.map

package/dist/utils/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/utils/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAWA,wCAEC;AASD,8BAQC;AA9BD,4CAAoB;AACpB,4CAAoB;AACpB,gDAAwB;AAExB,4CAAgD;AAEhD,iDAAmC;AAEnC;;GAEG;AACI,KAAK,UAAU,cAAc;IAClC,MAAM,CAAC,MAAO,OAAe,CAAC,MAAM,CAAC,gBAAgB,CAAC,4BAAgB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACvF,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,SAAS;IACvB,MAAM,MAAM,GAAG,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC;IAE/C,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,YAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kDAAgC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/utils/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,kDAAgC;AAChC,mDAAiC"}

package/dist/utils/protocol-utils.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Terminates the BN128 curve instance used by SnarkJS.
+ */
+export declare function terminateCurve(): Promise<void>;
+/**
+ * Returns the path to the temporary directory used by ZKit.
+ *
+ * Creates the directory if it does not exist.
+ *
+ * @returns {string} The path to the temporary `.zkit` directory inside the OS temp folder.
+ */
+export declare function getTmpDir(): string;
+//# sourceMappingURL=protocol-utils.d.ts.map

package/dist/utils/protocol-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol-utils.d.ts","sourceRoot":"","sources":["../../src/utils/protocol-utils.ts"],"names":[],"mappings":"AAQA;;GAEG;AACH,wBAAsB,cAAc,kBAEnC;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,IAAI,MAAM,CAQlC"}

package/dist/utils/protocol-utils.js

@@ -0,0 +1,66 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.terminateCurve = terminateCurve;
+exports.getTmpDir = getTmpDir;
+const os_1 = __importDefault(require("os"));
+const fs_1 = __importDefault(require("fs"));
+const path_1 = __importDefault(require("path"));
+const snarkjs = __importStar(require("snarkjs"));
+const constants_1 = require("../constants");
+/**
+ * Terminates the BN128 curve instance used by SnarkJS.
+ */
+async function terminateCurve() {
+    await (await snarkjs.curves.getCurveFromName(constants_1.BN128_CURVE_NAME)).terminate();
+}
+/**
+ * Returns the path to the temporary directory used by ZKit.
+ *
+ * Creates the directory if it does not exist.
+ *
+ * @returns {string} The path to the temporary `.zkit` directory inside the OS temp folder.
+ */
+function getTmpDir() {
+    const tmpDir = path_1.default.join(os_1.default.tmpdir(), ".zkit");
+    if (!fs_1.default.existsSync(tmpDir)) {
+        fs_1.default.mkdirSync(tmpDir, { recursive: true });
+    }
+    return tmpDir;
+}
+//# sourceMappingURL=protocol-utils.js.map

package/dist/utils/protocol-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol-utils.js","sourceRoot":"","sources":["../../src/utils/protocol-utils.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAWA,wCAEC;AASD,8BAQC;AA9BD,4CAAoB;AACpB,4CAAoB;AACpB,gDAAwB;AAExB,iDAAmC;AAEnC,4CAAgD;AAEhD;;GAEG;AACI,KAAK,UAAU,cAAc;IAClC,MAAM,CAAC,MAAO,OAAe,CAAC,MAAM,CAAC,gBAAgB,CAAC,4BAAgB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACvF,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,SAAS;IACvB,MAAM,MAAM,GAAG,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC;IAE/C,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,YAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/utils/witness-utils.d.ts

@@ -1,3 +1,4 @@
+import { NumberLike, SignalInfo } from "../types";
 /**
  * Validates the provided witness overrides against the `.sym` file and returns the signal-to-index map.
  *
@@ -8,11 +9,20 @@
  * Signal names in `overrides` must be in their full form as represented in the `.sym` file, e.g.,
  * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
  *
- * @param {string} symFile - Path to the `.sym` file.
+ * @param {string} symFilePath - Path to the `.sym` file.
  * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
- * @returns {Promise<Record<string, number>>} Map of signal names to their corresponding witness indices.
+ * @returns {Promise<Record<string, NumberLike>>} Map of signal names to their corresponding witness indices.
  */
-export declare function checkWitnessOverrides(symFile: string, overrides: Record<string, bigint>): Promise<Record<string, number>>;
+export declare function checkWitnessOverrides(symFilePath: string, overrides: Record<string, bigint>): Promise<Record<string, NumberLike>>;
+/**
+ * Iterates over signal entries in a `.sym` file line by line.
+ *
+ * Each line is parsed into a `SignalInfo` object which is passed to the provided callback.
+ *
+ * @param {string} symFilePath - The full path to the `.sym` file to read.
+ * @param {(signalInfo: SignalInfo) => void} onSignal - Callback invoked for each signal line.
+ */
+export declare function iterateSymFile(symFilePath: string, onSignal: (signalInfo: SignalInfo) => void): Promise<void>;
 /**
  * Modifies specific signal values in a witness array.
  * Substitutes signal from `overrides` in the witness array at positions defined in `signalIndexes`.
@@ -21,11 +31,11 @@ export declare function checkWitnessOverrides(symFile: string, overrides: Record
  * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
  *
  * @param {bigint[]} witness - The original witness array.
- * @param {Record<string, number>} signalIndexes - Map of signal names to their witness indices.
+ * @param {Record<string, NumberLike>} signalIndexes - Map of signal names to their witness indices.
  * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
  * @returns {Promise<bigint[]>} The modified witness array.
  */
-export declare function modifyWitnessArray(witness: bigint[], signalIndexes: Record<string, number>, overrides: Record<string, bigint>): Promise<bigint[]>;
+export declare function modifyWitnessArray(witness: bigint[], signalIndexes: Record<string, NumberLike>, overrides: Record<string, bigint>): Promise<bigint[]>;
 /**
  * Writes a witness array to a `.wtns` binary file.
  *

package/dist/utils/witness-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"witness-utils.d.ts","sourceRoot":"","sources":["../../src/utils/witness-utils.ts"],"names":[],"mappings":"AASA;;;;;;;;;;;;;GAaG;AACH,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAyBjC;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,MAAM,EAAE,EACjB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,OAAO,CAAC,MAAM,EAAE,CAAC,CAQnB;AAED;;;;;;;GAOG;AACH,wBAAsB,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,iBAwB5E"}
+{"version":3,"file":"witness-utils.d.ts","sourceRoot":"","sources":["../../src/utils/witness-utils.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAElD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,qBAAqB,CACzC,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAkBrC;AAED;;;;;;;GAOG;AACH,wBAAsB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI,iBAkBnG;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,MAAM,EAAE,EACjB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,EACzC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,OAAO,CAAC,MAAM,EAAE,CAAC,CAQnB;AAED;;;;;;;GAOG;AACH,wBAAsB,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,iBAwB5E"}

package/dist/utils/witness-utils.js

@@ -37,6 +37,7 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.checkWitnessOverrides = checkWitnessOverrides;
+exports.iterateSymFile = iterateSymFile;
 exports.modifyWitnessArray = modifyWitnessArray;
 exports.writeWitnessFile = writeWitnessFile;
 const fs_1 = __importDefault(require("fs"));
@@ -55,27 +56,47 @@ const binFileUtils = __importStar(require("@iden3/binfileutils"));
  * Signal names in `overrides` must be in their full form as represented in the `.sym` file, e.g.,
  * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
  *
- * @param {string} symFile - Path to the `.sym` file.
+ * @param {string} symFilePath - Path to the `.sym` file.
  * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
- * @returns {Promise<Record<string, number>>} Map of signal names to their corresponding witness indices.
+ * @returns {Promise<Record<string, NumberLike>>} Map of signal names to their corresponding witness indices.
  */
-async function checkWitnessOverrides(symFile, overrides) {
+async function checkWitnessOverrides(symFilePath, overrides) {
     const signalToWitnessIndex = {};
     const missingSignals = new Set(Object.keys(overrides));
-    const fileStream = fs_1.default.createReadStream(symFile, { encoding: "utf8" });
+    await iterateSymFile(symFilePath, (signalInfo) => {
+        if (BigInt(signalInfo.witnessIndex) >= 0) {
+            signalToWitnessIndex[signalInfo.signalName] = signalInfo.witnessIndex;
+            missingSignals.delete(signalInfo.signalName);
+        }
+    });
+    if (missingSignals.size > 0) {
+        throw new Error(`Signals not found in .sym file: ${Array.from(missingSignals).join(", ")}`);
+    }
+    return signalToWitnessIndex;
+}
+/**
+ * Iterates over signal entries in a `.sym` file line by line.
+ *
+ * Each line is parsed into a `SignalInfo` object which is passed to the provided callback.
+ *
+ * @param {string} symFilePath - The full path to the `.sym` file to read.
+ * @param {(signalInfo: SignalInfo) => void} onSignal - Callback invoked for each signal line.
+ */
+async function iterateSymFile(symFilePath, onSignal) {
+    const fileStream = fs_1.default.createReadStream(symFilePath, { encoding: "utf8" });
     const signals = readline.createInterface({ input: fileStream, crlfDelay: Infinity });
     for await (const signal of signals) {
         const signalInfo = signal.split(",");
-        if (signalInfo.length != 4 || Number(signalInfo[1]) < 0) {
+        if (signalInfo.length != 4) {
             continue;
         }
-        signalToWitnessIndex[signalInfo[3]] = Number(signalInfo[1]);
-        missingSignals.delete(signalInfo[3]);
+        onSignal({
+            id: BigInt(signalInfo[0]),
+            witnessIndex: BigInt(signalInfo[1]),
+            componentId: BigInt(signalInfo[2]),
+            signalName: signalInfo[3],
+        });
     }
-    if (missingSignals.size > 0) {
-        throw new Error(`Signals not found in .sym file: ${Array.from(missingSignals).join(", ")}`);
-    }
-    return signalToWitnessIndex;
 }
 /**
  * Modifies specific signal values in a witness array.
@@ -85,13 +106,13 @@ async function checkWitnessOverrides(symFile, overrides) {
  * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
  *
  * @param {bigint[]} witness - The original witness array.
- * @param {Record<string, number>} signalIndexes - Map of signal names to their witness indices.
+ * @param {Record<string, NumberLike>} signalIndexes - Map of signal names to their witness indices.
  * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
  * @returns {Promise<bigint[]>} The modified witness array.
  */
 async function modifyWitnessArray(witness, signalIndexes, overrides) {
     for (const [signal, value] of Object.entries(overrides)) {
-        const index = signalIndexes[signal];
+        const index = Number(signalIndexes[signal]);
         witness[index] = value;
     }
     return witness;

package/dist/utils/witness-utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"witness-utils.js","sourceRoot":"","sources":["../../src/utils/witness-utils.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuBA,sDA4BC;AAcD,gDAYC;AAUD,4CAwBC;AA/GD,4CAAoB;AAEpB,mDAAqC;AAErC,aAAa;AACb,+CAAsC;AACtC,aAAa;AACb,kEAAoD;AAEpD;;;;;;;;;;;;;GAaG;AACI,KAAK,UAAU,qBAAqB,CACzC,OAAe,EACf,SAAiC;IAEjC,MAAM,oBAAoB,GAA2B,EAAE,CAAC;IAExD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IAEvD,MAAM,UAAU,GAAG,YAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;IAErF,IAAI,KAAK,EAAE,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAErC,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YACxD,SAAS;QACX,CAAC;QAED,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5D,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,cAAc,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,mCAAmC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9F,CAAC;IAED,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;GAWG;AACI,KAAK,UAAU,kBAAkB,CACtC,OAAiB,EACjB,aAAqC,EACrC,SAAiC;IAEjC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QAEpC,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACzB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;GAOG;AACI,KAAK,UAAU,gBAAgB,CAAC,WAAmB,EAAE,OAAiB;IAC3E,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,WAAW,CAAC,CAAC;IAEjD,MAAM,EAAE,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAEvE,MAAM,YAAY,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAE5C,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,qBAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACpE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACxB,MAAM,YAAY,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAE9C,MAAM,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAEpC,MAAM,YAAY,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAEvC,MAAM,YAAY,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAE5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,YAAY,CAAC,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,YAAY,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAE1C,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,eAAe,CAAC,QAAgB;IAC7C,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,MAAM,YAAY,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAE7E,MAAM,YAAY,CAAC,sBAAsB,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IAE3D,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACpD,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC;IAErB,MAAM,YAAY,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;IACtC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;IAEjB,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"witness-utils.js","sourceRoot":"","sources":["../../src/utils/witness-utils.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,sDAqBC;AAUD,wCAkBC;AAcD,gDAYC;AAUD,4CAwBC;AAtID,4CAAoB;AAEpB,mDAAqC;AAErC,aAAa;AACb,+CAAsC;AACtC,aAAa;AACb,kEAAoD;AAIpD;;;;;;;;;;;;;GAaG;AACI,KAAK,UAAU,qBAAqB,CACzC,WAAmB,EACnB,SAAiC;IAEjC,MAAM,oBAAoB,GAA+B,EAAE,CAAC;IAE5D,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IAEvD,MAAM,cAAc,CAAC,WAAW,EAAE,CAAC,UAAU,EAAE,EAAE;QAC/C,IAAI,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,oBAAoB,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,UAAU,CAAC,YAAY,CAAC;YAEtE,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,mCAAmC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9F,CAAC;IAED,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;;;;;;GAOG;AACI,KAAK,UAAU,cAAc,CAAC,WAAmB,EAAE,QAA0C;IAClG,MAAM,UAAU,GAAG,YAAE,CAAC,gBAAgB,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;IAErF,IAAI,KAAK,EAAE,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAErC,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QAED,QAAQ,CAAC;YACP,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACzB,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACnC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAClC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;SAC1B,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACI,KAAK,UAAU,kBAAkB,CACtC,OAAiB,EACjB,aAAyC,EACzC,SAAiC;IAEjC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;QAE5C,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACzB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;GAOG;AACI,KAAK,UAAU,gBAAgB,CAAC,WAAmB,EAAE,OAAiB;IAC3E,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,WAAW,CAAC,CAAC;IAEjD,MAAM,EAAE,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAEvE,MAAM,YAAY,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAE5C,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,qBAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACpE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACxB,MAAM,YAAY,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAE9C,MAAM,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAEpC,MAAM,YAAY,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAEvC,MAAM,YAAY,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAE5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,YAAY,CAAC,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,YAAY,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAE1C,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,eAAe,CAAC,QAAgB;IAC7C,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,MAAM,YAAY,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAE7E,MAAM,YAAY,CAAC,sBAAsB,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IAE3D,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACpD,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC;IAErB,MAAM,YAAY,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;IACtC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;IAEjB,OAAO,KAAK,CAAC;AACf,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@solarity/zkit",
-  "version": "0.3.7-rc.1",
+  "version": "0.3.7",
   "license": "MIT",
   "author": "Distributed Lab",
   "readme": "README.md",
@@ -39,10 +39,12 @@
   },
   "dependencies": {
     "ejs": "3.1.10",
-    "snarkjs": "0.7.5"
+    "snarkjs": "0.7.5",
+    "@iden3/binfileutils": "0.0.12",
+    "ffjavascript": "0.3.1",
+    "readline": "1.3.0"
   },
   "devDependencies": {
-    "@iden3/binfileutils": "^0.0.12",
     "@nomicfoundation/hardhat-ethers": "3.0.5",
     "@nomiclabs/hardhat-vyper": "^3.0.7",
     "@solarity/solidity-lib": "3.0.0-rc.3",
@@ -54,13 +56,11 @@
     "chai": "^4.4.1",
     "chai-as-promised": "^7.1.1",
     "ethers": "^6.11.1",
-    "ffjavascript": "^0.3.1",
     "hardhat": "2.22.7",
     "husky": "^9.0.11",
     "mocha": "^10.3.0",
     "nyc": "^15.1.0",
     "prettier": "^3.2.5",
-    "readline": "^1.3.0",
     "ts-node": "^10.9.2",
     "typescript": "^5.4.5"
   }

package/src/core/CircuitZKit.ts

@@ -3,9 +3,17 @@ import path from "path";
 import * as snarkjs from "snarkjs";
 import { createHash } from "crypto";
 
-import { ArtifactsFileType, CircuitZKitConfig, VerifierLanguageType } from "../types/circuit-zkit";
-import { Signals } from "../types/proof-utils";
-import { CalldataByProtocol, IProtocolImplementer, ProofStructByProtocol, ProvingSystemType } from "../types/protocols";
+import {
+  ArtifactsFileType,
+  CircuitZKitConfig,
+  VerifierLanguageType,
+  Signals,
+  CalldataByProtocol,
+  IProtocolImplementer,
+  ProofStructByProtocol,
+  ProvingSystemType,
+  NumberLike,
+} from "../types";
 
 import { MAX_FILE_NAME_LENGTH } from "../constants";
 import { getTmpDir, modifyWitnessArray, checkWitnessOverrides, writeWitnessFile } from "../utils";
@@ -69,7 +77,7 @@ export class CircuitZKit<Type extends ProvingSystemType> {
     const wtnsFile = this.getTemporaryWitnessPath();
     const wasmFile = this.mustGetArtifactsFilePath("wasm");
 
-    let signalIndexes: Record<string, number> = {};
+    let signalIndexes: Record<string, NumberLike> = {};
 
     if (witnessOverrides) {
       const symFile = this.mustGetArtifactsFilePath("sym");

package/src/core/protocols/AbstractImplementer.ts

@@ -7,8 +7,8 @@ import {
   ProvingSystemType,
   ProofStructByProtocol,
   CalldataByProtocol,
-} from "../../types/protocols";
-import { VerifierLanguageType } from "../../types/circuit-zkit";
+  VerifierLanguageType,
+} from "../../types";
 
 export abstract class AbstractProtocolImplementer<T extends ProvingSystemType> implements IProtocolImplementer<T> {
   public async createVerifier(

package/src/core/protocols/Groth16Implementer.ts

@@ -3,7 +3,7 @@ import * as snarkjs from "snarkjs";
 
 import { AbstractProtocolImplementer } from "./AbstractImplementer";
 
-import { Groth16ProofStruct, Groth16CalldataStruct, ProvingSystemType } from "../../types/protocols";
+import { Groth16ProofStruct, Groth16CalldataStruct, ProvingSystemType } from "../../types";
 
 import { terminateCurve } from "../../utils";
 

package/src/core/protocols/PlonkImplementer.ts

@@ -3,7 +3,7 @@ import * as snarkjs from "snarkjs";
 
 import { AbstractProtocolImplementer } from "./AbstractImplementer";
 
-import { PlonkProofStruct, PlonkCalldataStruct, ProvingSystemType } from "../../types/protocols";
+import { PlonkProofStruct, PlonkCalldataStruct, ProvingSystemType } from "../../types";
 
 import { terminateCurve } from "../../utils";
 

package/src/core/templates/verifier_groth16.sol.ejs

@@ -48,9 +48,8 @@ contract <%=verifier_id%> {
         <%=IC[i][1]%>;
     <% } -%>
 
-    /// @dev memory pointer sizes
-    uint16 public constant P_PUBLIC_SIGNALS_ACCUMULATOR_SIZE = 128;
-    uint16 public constant P_TOTAL_SIZE = 896;
+    /// @dev memory pointer size
+    uint256 public constant P_TOTAL_SIZE = 768;
 
     function verifyProof(
         uint256[2] memory pointA_,
@@ -63,30 +62,23 @@ contract <%=verifier_id%> {
                 res_ := lt(signal_, SCALAR_FIELD_SIZE)
             }
 
-            function g1MulAdd(pR_, x_, y_, s_) -> res_ {
-                let pointer_ := mload(64) // free pointer
+            function g1MulAdd(pointer_, x_, y_, s_) -> res_ {
+                mstore(add(pointer_, 64), x_)
+                mstore(add(pointer_, 96), y_)
+                mstore(add(pointer_, 128), s_)
 
-                mstore(pointer_, x_)
-                mstore(add(pointer_, 32), y_)
-                mstore(add(pointer_, 64), s_)
-
-                res_ := staticcall(6000, 7, pointer_, 96, pointer_, 64) // ecMul
+                res_ := staticcall(6000, 7, add(pointer_, 64), 96, add(pointer_, 64), 64) // ecMul
                 res_ := and(res_, gt(returndatasize(), 0)) // check that multiplication succeeded
 
                 if iszero(res_) {
                     leave
                 }
 
-                mstore(add(pointer_, 64), mload(pR_))
-                mstore(add(pointer_, 96), mload(add(pR_, 32)))
-
-                res_ := staticcall(150, 6, pointer_, 128, pR_, 64) // ecAdd
+                res_ := staticcall(150, 6, pointer_, 128, pointer_, 64) // ecAdd
                 res_ := and(res_, gt(returndatasize(), 0)) // check that addition succeeded
             }
 
             function checkPairing(pA_, pB_, pC_, pubSignals_, pointer_) -> res_ {
-                let pPairing_ := add(pointer_, P_PUBLIC_SIGNALS_ACCUMULATOR_SIZE)
-
                 mstore(pointer_, IC0_X)
                 mstore(add(pointer_, 32), IC0_Y)
 
@@ -96,51 +88,47 @@ contract <%=verifier_id%> {
                 }
                 <% } -%>
 
+                /// @dev gamma2
+                mstore(add(pointer_, 64), GAMMA_X1)
+                mstore(add(pointer_, 96), GAMMA_X2)
+                mstore(add(pointer_, 128), GAMMA_Y1)
+                mstore(add(pointer_, 160), GAMMA_Y2)
+
                 /// @dev -A
-                mstore(pPairing_, mload(pA_))
+                mstore(add(pointer_, 192), mload(pA_))
                 mstore(
-                    add(pPairing_, 32),
+                    add(pointer_, 224),
                     mod(sub(BASE_FIELD_SIZE, mload(add(pA_, 32))), BASE_FIELD_SIZE)
                 )
 
                 /// @dev B
-                mstore(add(pPairing_, 64), mload(mload(pB_)))
-                mstore(add(pPairing_, 96), mload(add(mload(pB_), 32)))
-                mstore(add(pPairing_, 128), mload(mload(add(pB_, 32))))
-                mstore(add(pPairing_, 160), mload(add(mload(add(pB_, 32)), 32)))
+                mstore(add(pointer_, 256), mload(mload(pB_)))
+                mstore(add(pointer_, 288), mload(add(mload(pB_), 32)))
+                mstore(add(pointer_, 320), mload(mload(add(pB_, 32))))
+                mstore(add(pointer_, 352), mload(add(mload(add(pB_, 32)), 32)))
 
                 /// @dev alpha1
-                mstore(add(pPairing_, 192), ALPHA_X)
-                mstore(add(pPairing_, 224), ALPHA_Y)
+                mstore(add(pointer_, 384), ALPHA_X)
+                mstore(add(pointer_, 416), ALPHA_Y)
 
                 /// @dev beta2
-                mstore(add(pPairing_, 256), BETA_X1)
-                mstore(add(pPairing_, 288), BETA_X2)
-                mstore(add(pPairing_, 320), BETA_Y1)
-                mstore(add(pPairing_, 352), BETA_Y2)
-
-                /// @dev public signals
-                mstore(add(pPairing_, 384), mload(pointer_))
-                mstore(add(pPairing_, 416), mload(add(pointer_, 32)))
-
-                /// @dev gamma2
-                mstore(add(pPairing_, 448), GAMMA_X1)
-                mstore(add(pPairing_, 480), GAMMA_X2)
-                mstore(add(pPairing_, 512), GAMMA_Y1)
-                mstore(add(pPairing_, 544), GAMMA_Y2)
+                mstore(add(pointer_, 448), BETA_X1)
+                mstore(add(pointer_, 480), BETA_X2)
+                mstore(add(pointer_, 512), BETA_Y1)
+                mstore(add(pointer_, 544), BETA_Y2)
 
                 /// @dev C
-                mstore(add(pPairing_, 576), mload(pC_))
-                mstore(add(pPairing_, 608), mload(add(pC_, 32)))
+                mstore(add(pointer_, 576), mload(pC_))
+                mstore(add(pointer_, 608), mload(add(pC_, 32)))
 
                 /// @dev delta2
-                mstore(add(pPairing_, 640), DELTA_X1)
-                mstore(add(pPairing_, 672), DELTA_X2)
-                mstore(add(pPairing_, 704), DELTA_Y1)
-                mstore(add(pPairing_, 736), DELTA_Y2)
+                mstore(add(pointer_, 640), DELTA_X1)
+                mstore(add(pointer_, 672), DELTA_X2)
+                mstore(add(pointer_, 704), DELTA_Y1)
+                mstore(add(pointer_, 736), DELTA_Y2)
 
-                res_ := staticcall(181000, 8, pPairing_, 768, pPairing_, 32) // ecPairing
-                res_ := and(res_, mload(pPairing_)) // check that pairing succeeded
+                res_ := staticcall(181000, 8, pointer_, 768, pointer_, 32) // ecPairing
+                res_ := and(res_, mload(pointer_)) // check that pairing succeeded
             }
 
             let pointer_ := mload(64) // free pointer

package/src/index.ts

@@ -1,6 +1,5 @@
 export { CircuitZKit } from "./core/CircuitZKit";
 export * from "./core/protocols";
+export * from "./utils";
 
-export * from "./types/circuit-zkit";
-export * from "./types/proof-utils";
-export * from "./types/protocols";
+export * from "./types";

package/src/types/index.ts

@@ -0,0 +1,4 @@
+export * from "./circuit-zkit";
+export * from "./proof-utils";
+export * from "./witness-utils";
+export * from "./protocols";

package/src/types/witness-utils.ts

@@ -0,0 +1,8 @@
+import { NumberLike } from "./proof-utils";
+
+export type SignalInfo = {
+  id: NumberLike;
+  witnessIndex: NumberLike;
+  componentId: NumberLike;
+  signalName: string;
+};

package/src/utils/index.ts

@@ -1,33 +1,2 @@
-import os from "os";
-import fs from "fs";
-import path from "path";
-
-import { BN128_CURVE_NAME } from "../constants";
-
-import * as snarkjs from "snarkjs";
-
-/**
- * Terminates the BN128 curve instance used by SnarkJS.
- */
-export async function terminateCurve() {
-  await (await (snarkjs as any).curves.getCurveFromName(BN128_CURVE_NAME)).terminate();
-}
-
-/**
- * Returns the path to the temporary directory used by ZKit.
- *
- * Creates the directory if it does not exist.
- *
- * @returns {string} The path to the temporary `.zkit` directory inside the OS temp folder.
- */
-export function getTmpDir(): string {
-  const tmpDir = path.join(os.tmpdir(), ".zkit");
-
-  if (!fs.existsSync(tmpDir)) {
-    fs.mkdirSync(tmpDir, { recursive: true });
-  }
-
-  return tmpDir;
-}
-
 export * from "./witness-utils";
+export * from "./protocol-utils";

package/src/utils/protocol-utils.ts

@@ -0,0 +1,31 @@
+import os from "os";
+import fs from "fs";
+import path from "path";
+
+import * as snarkjs from "snarkjs";
+
+import { BN128_CURVE_NAME } from "../constants";
+
+/**
+ * Terminates the BN128 curve instance used by SnarkJS.
+ */
+export async function terminateCurve() {
+  await (await (snarkjs as any).curves.getCurveFromName(BN128_CURVE_NAME)).terminate();
+}
+
+/**
+ * Returns the path to the temporary directory used by ZKit.
+ *
+ * Creates the directory if it does not exist.
+ *
+ * @returns {string} The path to the temporary `.zkit` directory inside the OS temp folder.
+ */
+export function getTmpDir(): string {
+  const tmpDir = path.join(os.tmpdir(), ".zkit");
+
+  if (!fs.existsSync(tmpDir)) {
+    fs.mkdirSync(tmpDir, { recursive: true });
+  }
+
+  return tmpDir;
+}

package/src/utils/witness-utils.ts

@@ -7,6 +7,8 @@ import { Scalar } from "ffjavascript";
 // @ts-ignore
 import * as binFileUtils from "@iden3/binfileutils";
 
+import { NumberLike, SignalInfo } from "../types";
+
 /**
  * Validates the provided witness overrides against the `.sym` file and returns the signal-to-index map.
  *
@@ -17,38 +19,59 @@ import * as binFileUtils from "@iden3/binfileutils";
  * Signal names in `overrides` must be in their full form as represented in the `.sym` file, e.g.,
  * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
  *
- * @param {string} symFile - Path to the `.sym` file.
+ * @param {string} symFilePath - Path to the `.sym` file.
  * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
- * @returns {Promise<Record<string, number>>} Map of signal names to their corresponding witness indices.
+ * @returns {Promise<Record<string, NumberLike>>} Map of signal names to their corresponding witness indices.
  */
 export async function checkWitnessOverrides(
-  symFile: string,
+  symFilePath: string,
   overrides: Record<string, bigint>,
-): Promise<Record<string, number>> {
-  const signalToWitnessIndex: Record<string, number> = {};
+): Promise<Record<string, NumberLike>> {
+  const signalToWitnessIndex: Record<string, NumberLike> = {};
 
   const missingSignals = new Set(Object.keys(overrides));
 
-  const fileStream = fs.createReadStream(symFile, { encoding: "utf8" });
+  await iterateSymFile(symFilePath, (signalInfo) => {
+    if (BigInt(signalInfo.witnessIndex) >= 0) {
+      signalToWitnessIndex[signalInfo.signalName] = signalInfo.witnessIndex;
+
+      missingSignals.delete(signalInfo.signalName);
+    }
+  });
+
+  if (missingSignals.size > 0) {
+    throw new Error(`Signals not found in .sym file: ${Array.from(missingSignals).join(", ")}`);
+  }
+
+  return signalToWitnessIndex;
+}
+
+/**
+ * Iterates over signal entries in a `.sym` file line by line.
+ *
+ * Each line is parsed into a `SignalInfo` object which is passed to the provided callback.
+ *
+ * @param {string} symFilePath - The full path to the `.sym` file to read.
+ * @param {(signalInfo: SignalInfo) => void} onSignal - Callback invoked for each signal line.
+ */
+export async function iterateSymFile(symFilePath: string, onSignal: (signalInfo: SignalInfo) => void) {
+  const fileStream = fs.createReadStream(symFilePath, { encoding: "utf8" });
   const signals = readline.createInterface({ input: fileStream, crlfDelay: Infinity });
 
   for await (const signal of signals) {
     const signalInfo = signal.split(",");
 
-    if (signalInfo.length != 4 || Number(signalInfo[1]) < 0) {
+    if (signalInfo.length != 4) {
       continue;
     }
 
-    signalToWitnessIndex[signalInfo[3]] = Number(signalInfo[1]);
-
-    missingSignals.delete(signalInfo[3]);
+    onSignal({
+      id: BigInt(signalInfo[0]),
+      witnessIndex: BigInt(signalInfo[1]),
+      componentId: BigInt(signalInfo[2]),
+      signalName: signalInfo[3],
+    });
   }
-
-  if (missingSignals.size > 0) {
-    throw new Error(`Signals not found in .sym file: ${Array.from(missingSignals).join(", ")}`);
-  }
-
-  return signalToWitnessIndex;
 }
 
 /**
@@ -59,17 +82,17 @@ export async function checkWitnessOverrides(
  * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
  *
  * @param {bigint[]} witness - The original witness array.
- * @param {Record<string, number>} signalIndexes - Map of signal names to their witness indices.
+ * @param {Record<string, NumberLike>} signalIndexes - Map of signal names to their witness indices.
  * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
  * @returns {Promise<bigint[]>} The modified witness array.
  */
 export async function modifyWitnessArray(
   witness: bigint[],
-  signalIndexes: Record<string, number>,
+  signalIndexes: Record<string, NumberLike>,
   overrides: Record<string, bigint>,
 ): Promise<bigint[]> {
   for (const [signal, value] of Object.entries(overrides)) {
-    const index = signalIndexes[signal];
+    const index = Number(signalIndexes[signal]);
 
     witness[index] = value;
   }