@sig-net/midnight-contract 0.0.5 → 0.0.7

package/dist/managed/contract/index.js.map

@@ -2,7 +2,7 @@
   "version": 3,
   "file": "index.js",
   "sourceRoot": "../../../",
-  "sources": ["src/signet-contract.compact", "compiler/standard-library.compact", "compiler/zkir-v3-library.compact", "../../node_modules/@sig-net/midnight/src/Signet.compact"],
+  "sources": ["src/signet-contract.compact"],
   "names": [],
-  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6BA;;;;;;;;;;MAWA,AAAA,mCAQC;;;;;cAPG,WAAoB;cACpB,cAA2C;;;;;;;;;;;;;;;;;;;;;;;;;yCAD3C,WAAoB,gCACpB,cAA2C;;;;;;;;;2EAD3C,WAAoB;2EACpB,cAA2C;;;;OAM9C;MAQD,AAAA,qBAsBC;;;;;cAtBoC,WAAoB;cAAE,mBAAoC;;;;;;;;;;;;;;;;;;;;;;;;;yCAA1D,WAAoB,+BAAE,mBAAoC;;;;;;;;;6DAA1D,WAAoB;6DAAE,mBAAoC;;;;OAsB9F;MAQD,AAAA,wBAyCC;;;;;cAxCG,WAAoB;cACpB,sBAA0C;;;;;;;;;;;;;;;;;;;;;;;;;yCAD1C,WAAoB,gCACpB,sBAA0C;;;;;;;;;gEAD1C,WAAoB;gEACpB,sBAA0C;;;;OAuC7C;;;;;;;;;;;;GAhGA;EAFD;;;;;UAAY,OAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAf9B;;;;;;;;;;yEAA2E;IAE3E;;;;;;;;;;yEAA6D;IAE7D;;;;;;;;;;yEAAmE;IAInE;;;;;;;;;yEAA8C;IAK9C;;;;;;;;;;yEAAqF;UAGjF,KAAa,0BAAwC,OAAK;IAA1D;;;;;;;2HAAA,KAAa;;yEAAA;;;;;;;GAChB;ECkVD,AAAA,uBACiB,OACA,aACA;UAET,2BAA2B;UAA3B,iBAAA;UAAA,aAAA;UACA;qEAC2D;;qEACA;wEACD;wEACA;mDACb;UAE7C,MAAI;UAEJ,+BAAqB;UACrB,sBAAY,8BAAoB,MAAI;yBAEnC,OAAO;;ECnYhB,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,kBAAA;oEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,kBAAA;oEAAA;;;EAAA,AAAA,gBAAA;mDAAA;;;EAAA,AAAA,gBAAA;mDAAA;;;EAAA,AAAA,SAAA,KAAA;4CAAA,KAAA;;;EAAA,AAAA,SAAA,KAAA;4CAAA,KAAA;;;EAAA,AAAA,kBAAA;qDAAA;;;ECwWE,AAAA,2BAgBC,CAfC,WAAoB,EACpB,kBAA4B,EAC5B,WAAkB;UAEZ,KAA4B,GAAtB,WAAS;UACf,SAGJ,kDAF2B,kBAAgB;;oFAC3C,WAAS;;;;6EAGC,KAAG;;;;;;6EACH,KAAG;;;;;;6EACH,SAAO;;;;;;6EACP,SAAO;;;;GAEpB;EHhVH,AAAA,4CAQC;;+CAPG,WAAoB;+CACpB,cAA2C;;IAE3C;;;;;;;;;;2HACa,WAAS;;;4HACT,cAAY;;;wEAFS;;GAIrC;EAQD,AAAA,8BAsBC;;iCAtBoC,WAAoB;iCAAE,mBAAoC;;UAErF,oBAAwC,GAAV,WAAS;iCAGxC;;;;;;;;;;;wJAAqC,oBAAkB;;;;sGAA1B;;MAC9B;;;;;;;;;;6HAA4C,oBAAkB;;;;;;0EAAjC;;UAK3B,OAAuE,2BAA/D;;;;;;;;;;;uIAAqC,oBAAkB;;;iHAA1B;UAC3C,KAA6B;IAA7B;;;;;;;;;;+FAAqC,oBAAkB;;;6FAAvD,KAA6B;;;;wEAAA;UAG7B,KAAsB,YAGP,OAAK,aADD,oBAAkB;IAFrC;;;;;;;;;;2HAAA,KAAsB;;;2HAKT,mBAAiB;;;wEALR;;GAOzB;EAQD,AAAA,iCAyCC;;oCAxCG,WAAoB;oCACpB,sBAA0C;;UAGpC,oBAAwC,GAAV,WAAS;UACvC,mBAAkD,GAArB,sBAAoB;iEAIvB,mBAAiB;kEAAQ;;;;;;;;;;;uIAAa;;yFAQ1D,oBAAkB;yFAClB,mBAAiB;yFACjB,mBAAiB;;4DAGH,mBAAiB;;4DACrB,mBAAiB;wDAE/B,mBAAiB;;gCAWrB;;;;;;;;;;;uJAAiC,oBAAkB;;;;qGAA1B;;;;MAG7B;;;;;;;;;;6HAAiC,oBAAkB;;;8HAAE,mBAAiB;;;0EAA7C;;;GAC5B;;;;;;;;;;;;;;;;;;;;;;;;;;IAjHD;;;;;uCAAA;;;;;;;;;;;;;;;;4GAA2E;;;;;;uCAA3E;;;;;;;;;;;;4GAA2E;;;;;;;;;;;;;;uCAA3E;;;;;;;;;;;;;;;4GAA2E;;;;;;;;;;;;;;0EAA3E,KAA2E;;;;;;;;;2CG6RV;;;;;;;;;;;sIH7RjE,KAA2E;;;gHG6RH;;;;KH7RG;IAE3E;;;;;uCAAA;;;;;;;;;;;;;;;;4GAA6D;;;;;;uCAA7D;;;;;;;;;;;;4GAA6D;;;;;;;;;;;;;;uCAA7D;;;;;;;;;;;;;;;4GAA6D;;;;;;;;;;;;;;uCAA7D;;;;;;;;;;;;;;;;;4GAA6D;;;;;;;;;KAAA;IAE7D;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAmE;;;;;;uCAAnE;;;;;;;;;;;;4GAAmE;;;;;;;;;;;;;;uCAAnE;;;;;;;;;;;;;;;4GAAmE;;;;;;;;;;;;;;wCAAnE;;;;;;;;;;;;;;;;;6GAAmE;;;;;;;;;KAAA;IAInE;qCAAA;;;;;;;;;;;0GAA8C;KAAA;IAK9C;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAqF;;;;;;uCAArF;;;;;;;;;;;;4GAAqF;;;;;;;;;;;;;;uCAArF;;;;;;;;;;;;;;;4GAAqF;;;;;;;;;;;;;;wCAArF;;;;;;;;;;;;;;;;;6GAAqF;;;;;;;;;KAAA;;;;;;;;;;;;;;;;"
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAA;;;;;;;;;;MAoCA,AAAA,sBAyBC;;;;;cAxBK,WAAoB;cACpB,cAAgD;;;;;;;;;;;;;;;;;;;;;;;;;yCADhD,WAAoB,+BACpB,cAAgD;;;;;;;;;8DADhD,WAAoB;8DACpB,cAAgD;;;;OAuBrD;MAID,AAAA,qBAuBC;;;;;cAtBG,WAAoB;cACpB,yBAAgD;;;;;;;;;;;;;;;;;;;;;;;;;yCADhD,WAAoB,+BACpB,yBAAgD;;;;;;;;;6DADhD,WAAoB;6DACpB,yBAAgD;;;;OAqBnD;MAQD,AAAA,wBAuBC;;;;;cAtBG,WAAoB;cACpB,2BAAoD;;;;;;;;;;;;;;;;;;;;;;;;;yCADpD,WAAoB,+BACpB,2BAAoD;;;;;;;;;gEADpD,WAAoB;gEACpB,2BAAoD;;;;OAqBvD;;;;;;;;;;;;GACA;EAxHD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAmBA;;;;;;;;;;yEAAoF;IACpF;;;;;;;;;;yEAA2G;IAE3G;;;;;;;;;;yEAAmE;IACnE;;;;;;;;;;yEAA+E;IAE/E;;;;;;;;;;yEAAsE;IACtE;;;;;;;;;;yEAAoF;;;;;;;GA8FnF;EApFD,AAAA,+BAyBC;;kCAxBK,WAAoB;kCACpB,cAAgD;;4BAE3C,cAAY;;iCAGd;;;;;;;;;;;wJAA6D,WAAS;;;;sGAA1B;;MAC7C;;;;;;;;;;6HAAoE,WAAS;;;;;;0EAAjC;;UAI1C,0CAGL;mFAFU;;;;;;;;;;;8KAA6D,WAAS;;;wJAA1B;oEAC/B,WAAS;UAEjC,KAA4C;IAA5C;;;;;;;;;;+FAA6D,WAAS;;;6FAAtE,KAA4C;;;;wEAAA;IAG5C;;;;;;;;;;2HACI,0CAAwC;;;2HAC/B,cAAY;;;wEAFY;WAK9B,0CAAwC;GAClD;EAID,AAAA,8BAuBC;;iCAtBG,WAAoB;iCACpB,yBAAgD;;UAE1C,oBAAwC,GAAV,WAAS;iCAGxC;;;;;;;;;;;wJAAmC,oBAAkB;;;;sGAA1B;;MAC5B;;;;;;;;;;6HAA0C,oBAAkB;;;;;;0EAAjC;;UAIzB,OAAqE,2BAA7D;;;;;;;;;;;uIAAmC,oBAAkB;;;iHAA1B;UACzC,KAA2B;IAA3B;;;;;;;;;;+FAAmC,oBAAkB;;;6FAArD,KAA2B;;;;wEAAA;UAG3B,KAAoB,YAGL,OAAK,aADD,oBAAkB;IAFrC;;;;;;;;;;2HAAA,KAAoB;;;2HAKP,yBAAuB;;;wEALhB;;GAOvB;EAQD,AAAA,iCAuBC;;oCAtBG,WAAoB;oCACpB,2BAAoD;;UAE9C,oBAAwC,GAAV,WAAS;iCAGxC;;;;;;;;;;;wJAAsC,oBAAkB;;;;sGAA1B;;MAC/B;;;;;;;;;;6HAA6C,oBAAkB;;;;;;0EAAjC;;UAI5B,OAAwE,2BAAhE;;;;;;;;;;;uIAAsC,oBAAkB;;;iHAA1B;UAC5C,KAA8B;IAA9B;;;;;;;;;;+FAAsC,oBAAkB;;;6FAAxD,KAA8B;;;;wEAAA;UAG9B,KAAuB,YAGR,OAAK,aADD,oBAAkB;IAFrC;;;;;;;;;;2HAAA,KAAuB;;;2HAKV,2BAAyB;;;wEALf;;GAO1B;;;;;;;;;;;;;;;;IApGD;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAoF;;;;;;uCAApF;;;;;;;;;;;;4GAAoF;;;;;;;;;;;;;;uCAApF;;;;;;;;;;;;;;;4GAAoF;;;;;;;;;;;;;;0EAApF,KAAoF;;;;;;;;;2CAAT;;;;;;;;;;;sIAA3E,KAAoF;;;gHAAF;;;;KAAE;IACpF;;;;;uCAAA;;;;;;;;;;;;;;;;4GAA2G;;;;;;uCAA3G;;;;;;;;;;;;4GAA2G;;;;;;;;;;;;;;uCAA3G;;;;;;;;;;;;;;;4GAA2G;;;;;;;;;;;;;;uCAA3G;;;;;;;;;;;;;;;;;4GAA2G;;;;;;;;;KAAA;IAE3G;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAmE;;;;;;uCAAnE;;;;;;;;;;;;4GAAmE;;;;;;;;;;;;;;uCAAnE;;;;;;;;;;;;;;;4GAAmE;;;;;;;;;;;;;;0EAAnE,KAAmE;;;;;;;;;2CAAT;;;;;;;;;;;sIAA1D,KAAmE;;;gHAAF;;;;KAAE;IACnE;;;;;uCAAA;;;;;;;;;;;;;;;;4GAA+E;;;;;;uCAA/E;;;;;;;;;;;;4GAA+E;;;;;;;;;;;;;;uCAA/E;;;;;;;;;;;;;;;4GAA+E;;;;;;;;;;;;;;uCAA/E;;;;;;;;;;;;;;;;;4GAA+E;;;;;;;;;KAAA;IAE/E;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAsE;;;;;;uCAAtE;;;;;;;;;;;;4GAAsE;;;;;;;;;;;;;;uCAAtE;;;;;;;;;;;;;;;4GAAsE;;;;;;;;;;;;;;0EAAtE,KAAsE;;;;;;;;;2CAAT;;;;;;;;;;;sIAA7D,KAAsE;;;gHAAF;;;;KAAE;IACtE;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAoF;;;;;;uCAApF;;;;;;;;;;;;4GAAoF;;;;;;;;;;;;;;uCAApF;;;;;;;;;;;;;;;4GAAoF;;;;;;;;;;;;;;uCAApF;;;;;;;;;;;;;;;;;4GAAoF;;;;;;;;;KAAA;;;;;;;;;;;;;;;;"
 }

package/dist/managed/zkir/postRespondBidirectional.zkir

@@ -1,342 +1,60 @@
 {
-  "version": { "major": 2, "minor": 0 },
+  "version": { "major": 3, "minor": 0 },
   "do_communications_commitment": true,
-  "num_inputs": 13,
+  "inputs": [
+    { "name": "%requestId.0", "type": "Scalar<BLS12-381>" },
+    { "name": "%requestId.1", "type": "Scalar<BLS12-381>" },
+    { "name": "%respondBidirectionalEvent.2", "type": "Scalar<BLS12-381>" },
+    { "name": "%respondBidirectionalEvent.3", "type": "Scalar<BLS12-381>" },
+    { "name": "%respondBidirectionalEvent.4", "type": "Scalar<BLS12-381>" },
+    { "name": "%respondBidirectionalEvent.5", "type": "Scalar<BLS12-381>" },
+    { "name": "%respondBidirectionalEvent.6", "type": "Scalar<BLS12-381>" },
+    { "name": "%respondBidirectionalEvent.7", "type": "Scalar<BLS12-381>" },
+    { "name": "%respondBidirectionalEvent.8", "type": "Scalar<BLS12-381>" },
+    { "name": "%respondBidirectionalEvent.9", "type": "Scalar<BLS12-381>" },
+    { "name": "%respondBidirectionalEvent.10", "type": "Scalar<BLS12-381>" },
+    { "name": "%respondBidirectionalEvent.11", "type": "Scalar<BLS12-381>" },
+    { "name": "%respondBidirectionalEvent.12", "type": "Scalar<BLS12-381>" }
+  ],
+  "outputs": [
+  ],
   "instructions": [
-    { "op": "constrain_bits", "var": 0, "bits": 8 },
-    { "op": "constrain_bits", "var": 1, "bits": 248 },
-    { "op": "constrain_bits", "var": 2, "bits": 32 },
-    { "op": "constrain_bits", "var": 3, "bits": 248 },
-    { "op": "constrain_bits", "var": 4, "bits": 248 },
-    { "op": "constrain_bits", "var": 5, "bits": 248 },
-    { "op": "constrain_bits", "var": 6, "bits": 248 },
-    { "op": "constrain_bits", "var": 7, "bits": 8 },
-    { "op": "load_imm", "imm": "01" },
-    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "tag": "field" } }, { "tag": "atom", "value": { "tag": "field" } }], "inputs": [8, 9] },
-    { "op": "load_imm", "imm": "30" },
-    { "op": "declare_pub_input", "var": 16 },
-    { "op": "pi_skip", "guard": 13, "count": 1 },
-    { "op": "load_imm", "imm": "50" },
-    { "op": "load_imm", "imm": "03" },
-    { "op": "declare_pub_input", "var": 17 },
-    { "op": "declare_pub_input", "var": 13 },
-    { "op": "declare_pub_input", "var": 13 },
-    { "op": "declare_pub_input", "var": 18 },
-    { "op": "pi_skip", "guard": 13, "count": 4 },
-    { "op": "public_input", "guard": null },
-    { "op": "public_input", "guard": null },
-    { "op": "load_imm", "imm": "20" },
-    { "op": "load_imm", "imm": "0C" },
-    { "op": "declare_pub_input", "var": 22 },
-    { "op": "declare_pub_input", "var": 13 },
-    { "op": "declare_pub_input", "var": 21 },
-    { "op": "declare_pub_input", "var": 19 },
-    { "op": "declare_pub_input", "var": 20 },
-    { "op": "pi_skip", "guard": 13, "count": 5 },
-    { "op": "test_eq", "a": 14, "b": 19 },
-    { "op": "test_eq", "a": 15, "b": 20 },
-    { "op": "load_imm", "imm": "00" },
-    { "op": "cond_select", "bit": 23, "a": 24, "b": 25 },
-    { "op": "assert", "cond": 26 },
-    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 128, "tag": "bytes" } }], "inputs": [2, 3, 4, 5, 6] },
-    { "op": "div_mod_power_of_two", "var": 7, "bits": 248 },
-    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [27, 28, 29, 30] },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 0 },
-    { "op": "div_mod_power_of_two", "var": 33, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 37, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 16 },
-    { "op": "div_mod_power_of_two", "var": 41, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 24 },
-    { "op": "div_mod_power_of_two", "var": 45, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 32 },
-    { "op": "div_mod_power_of_two", "var": 49, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 40 },
-    { "op": "div_mod_power_of_two", "var": 53, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 48 },
-    { "op": "div_mod_power_of_two", "var": 57, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 56 },
-    { "op": "div_mod_power_of_two", "var": 61, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 64 },
-    { "op": "div_mod_power_of_two", "var": 65, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 72 },
-    { "op": "div_mod_power_of_two", "var": 69, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 80 },
-    { "op": "div_mod_power_of_two", "var": 73, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 88 },
-    { "op": "div_mod_power_of_two", "var": 77, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 96 },
-    { "op": "div_mod_power_of_two", "var": 81, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 104 },
-    { "op": "div_mod_power_of_two", "var": 85, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 112 },
-    { "op": "div_mod_power_of_two", "var": 89, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 120 },
-    { "op": "div_mod_power_of_two", "var": 93, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 96, "modulus": 92, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 97, "modulus": 88, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 98, "modulus": 84, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 99, "modulus": 80, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 100, "modulus": 76, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 101, "modulus": 72, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 102, "modulus": 68, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 103, "modulus": 64, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 104, "modulus": 60, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 105, "modulus": 56, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 106, "modulus": 52, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 107, "modulus": 48, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 108, "modulus": 44, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 109, "modulus": 40, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 110, "modulus": 36, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 128 },
-    { "op": "div_mod_power_of_two", "var": 112, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 136 },
-    { "op": "div_mod_power_of_two", "var": 116, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 144 },
-    { "op": "div_mod_power_of_two", "var": 120, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 152 },
-    { "op": "div_mod_power_of_two", "var": 124, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 160 },
-    { "op": "div_mod_power_of_two", "var": 128, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 168 },
-    { "op": "div_mod_power_of_two", "var": 132, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 176 },
-    { "op": "div_mod_power_of_two", "var": 136, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 184 },
-    { "op": "div_mod_power_of_two", "var": 140, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 192 },
-    { "op": "div_mod_power_of_two", "var": 144, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 200 },
-    { "op": "div_mod_power_of_two", "var": 148, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 208 },
-    { "op": "div_mod_power_of_two", "var": 152, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 216 },
-    { "op": "div_mod_power_of_two", "var": 156, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 224 },
-    { "op": "div_mod_power_of_two", "var": 160, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 232 },
-    { "op": "div_mod_power_of_two", "var": 164, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 1, "bits": 240 },
-    { "op": "div_mod_power_of_two", "var": 168, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 0, "bits": 0 },
-    { "op": "div_mod_power_of_two", "var": 172, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 175, "modulus": 171, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 176, "modulus": 167, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 177, "modulus": 163, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 178, "modulus": 159, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 179, "modulus": 155, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 180, "modulus": 151, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 181, "modulus": 147, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 182, "modulus": 143, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 183, "modulus": 139, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 184, "modulus": 135, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 185, "modulus": 131, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 186, "modulus": 127, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 187, "modulus": 123, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 188, "modulus": 119, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 189, "modulus": 115, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 0 },
-    { "op": "div_mod_power_of_two", "var": 191, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 195, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 16 },
-    { "op": "div_mod_power_of_two", "var": 199, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 24 },
-    { "op": "div_mod_power_of_two", "var": 203, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 32 },
-    { "op": "div_mod_power_of_two", "var": 207, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 40 },
-    { "op": "div_mod_power_of_two", "var": 211, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 48 },
-    { "op": "div_mod_power_of_two", "var": 215, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 56 },
-    { "op": "div_mod_power_of_two", "var": 219, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 64 },
-    { "op": "div_mod_power_of_two", "var": 223, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 72 },
-    { "op": "div_mod_power_of_two", "var": 227, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 80 },
-    { "op": "div_mod_power_of_two", "var": 231, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 88 },
-    { "op": "div_mod_power_of_two", "var": 235, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 96 },
-    { "op": "div_mod_power_of_two", "var": 239, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 104 },
-    { "op": "div_mod_power_of_two", "var": 243, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 112 },
-    { "op": "div_mod_power_of_two", "var": 247, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 120 },
-    { "op": "div_mod_power_of_two", "var": 251, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 254, "modulus": 250, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 255, "modulus": 246, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 256, "modulus": 242, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 257, "modulus": 238, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 258, "modulus": 234, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 259, "modulus": 230, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 260, "modulus": 226, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 261, "modulus": 222, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 262, "modulus": 218, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 263, "modulus": 214, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 264, "modulus": 210, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 265, "modulus": 206, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 266, "modulus": 202, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 267, "modulus": 198, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 268, "modulus": 194, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 128 },
-    { "op": "div_mod_power_of_two", "var": 270, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 136 },
-    { "op": "div_mod_power_of_two", "var": 274, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 144 },
-    { "op": "div_mod_power_of_two", "var": 278, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 152 },
-    { "op": "div_mod_power_of_two", "var": 282, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 160 },
-    { "op": "div_mod_power_of_two", "var": 286, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 168 },
-    { "op": "div_mod_power_of_two", "var": 290, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 176 },
-    { "op": "div_mod_power_of_two", "var": 294, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 184 },
-    { "op": "div_mod_power_of_two", "var": 298, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 192 },
-    { "op": "div_mod_power_of_two", "var": 302, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 200 },
-    { "op": "div_mod_power_of_two", "var": 306, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 208 },
-    { "op": "div_mod_power_of_two", "var": 310, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 216 },
-    { "op": "div_mod_power_of_two", "var": 314, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 224 },
-    { "op": "div_mod_power_of_two", "var": 318, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 232 },
-    { "op": "div_mod_power_of_two", "var": 322, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 32, "bits": 240 },
-    { "op": "div_mod_power_of_two", "var": 326, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 31, "bits": 0 },
-    { "op": "div_mod_power_of_two", "var": 330, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 333, "modulus": 329, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 334, "modulus": 325, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 335, "modulus": 321, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 336, "modulus": 317, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 337, "modulus": 313, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 338, "modulus": 309, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 339, "modulus": 305, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 340, "modulus": 301, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 341, "modulus": 297, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 342, "modulus": 293, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 343, "modulus": 289, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 344, "modulus": 285, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 345, "modulus": 281, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 346, "modulus": 277, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 347, "modulus": 273, "bits": 8 },
-    { "op": "transient_hash", "inputs": [10, 11, 8, 9, 111, 190, 269, 348] },
-    { "op": "copy", "var": 349 },
-    { "op": "copy", "var": 12 },
-    { "op": "ec_mul_generator", "scalar": 351 },
-    { "op": "ec_mul", "a_x": 8, "a_y": 9, "scalar": 350 },
-    { "op": "ec_add", "a_x": 10, "a_y": 11, "b_x": 354, "b_y": 355 },
-    { "op": "test_eq", "a": 352, "b": 356 },
-    { "op": "test_eq", "a": 353, "b": 357 },
-    { "op": "cond_select", "bit": 358, "a": 359, "b": 25 },
-    { "op": "assert", "cond": 360 },
-    { "op": "declare_pub_input", "var": 16 },
-    { "op": "pi_skip", "guard": 13, "count": 1 },
-    { "op": "load_imm", "imm": "02" },
-    { "op": "declare_pub_input", "var": 17 },
-    { "op": "declare_pub_input", "var": 13 },
-    { "op": "declare_pub_input", "var": 13 },
-    { "op": "declare_pub_input", "var": 361 },
-    { "op": "pi_skip", "guard": 13, "count": 4 },
-    { "op": "load_imm", "imm": "10" },
-    { "op": "declare_pub_input", "var": 362 },
-    { "op": "declare_pub_input", "var": 13 },
-    { "op": "declare_pub_input", "var": 13 },
-    { "op": "declare_pub_input", "var": 21 },
-    { "op": "declare_pub_input", "var": 0 },
-    { "op": "declare_pub_input", "var": 1 },
-    { "op": "pi_skip", "guard": 13, "count": 6 },
-    { "op": "load_imm", "imm": "18" },
-    { "op": "declare_pub_input", "var": 363 },
-    { "op": "pi_skip", "guard": 13, "count": 1 },
-    { "op": "public_input", "guard": null },
-    { "op": "load_imm", "imm": "0D" },
-    { "op": "declare_pub_input", "var": 365 },
-    { "op": "declare_pub_input", "var": 13 },
-    { "op": "declare_pub_input", "var": 13 },
-    { "op": "declare_pub_input", "var": 364 },
-    { "op": "pi_skip", "guard": 13, "count": 4 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 13 },
-    { "op": "load_imm", "imm": "70" },
-    { "op": "cond_select", "bit": 366, "a": 367, "b": 25 },
-    { "op": "declare_pub_input", "var": 368 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "cond_select", "bit": 366, "a": 361, "b": 25 },
-    { "op": "declare_pub_input", "var": 369 },
-    { "op": "pi_skip", "guard": 366, "count": 4 },
-    { "op": "cond_select", "bit": 366, "a": 362, "b": 25 },
-    { "op": "declare_pub_input", "var": 370 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "cond_select", "bit": 366, "a": 21, "b": 25 },
-    { "op": "declare_pub_input", "var": 371 },
-    { "op": "cond_select", "bit": 366, "a": 0, "b": 25 },
-    { "op": "declare_pub_input", "var": 372 },
-    { "op": "cond_select", "bit": 366, "a": 1, "b": 25 },
-    { "op": "declare_pub_input", "var": 373 },
-    { "op": "pi_skip", "guard": 366, "count": 6 },
-    { "op": "load_imm", "imm": "11" },
-    { "op": "load_imm", "imm": "07" },
-    { "op": "load_imm", "imm": "80" },
-    { "op": "load_imm", "imm": "-02" },
-    { "op": "cond_select", "bit": 366, "a": 374, "b": 25 },
-    { "op": "declare_pub_input", "var": 378 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "cond_select", "bit": 366, "a": 375, "b": 25 },
-    { "op": "declare_pub_input", "var": 379 },
-    { "op": "cond_select", "bit": 366, "a": 376, "b": 25 },
-    { "op": "declare_pub_input", "var": 380 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "cond_select", "bit": 366, "a": 377, "b": 25 },
-    { "op": "declare_pub_input", "var": 381 },
-    { "op": "cond_select", "bit": 366, "a": 377, "b": 25 },
-    { "op": "declare_pub_input", "var": 382 },
-    { "op": "cond_select", "bit": 366, "a": 377, "b": 25 },
-    { "op": "declare_pub_input", "var": 383 },
-    { "op": "cond_select", "bit": 366, "a": 377, "b": 25 },
-    { "op": "declare_pub_input", "var": 384 },
-    { "op": "cond_select", "bit": 366, "a": 377, "b": 25 },
-    { "op": "declare_pub_input", "var": 385 },
-    { "op": "cond_select", "bit": 366, "a": 2, "b": 25 },
-    { "op": "declare_pub_input", "var": 386 },
-    { "op": "cond_select", "bit": 366, "a": 3, "b": 25 },
-    { "op": "declare_pub_input", "var": 387 },
-    { "op": "cond_select", "bit": 366, "a": 4, "b": 25 },
-    { "op": "declare_pub_input", "var": 388 },
-    { "op": "cond_select", "bit": 366, "a": 5, "b": 25 },
-    { "op": "declare_pub_input", "var": 389 },
-    { "op": "cond_select", "bit": 366, "a": 6, "b": 25 },
-    { "op": "declare_pub_input", "var": 390 },
-    { "op": "cond_select", "bit": 366, "a": 7, "b": 25 },
-    { "op": "declare_pub_input", "var": 391 },
-    { "op": "cond_select", "bit": 366, "a": 8, "b": 25 },
-    { "op": "declare_pub_input", "var": 392 },
-    { "op": "cond_select", "bit": 366, "a": 9, "b": 25 },
-    { "op": "declare_pub_input", "var": 393 },
-    { "op": "cond_select", "bit": 366, "a": 10, "b": 25 },
-    { "op": "declare_pub_input", "var": 394 },
-    { "op": "cond_select", "bit": 366, "a": 11, "b": 25 },
-    { "op": "declare_pub_input", "var": 395 },
-    { "op": "cond_select", "bit": 366, "a": 12, "b": 25 },
-    { "op": "declare_pub_input", "var": 396 },
-    { "op": "pi_skip", "guard": 366, "count": 21 },
-    { "op": "load_imm", "imm": "91" },
-    { "op": "cond_select", "bit": 366, "a": 397, "b": 25 },
-    { "op": "declare_pub_input", "var": 398 },
-    { "op": "pi_skip", "guard": 366, "count": 1 },
-    { "op": "load_imm", "imm": "A1" },
-    { "op": "cond_select", "bit": 366, "a": 399, "b": 25 },
-    { "op": "declare_pub_input", "var": 400 },
-    { "op": "pi_skip", "guard": 366, "count": 1 }
+    { "op": "constrain_bits", "val": "%requestId.0", "bits": 8 },
+    { "op": "constrain_bits", "val": "%requestId.1", "bits": 248 },
+    { "op": "constrain_bits", "val": "%respondBidirectionalEvent.2", "bits": 32 },
+    { "op": "constrain_bits", "val": "%respondBidirectionalEvent.3", "bits": 248 },
+    { "op": "constrain_bits", "val": "%respondBidirectionalEvent.4", "bits": 248 },
+    { "op": "constrain_bits", "val": "%respondBidirectionalEvent.5", "bits": 248 },
+    { "op": "constrain_bits", "val": "%respondBidirectionalEvent.6", "bits": 248 },
+    { "op": "constrain_bits", "val": "%respondBidirectionalEvent.7", "bits": 8 },
+    { "op": "constrain_bits", "val": "%respondBidirectionalEvent.8", "bits": 8 },
+    { "op": "constrain_bits", "val": "%respondBidirectionalEvent.9", "bits": 248 },
+    { "op": "constrain_bits", "val": "%respondBidirectionalEvent.10", "bits": 8 },
+    { "op": "constrain_bits", "val": "%respondBidirectionalEvent.11", "bits": 248 },
+    { "op": "constrain_bits", "val": "%respondBidirectionalEvent.12", "bits": 8 },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.13", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x04"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x01", "%t.13"] },
+    { "op": "cond_select", "output": "%t.14", "bit": "%t.13", "a": "0x00", "b": "0x01" },
+    { "op": "impact", "guard": "%t.14", "inputs": ["0x70", "0x01", "0x01", "0x04"] },
+    { "op": "impact", "guard": "%t.14", "inputs": ["0x10", "0x01", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
+    { "op": "impact", "guard": "%t.14", "inputs": ["0x11", "0x01", "0x01", "0x08", "0x00"] },
+    { "op": "impact", "guard": "%t.14", "inputs": ["0x91"] },
+    { "op": "impact", "guard": "%t.14", "inputs": ["0xa1"] },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%count.15", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x51", "0x01", "0x01", "0x04", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x08", "%count.15"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x71", "0x01", "0x01", "0x04", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0e", "0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x05"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x02", "0x08", "0x20", "%count.15", "%requestId.0", "%requestId.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x05", "0x80", "0x01", "0x20", "0x20", "0x01", "%respondBidirectionalEvent.2", "%respondBidirectionalEvent.3", "%respondBidirectionalEvent.4", "%respondBidirectionalEvent.5", "%respondBidirectionalEvent.6", "%respondBidirectionalEvent.7", "%respondBidirectionalEvent.8", "%respondBidirectionalEvent.9", "%respondBidirectionalEvent.10", "%respondBidirectionalEvent.11", "%respondBidirectionalEvent.12"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] }
   ]
 }