@sig-net/midnight-contract 0.0.6 → 0.0.8

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

@@ -2,7 +2,7 @@
   "version": 3,
   "file": "index.js",
   "sourceRoot": "../../../",
-  "sources": ["src/signet-contract.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;MAUD,AAAA,wBA8CC;;;;;cA7CG,WAAoB;cACpB,sBAA0C;cAC1C,IAAkB;;;;;;;;;;;;;;;;;;;;;;;;;yCAFlB,WAAoB,+BACpB,sBAA0C,+BAC1C,IAAkB;;;;;;;;;gEAFlB,WAAoB;gEACpB,sBAA0C;gEAC1C,IAAkB;;;;OA2CrB;;;;;;;;;;;;GAvGA;EAFD;;;;;UAAY,OAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAfjC;;;;;;;;;;yEAA2E;IAE3E;;;;;;;;;;yEAA6D;IAE7D;;;;;;;;;;yEAAmE;IAInE;;;;;;;;;yEAA8C;IAK9C;;;;;;;;;;yEAAqF;UAGjF,KAAa,0BAA2C,OAAK;IAA7D;;;;;;;2HAAA,KAAa;;yEAAA;;;;;;;GAChB;ECHD,AAAA,yBAA8B;UACtB,iBAAI;UACJ,gCACQ;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;;;;gDACP;;;;EAqBT,AAAA,wBACiB,WACA,OACA;UAET,oCAA2C;UAC3C,2BAAS;UAAT,MAAA;UAAA,MAAA;UACA,kBAAyB;UACzB,mBAA0B,KAAG;UAC7B,mBAA0B,KAAG;UAC7B,+CAA6C;gDAAW,MAAI;;;;8GAC1C;;;;;WAA2C;;EA/FrE,AAAA,kBAAA;oEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,kBAAA;oEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,OAAA,KAAA;yDAAA,KAAA;;;EAAA,AAAA,OAAA;yDAAA;;;EAAA,AAAA,mBAAA;sDAAA;;;EAAA,AAAA,SAAA,KAAA;mDAAA,KAAA;;;EAAA,AAAA,SAAA,KAAA;mDAAA,KAAA;;;EAAA,AAAA,kBAAA;4DAAA;;;ECoXE,AAAA,2BAcC,CAbC,WAAoB,EACpB,kBAA4B,EAC5B,WAAkB;UAEZ,SAGJ,kDAF2B,kBAAgB;;oFAC3C,WAAS;;;mCAIT,WAAS;mCACT,SAAO;GAEV;EF1VH,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;EAUD,AAAA,iCA8CC;;oCA7CG,WAAoB;oCACpB,sBAA0C;oCAC1C,IAAkB;;UAGZ,oBAAwC,GAAV,WAAS;UACvC,mBAAkD,GAArB,sBAAoB;UACjD,aAA0B,GAAH,IAAE;iEAII,aAAW;kEAAK;;;;;;;;;;;uIAAa;;0FAUpD,oBAAkB;0FAClB,mBAAiB;0FACjB,mBAAiB;;;;kGAGd,mBAAiB;;;;;;kGACjB,mBAAiB;;;yDAExB,aAAW;;gCAYf;;;;;;;;;;;uJAAiC,oBAAkB;;;;qGAA1B;;;;MAG7B;;;;;;;;;;6HAAiC,oBAAkB;;;6HAAE,mBAAiB;;;0EAA7C;;;GAC5B;;;;;;;;;;;;;;;;;;;;IAxHD;;;;;uCAAA;;;;;;;;;;;;;;;;4GAA2E;;;;;;uCAA3E;;;;;;;;;;;;4GAA2E;;;;;;;;;;;;;;uCAA3E;;;;;;;;;;;;;;;4GAA2E;;;;;;;;;;;;;;0EAA3E,KAA2E;;;;;;;;;2CEmSV;;;;;;;;;;;sIFnSjE,KAA2E;;;gHEmSH;;;;KFnSG;IAE3E;;;;;uCAAA;;;;;;;;;;;;;;;;4GAA6D;;;;;;uCAA7D;;;;;;;;;;;;4GAA6D;;;;;;;;;;;;;;uCAA7D;;;;;;;;;;;;;;;4GAA6D;;;;;;;;;;;;;;uCAA7D;;;;;;;;;;;;;;;;;4GAA6D;;;;;;;;;KAAA;IAE7D;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAmE;;;;;;uCAAnE;;;;;;;;;;;;4GAAmE;;;;;;;;;;;;;;uCAAnE;;;;;;;;;;;;;;;4GAAmE;;;;;;;;;;;;;;uCAAnE;;;;;;;;;;;;;;;;;4GAAmE;;;;;;;;;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

@@ -4,145 +4,57 @@
   "inputs": [
     { "name": "%requestId.0", "type": "Scalar<BLS12-381>" },
     { "name": "%requestId.1", "type": "Scalar<BLS12-381>" },
-    { "name": "%respondBidirectional.2", "type": "Scalar<BLS12-381>" },
-    { "name": "%respondBidirectional.3", "type": "Scalar<BLS12-381>" },
-    { "name": "%respondBidirectional.4", "type": "Scalar<BLS12-381>" },
-    { "name": "%respondBidirectional.5", "type": "Scalar<BLS12-381>" },
-    { "name": "%respondBidirectional.6", "type": "Scalar<BLS12-381>" },
-    { "name": "%respondBidirectional.7", "type": "Scalar<BLS12-381>" },
-    { "name": "%respondBidirectional.8", "type": "Scalar<BLS12-381>" },
-    { "name": "%respondBidirectional.9", "type": "Scalar<BLS12-381>" },
-    { "name": "%respondBidirectional.10", "type": "Scalar<BLS12-381>" },
-    { "name": "%respondBidirectional.11", "type": "Scalar<BLS12-381>" },
-    { "name": "%pk.12", "type": "Point<Secp256k1>" }
+    { "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", "val": "%requestId.0", "bits": 8 },
     { "op": "constrain_bits", "val": "%requestId.1", "bits": 248 },
-    { "op": "constrain_bits", "val": "%respondBidirectional.2", "bits": 32 },
-    { "op": "constrain_bits", "val": "%respondBidirectional.3", "bits": 248 },
-    { "op": "constrain_bits", "val": "%respondBidirectional.4", "bits": 248 },
-    { "op": "constrain_bits", "val": "%respondBidirectional.5", "bits": 248 },
-    { "op": "constrain_bits", "val": "%respondBidirectional.6", "bits": 248 },
-    { "op": "constrain_bits", "val": "%respondBidirectional.7", "bits": 8 },
-    { "op": "constrain_bits", "val": "%respondBidirectional.8", "bits": 8 },
-    { "op": "constrain_bits", "val": "%respondBidirectional.9", "bits": 248 },
-    { "op": "constrain_bits", "val": "%respondBidirectional.10", "bits": 8 },
-    { "op": "constrain_bits", "val": "%respondBidirectional.11", "bits": 248 },
-    { "op": "encode", "outputs": ["%fld.13", "%fld.14", "%fld.15", "%fld.16", "%fld.17"], "input": "%pk.12" },
-    { "op": "persistent_hash", "output": "%bytes.18", "alignment": [{ "tag": "atom", "value": { "length": 24, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 8, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 24, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 8, "tag": "bytes" } }, { "tag": "atom", "value": { "tag": "field" } }], "inputs": ["%fld.13", "%fld.14", "%fld.15", "%fld.16", "%fld.17"] },
-    { "op": "bytes32_into_low_high", "outputs": ["%t.19", "%t.20"], "bytes": "%bytes.18" },
-    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.21", "guard": null },
-    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.22", "guard": null },
+    { "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", "0x03"] },
-    { "op": "impact", "guard": "0x01", "inputs": ["0x0c", "0x01", "0x20", "%t.21", "%t.22"] },
-    { "op": "test_eq", "output": "%t.23", "a": "%t.20", "b": "%t.21" },
-    { "op": "test_eq", "output": "%t.24", "a": "%t.19", "b": "%t.22" },
-    { "op": "cond_select", "output": "%t.25", "bit": "%t.23", "a": "%t.24", "b": "0x00" },
-    { "op": "assert", "cond": "%t.25" },
-    { "op": "persistent_hash", "output": "%bytes.26", "alignment": [{ "tag": "atom", "value": { "length": 128, "tag": "bytes" } }], "inputs": ["%respondBidirectional.2", "%respondBidirectional.3", "%respondBidirectional.4", "%respondBidirectional.5", "%respondBidirectional.6"] },
-    { "op": "bytes32_into_low_high", "outputs": ["%t.27", "%t.28"], "bytes": "%bytes.26" },
-    { "op": "div_mod_power_of_two", "outputs": ["%t.29", "%t.30"], "val": "%respondBidirectional.7", "bits": 248 },
-    { "op": "persistent_hash", "output": "%bytes.31", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["%t.28", "%t.27", "%t.29", "%t.30"] },
-    { "op": "bytes32_into_low_high", "outputs": ["%outHash.32", "%outHash.33"], "bytes": "%bytes.31" },
-    { "op": "persistent_hash", "output": "%bytes.34", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x00", "0x7369676e65743a6d69646e696768743a617474657374", "%requestId.0", "%requestId.1", "%outHash.33", "%outHash.32"] },
-    { "op": "bytes32_into_low_high", "outputs": ["%msgHash.35", "%msgHash.36"], "bytes": "%bytes.34" },
-    { "op": "bytes32_from_low_high", "output": "%tmp.37", "inputs": ["%respondBidirectional.9", "%respondBidirectional.8"] },
-    { "op": "from_bytes32", "type": "Scalar<Secp256k1>", "output": "%t.38", "bytes": "%tmp.37" },
-    { "op": "bytes32_from_low_high", "output": "%tmp.39", "inputs": ["%respondBidirectional.11", "%respondBidirectional.10"] },
-    { "op": "from_bytes32", "type": "Scalar<Secp256k1>", "output": "%t.40", "bytes": "%tmp.39" },
-    { "op": "copy", "output": "%v.41", "val": "%msgHash.36" },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.42", "%v.43"], "val": "%msgHash.35", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.44", "%v.45"], "val": "%quo.42", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.46", "%v.47"], "val": "%quo.44", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.48", "%v.49"], "val": "%quo.46", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.50", "%v.51"], "val": "%quo.48", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.52", "%v.53"], "val": "%quo.50", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.54", "%v.55"], "val": "%quo.52", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.56", "%v.57"], "val": "%quo.54", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.58", "%v.59"], "val": "%quo.56", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.60", "%v.61"], "val": "%quo.58", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.62", "%v.63"], "val": "%quo.60", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.64", "%v.65"], "val": "%quo.62", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.66", "%v.67"], "val": "%quo.64", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.68", "%v.69"], "val": "%quo.66", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.70", "%v.71"], "val": "%quo.68", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.72", "%v.73"], "val": "%quo.70", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.74", "%v.75"], "val": "%quo.72", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.76", "%v.77"], "val": "%quo.74", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.78", "%v.79"], "val": "%quo.76", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.80", "%v.81"], "val": "%quo.78", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.82", "%v.83"], "val": "%quo.80", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.84", "%v.85"], "val": "%quo.82", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.86", "%v.87"], "val": "%quo.84", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.88", "%v.89"], "val": "%quo.86", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.90", "%v.91"], "val": "%quo.88", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.92", "%v.93"], "val": "%quo.90", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.94", "%v.95"], "val": "%quo.92", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.96", "%v.97"], "val": "%quo.94", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.98", "%v.99"], "val": "%quo.96", "bits": 8 },
-    { "op": "div_mod_power_of_two", "outputs": ["%quo.100", "%v.101"], "val": "%quo.98", "bits": 8 },
-    { "op": "copy", "output": "%v.102", "val": "%quo.100" },
-    { "op": "copy", "output": "%beReversed.103", "val": "%v.43" },
-    { "op": "reconstitute_field", "output": "%div.104", "divisor": "%v.45", "modulus": "%v.47", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.105", "divisor": "%div.104", "modulus": "%v.49", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.106", "divisor": "%div.105", "modulus": "%v.51", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.107", "divisor": "%div.106", "modulus": "%v.53", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.108", "divisor": "%div.107", "modulus": "%v.55", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.109", "divisor": "%div.108", "modulus": "%v.57", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.110", "divisor": "%div.109", "modulus": "%v.59", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.111", "divisor": "%div.110", "modulus": "%v.61", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.112", "divisor": "%div.111", "modulus": "%v.63", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.113", "divisor": "%div.112", "modulus": "%v.65", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.114", "divisor": "%div.113", "modulus": "%v.67", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.115", "divisor": "%div.114", "modulus": "%v.69", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.116", "divisor": "%div.115", "modulus": "%v.71", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.117", "divisor": "%div.116", "modulus": "%v.73", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.118", "divisor": "%div.117", "modulus": "%v.75", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.119", "divisor": "%div.118", "modulus": "%v.77", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.120", "divisor": "%div.119", "modulus": "%v.79", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.121", "divisor": "%div.120", "modulus": "%v.81", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.122", "divisor": "%div.121", "modulus": "%v.83", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.123", "divisor": "%div.122", "modulus": "%v.85", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.124", "divisor": "%div.123", "modulus": "%v.87", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.125", "divisor": "%div.124", "modulus": "%v.89", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.126", "divisor": "%div.125", "modulus": "%v.91", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.127", "divisor": "%div.126", "modulus": "%v.93", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.128", "divisor": "%div.127", "modulus": "%v.95", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.129", "divisor": "%div.128", "modulus": "%v.97", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.130", "divisor": "%div.129", "modulus": "%v.99", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.131", "divisor": "%div.130", "modulus": "%v.101", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%div.132", "divisor": "%div.131", "modulus": "%v.102", "bits": 8 },
-    { "op": "reconstitute_field", "output": "%beReversed.133", "divisor": "%div.132", "modulus": "%v.41", "bits": 8 },
-    { "op": "bytes32_from_low_high", "output": "%tmp.134", "inputs": ["%beReversed.133", "%beReversed.103"] },
-    { "op": "from_bytes32", "type": "Scalar<Secp256k1>", "output": "%z.135", "bytes": "%tmp.134" },
-    { "op": "inv", "output": "%w.136", "a": "%t.40" },
-    { "op": "mul", "output": "%u1.137", "a": "%z.135", "b": "%w.136" },
-    { "op": "mul", "output": "%u2.138", "a": "%t.38", "b": "%w.136" },
-    { "op": "ec_mul_generator", "output": "%t.139", "scalar": "%u1.137" },
-    { "op": "ec_mul", "output": "%t.140", "a": "%pk.12", "scalar": "%u2.138" },
-    { "op": "add", "output": "%point.141", "a": "%t.139", "b": "%t.140" },
-    { "op": "into_coordinates", "outputs": ["%t.142", "%ignore.143"], "point": "%point.141" },
-    { "op": "into_bytes32", "output": "%tmp.144", "input": "%t.142" },
-    { "op": "bytes32_into_low_high", "outputs": ["%t.145", "%t.146"], "bytes": "%tmp.144" },
-    { "op": "bytes32_from_low_high", "output": "%tmp.147", "inputs": ["%t.145", "%t.146"] },
-    { "op": "from_bytes32", "type": "Scalar<Secp256k1>", "output": "%t.148", "bytes": "%tmp.147" },
-    { "op": "test_eq", "output": "%t.149", "a": "%t.148", "b": "%t.38" },
-    { "op": "assert", "cond": "%t.149" },
-    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.150", "guard": null },
-    { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
-    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x02"] },
+    { "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.150"] },
-    { "op": "cond_select", "output": "%t.151", "bit": "%t.150", "a": "0x00", "b": "0x01" },
-    { "op": "impact", "guard": "%t.151", "inputs": ["0x70", "0x01", "0x01", "0x02"] },
-    { "op": "impact", "guard": "%t.151", "inputs": ["0x10", "0x01", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
-    { "op": "impact", "guard": "%t.151", "inputs": ["0x11", "0x01", "0x04", "0x80", "0x01", "0x20", "0x20", "%respondBidirectional.2", "%respondBidirectional.3", "%respondBidirectional.4", "%respondBidirectional.5", "%respondBidirectional.6", "%respondBidirectional.7", "%respondBidirectional.8", "%respondBidirectional.9", "%respondBidirectional.10", "%respondBidirectional.11"] },
-    { "op": "impact", "guard": "%t.151", "inputs": ["0x91"] },
-    { "op": "impact", "guard": "%t.151", "inputs": ["0xa1"] }
+    { "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"] }
   ]
 }

package/dist/managed/zkir/postSignatureResponse.zkir

@@ -4,48 +4,48 @@
   "inputs": [
     { "name": "%requestId.0", "type": "Scalar<BLS12-381>" },
     { "name": "%requestId.1", "type": "Scalar<BLS12-381>" },
-    { "name": "%signatureResponse.2", "type": "Scalar<BLS12-381>" },
-    { "name": "%signatureResponse.3", "type": "Scalar<BLS12-381>" },
-    { "name": "%signatureResponse.4", "type": "Scalar<BLS12-381>" },
-    { "name": "%signatureResponse.5", "type": "Scalar<BLS12-381>" },
-    { "name": "%signatureResponse.6", "type": "Scalar<BLS12-381>" },
-    { "name": "%signatureResponse.7", "type": "Scalar<BLS12-381>" },
-    { "name": "%signatureResponse.8", "type": "Scalar<BLS12-381>" }
+    { "name": "%signatureRespondedEvent.2", "type": "Scalar<BLS12-381>" },
+    { "name": "%signatureRespondedEvent.3", "type": "Scalar<BLS12-381>" },
+    { "name": "%signatureRespondedEvent.4", "type": "Scalar<BLS12-381>" },
+    { "name": "%signatureRespondedEvent.5", "type": "Scalar<BLS12-381>" },
+    { "name": "%signatureRespondedEvent.6", "type": "Scalar<BLS12-381>" },
+    { "name": "%signatureRespondedEvent.7", "type": "Scalar<BLS12-381>" },
+    { "name": "%signatureRespondedEvent.8", "type": "Scalar<BLS12-381>" }
   ],
   "outputs": [
   ],
   "instructions": [
     { "op": "constrain_bits", "val": "%requestId.0", "bits": 8 },
     { "op": "constrain_bits", "val": "%requestId.1", "bits": 248 },
-    { "op": "constrain_bits", "val": "%signatureResponse.2", "bits": 8 },
-    { "op": "constrain_bits", "val": "%signatureResponse.3", "bits": 248 },
-    { "op": "constrain_bits", "val": "%signatureResponse.4", "bits": 8 },
-    { "op": "constrain_bits", "val": "%signatureResponse.5", "bits": 248 },
-    { "op": "constrain_bits", "val": "%signatureResponse.6", "bits": 8 },
-    { "op": "constrain_bits", "val": "%signatureResponse.7", "bits": 248 },
-    { "op": "constrain_bits", "val": "%signatureResponse.8", "bits": 8 },
+    { "op": "constrain_bits", "val": "%signatureRespondedEvent.2", "bits": 8 },
+    { "op": "constrain_bits", "val": "%signatureRespondedEvent.3", "bits": 248 },
+    { "op": "constrain_bits", "val": "%signatureRespondedEvent.4", "bits": 8 },
+    { "op": "constrain_bits", "val": "%signatureRespondedEvent.5", "bits": 248 },
+    { "op": "constrain_bits", "val": "%signatureRespondedEvent.6", "bits": 8 },
+    { "op": "constrain_bits", "val": "%signatureRespondedEvent.7", "bits": 248 },
+    { "op": "constrain_bits", "val": "%signatureRespondedEvent.8", "bits": 8 },
     { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.9", "guard": null },
     { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
-    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x02"] },
     { "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.9"] },
     { "op": "cond_select", "output": "%t.10", "bit": "%t.9", "a": "0x00", "b": "0x01" },
-    { "op": "impact", "guard": "%t.10", "inputs": ["0x70", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "%t.10", "inputs": ["0x70", "0x01", "0x01", "0x02"] },
     { "op": "impact", "guard": "%t.10", "inputs": ["0x10", "0x01", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
     { "op": "impact", "guard": "%t.10", "inputs": ["0x11", "0x01", "0x01", "0x08", "0x00"] },
     { "op": "impact", "guard": "%t.10", "inputs": ["0x91"] },
     { "op": "impact", "guard": "%t.10", "inputs": ["0xa1"] },
     { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%count.11", "guard": null },
     { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
-    { "op": "impact", "guard": "0x01", "inputs": ["0x51", "0x01", "0x01", "0x00", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x51", "0x01", "0x01", "0x02", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
     { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x08", "%count.11"] },
-    { "op": "impact", "guard": "0x01", "inputs": ["0x71", "0x01", "0x01", "0x00", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x71", "0x01", "0x01", "0x02", "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", "0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x03"] },
     { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x02", "0x08", "0x20", "%count.11", "%requestId.0", "%requestId.1"] },
-    { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x04", "0x20", "0x20", "0x20", "0x01", "%signatureResponse.2", "%signatureResponse.3", "%signatureResponse.4", "%signatureResponse.5", "%signatureResponse.6", "%signatureResponse.7", "%signatureResponse.8"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x04", "0x20", "0x20", "0x20", "0x01", "%signatureRespondedEvent.2", "%signatureRespondedEvent.3", "%signatureRespondedEvent.4", "%signatureRespondedEvent.5", "%signatureRespondedEvent.6", "%signatureRespondedEvent.7", "%signatureRespondedEvent.8"] },
     { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
     { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] }
   ]

package/dist/managed/zkir/signBidirectionalEvent.zkir

@@ -0,0 +1,56 @@
+{
+  "version": { "major": 3, "minor": 0 },
+  "do_communications_commitment": true,
+  "inputs": [
+    { "name": "%requestId.0", "type": "Scalar<BLS12-381>" },
+    { "name": "%requestId.1", "type": "Scalar<BLS12-381>" },
+    { "name": "%notification.2", "type": "Scalar<BLS12-381>" },
+    { "name": "%notification.3", "type": "Scalar<BLS12-381>" },
+    { "name": "%notification.4", "type": "Scalar<BLS12-381>" },
+    { "name": "%notification.5", "type": "Scalar<BLS12-381>" },
+    { "name": "%notification.6", "type": "Scalar<BLS12-381>" },
+    { "name": "%notification.7", "type": "Scalar<BLS12-381>" }
+  ],
+  "outputs": [
+    "Scalar<BLS12-381>",
+    "Scalar<BLS12-381>",
+    "Scalar<BLS12-381>"
+  ],
+  "instructions": [
+    { "op": "constrain_bits", "val": "%requestId.0", "bits": 8 },
+    { "op": "constrain_bits", "val": "%requestId.1", "bits": 248 },
+    { "op": "constrain_bits", "val": "%notification.2", "bits": 8 },
+    { "op": "constrain_bits", "val": "%notification.3", "bits": 32 },
+    { "op": "constrain_bits", "val": "%notification.4", "bits": 248 },
+    { "op": "constrain_bits", "val": "%notification.5", "bits": 248 },
+    { "op": "constrain_bits", "val": "%notification.6", "bits": 248 },
+    { "op": "constrain_bits", "val": "%notification.7", "bits": 248 },
+    { "op": "test_eq", "output": "%t.8", "a": "%notification.2", "b": "0x01" },
+    { "op": "assert", "cond": "%t.8" },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.9", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x00"] },
+    { "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.9"] },
+    { "op": "cond_select", "output": "%t.10", "bit": "%t.9", "a": "0x00", "b": "0x01" },
+    { "op": "impact", "guard": "%t.10", "inputs": ["0x70", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "%t.10", "inputs": ["0x10", "0x01", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
+    { "op": "impact", "guard": "%t.10", "inputs": ["0x11", "0x01", "0x01", "0x08", "0x00"] },
+    { "op": "impact", "guard": "%t.10", "inputs": ["0x91"] },
+    { "op": "impact", "guard": "%t.10", "inputs": ["0xa1"] },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.11", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x51", "0x01", "0x01", "0x00", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x08", "%t.11"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x71", "0x01", "0x01", "0x00", "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", "0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x02", "0x08", "0x20", "%t.11", "%requestId.0", "%requestId.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x02", "0x01", "0x80", "%notification.2", "%notification.3", "%notification.4", "%notification.5", "%notification.6", "%notification.7"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] },
+    { "op": "output", "vals": ["%t.11", "%requestId.0", "%requestId.1"] }
+  ]
+}

package/dist/witnesses.js

@@ -1,5 +1,5 @@
-// The signet contract has no witnesses: attestation verification is
-// CompactStandardLibrary's `secp256k1EcdsaVerify` (fully in-circuit), and
+// The signet contract has no witnesses: Schnorr verification is
+// CompactStandardLibrary's `jubjubSchnorrVerify` (fully in-circuit), and
 // there is no private state — posting carries no caller secrets.
 /**
  * Build the contract's (empty) private state.

package/dist/witnesses.js.map

@@ -1 +1 @@
-{"version":3,"file":"witnesses.js","sourceRoot":"","sources":["../src/witnesses.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,0EAA0E;AAC1E,iEAAiE;AAOjE;;;;GAIG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAC3C,GAA+B,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAEzC;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAA0C,EAAE,CAAC"}
+{"version":3,"file":"witnesses.js","sourceRoot":"","sources":["../src/witnesses.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,yEAAyE;AACzE,iEAAiE;AAOjE;;;;GAIG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAC3C,GAA+B,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAEzC;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAA0C,EAAE,CAAC"}

package/package.json

@@ -1,13 +1,13 @@
 {
   "name": "@sig-net/midnight-contract",
-  "version": "0.0.6",
+  "version": "0.0.8",
   "repository": {
     "type": "git",
     "url": "https://github.com/sig-net/midnight-integration",
     "directory": "packages/signet-contract"
   },
   "type": "module",
-  "description": "The central signet Compact contract on Midnight: the MPC posts signature responses (unauthenticated counted log, verified off-chain) and remote execution responses (secp256k1 ECDSA attestations, verified in-circuit at post time) here; clients poll it. src/index.ts is the curated export surface.",
+  "description": "The central signet Compact contract on Midnight: the MPC posts signature responses (unauthenticated counted log, verified off-chain) and remote execution responses (Schnorr attestations, verified in-circuit at post time) here; clients poll it. src/index.ts is the curated export surface.",
   "exports": {
     ".": {
       "types": "./dist/index.d.ts",
@@ -42,7 +42,7 @@
     "@midnight-ntwrk/midnight-js": "5.0.0-beta.4"
   },
   "devDependencies": {
-    "@sig-net/midnight": "*",
+    "@sig-net/midnight": "^0.0.8",
     "@types/node": "^26.1.0",
     "typescript": "^6.0.3",
     "vitest": "^4.1.9"

package/dist/managed/zkir/notifyBidirectionalSignatureRequest.zkir

@@ -1,27 +0,0 @@
-{
-  "version": { "major": 3, "minor": 0 },
-  "do_communications_commitment": true,
-  "inputs": [
-    { "name": "%requestId.0", "type": "Scalar<BLS12-381>" },
-    { "name": "%requestId.1", "type": "Scalar<BLS12-381>" },
-    { "name": "%notification.2", "type": "Scalar<BLS12-381>" },
-    { "name": "%notification.3", "type": "Scalar<BLS12-381>" },
-    { "name": "%notification.4", "type": "Scalar<BLS12-381>" },
-    { "name": "%notification.5", "type": "Scalar<BLS12-381>" }
-  ],
-  "outputs": [
-  ],
-  "instructions": [
-    { "op": "constrain_bits", "val": "%requestId.0", "bits": 8 },
-    { "op": "constrain_bits", "val": "%requestId.1", "bits": 248 },
-    { "op": "constrain_bits", "val": "%notification.2", "bits": 8 },
-    { "op": "constrain_bits", "val": "%notification.3", "bits": 24 },
-    { "op": "constrain_bits", "val": "%notification.4", "bits": 248 },
-    { "op": "constrain_bits", "val": "%notification.5", "bits": 248 },
-    { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x04"] },
-    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
-    { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x02", "0x01", "0x41", "%notification.2", "%notification.3", "%notification.4", "%notification.5"] },
-    { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
-    { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] }
-  ]
-}