@sig-net/midnight-contract 0.0.1 → 0.0.3

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

@@ -4,5 +4,5 @@
   "sourceRoot": "../../../",
   "sources": ["src/signet-contract.compact", "compiler/standard-library.compact", "compiler/zkir-v3-library.compact", "../../node_modules/@sig-net/midnight/src/Signet.compact"],
   "names": [],
-  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuBA;;;;;;;;;;MAOA,AAAA,0BAKC;;;;;cALyC,wBAA8C;;;;;;;;;;;;;;;;;;yCAA9C,wBAA8C;;;;;;;;;kEAA9C,wBAA8C;;;;OAKvF;MAQD,AAAA,qBAiCC;;;;;cAjCoC,WAAoB;cAAE,mBAAoC;;;;;;;;;;;;;;;;;;;;;;;;;yCAA1D,WAAoB,gCAAE,mBAAoC;;;;;;;;;6DAA1D,WAAoB;6DAAE,mBAAoC;;;;OAiC9F;MAQD,AAAA,wBAkDC;;;;;cAjDG,WAAoB;cACpB,sBAA0C;;;;;;;;;;;;;;;;;;;;;;;;;yCAD1C,WAAoB,+BACpB,sBAA0C;;;;;;;;;gEAD1C,WAAoB;gEACpB,sBAA0C;;;;OAgD7C;;;;;;;;;;;;GA7GA;EAFD;;;;;UAAY,OAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;IAV9B;;;;;;;;;;yEAA2E;IAE3E;;;;;;;;;;yEAA6D;IAE7D;;;;;;;;;;yEAAmE;IAInE;;;;;;;;;yEAA8C;UAG1C,KAAa,0BAAwC,OAAK;IAA1D;;;;;;;2HAAA,KAAa;;yEAAA;;;;;;;GAChB;ECwVD,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;;;EAAA,AAAA,aAAA;4BAAA;0CAAA;;;;;EAAA,AAAA,aAAA;0CAAA;;gFAAA;;;;;;;EAAA,AAAA,aAAA;0CAAA;;;;;ECgYE,AAAA,2BAgBC,CAfC,WAAoB,EACpB,kBAA4B,EAC5B,WAAkB;UAEZ,KAA4B,GAAtB,WAAS;UACf,SAGJ,kDAF2B,kBAAgB;;oFAC3C,WAAS;;;;+EAGC,KAAG;;;;;;+EACH,KAAG;;;;;;+EACH,SAAO;;;;;;+EACP,SAAO;;;;GAEpB;EHlXH,AAAA,mCAKC;;sCALyC,wBAA8C;;QACpF,GAGE;;;;;;;;;;;wVAD2D,wBAAsB;2VAFnF,GAGE;;2VAHF,GAGE;;;;;;;GACL;EAQD,AAAA,8BAiCC;;iCAjCoC,WAAoB;iCAAE,mBAAoC;;UAErF,oBAAwC,GAAV,WAAS;iCAGxC;;;;;;;;;;;wJAAqC,oBAAkB;;;;sGAA1B;;MAC9B;;;;;;;;;;6HAA4C,oBAAkB;;;;;;0EAAjC;;UAM3B,OAAuE,4BAA/D;;;;;;;;;;;wIAAqC,oBAAkB;;;kHAA1B;UAC3C,KAA6B;IAA7B;;;;;;;;;;+FAAqC,oBAAkB;;;8FAAvD,KAA6B;;;;wEAAA;UAG7B,KAAsB,YAGP,OAAK,aADD,oBAAkB;IAFrC;;;;;;;;;;4HAAA,KAAsB;;;4HAKT,mBAAiB;;;wEALR;QAUtB,GAME;;;;;;;;;;;;4VAHiB,oBAAkB;;4VACtB,OAAK;2VAJpB,GAME;;2VANF,GAME;;;;;;;GACL;EAQD,AAAA,iCAkDC;;oCAjDG,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;;gCAUrB;;;;;;;;;;;uJAAiC,oBAAkB;;;;qGAA1B;;;;MAG7B;;;;;;;;;;6HAAiC,oBAAkB;;;6HAAE,mBAAiB;;;0EAA7C;UAKzB,GAKE;;;;;;;;;;;;8VAFiB,oBAAkB;6VAHrC,GAKE;;6VALF,GAKE;;;;;;;;GACL;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAzHD;;;;;uCAAA;;;;;;;;;;;;;;;;4GAA2E;;;;;;wCAA3E;;;;;;;;;;;;6GAA2E;;;;;;;;;;;;;;uCAA3E;;;;;;;;;;;;;;;4GAA2E;;;;;;;;;;;;;;0EAA3E,KAA2E;;;;;;;;;4CG6TV;;;;;;;;;;;uIH7TjE,KAA2E;;;iHG6TH;;;;KH7TG;IAE3E;;;;;uCAAA;;;;;;;;;;;;;;;;4GAA6D;;;;;;wCAA7D;;;;;;;;;;;;6GAA6D;;;;;;;;;;;;;;uCAA7D;;;;;;;;;;;;;;;4GAA6D;;;;;;;;;;;;;;wCAA7D;;;;;;;;;;;;;;;;;6GAA6D;;;;;;;;;KAAA;IAE7D;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAmE;;;;;;wCAAnE;;;;;;;;;;;;6GAAmE;;;;;;;;;;;;;;uCAAnE;;;;;;;;;;;;;;;4GAAmE;;;;;;;;;;;;;;uCAAnE;;;;;;;;;;;;;;;;;4GAAmE;;;;;;;;;KAAA;IAInE;qCAAA;;;;;;;;;;;0GAA8C;KAAA;;;;;;;;;;;;;;;;"
+  "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;;;;+EAGC,KAAG;;;;;;+EACH,KAAG;;;;;;+EACH,SAAO;;;;;;+EACP,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;;;;;;;;;;;;;;;;"
 }

package/dist/managed/zkir/notifyBidirectionalSignatureRequest.zkir

@@ -0,0 +1,49 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 6,
+  "instructions": [
+    { "op": "constrain_bits", "var": 0, "bits": 8 },
+    { "op": "constrain_bits", "var": 1, "bits": 248 },
+    { "op": "constrain_bits", "var": 2, "bits": 8 },
+    { "op": "constrain_bits", "var": 3, "bits": 24 },
+    { "op": "constrain_bits", "var": 4, "bits": 248 },
+    { "op": "constrain_bits", "var": 5, "bits": 248 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "load_imm", "imm": "04" },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 6, "count": 4 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 6, "count": 6 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "load_imm", "imm": "02" },
+    { "op": "load_imm", "imm": "41" },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "pi_skip", "guard": 6, "count": 9 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "pi_skip", "guard": 6, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 15 },
+    { "op": "pi_skip", "guard": 6, "count": 1 }
+  ]
+}

package/dist/managed/zkir/postRespondBidirectional.zkir

@@ -337,330 +337,6 @@
     { "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": "div_mod_power_of_two", "var": 1, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 401, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 403, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 405, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 407, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 409, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 411, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 413, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 415, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 417, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 419, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 421, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 423, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 425, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 427, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 429, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 431, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 433, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 435, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 437, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 439, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 441, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 443, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 445, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 447, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 449, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 451, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 453, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 455, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 457, "bits": 8 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 0 },
-    { "op": "copy", "var": 461 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 402 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 404 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 406 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 408 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 410 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 412 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 414 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 416 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 418 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 420 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 422 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 424 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 426 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 428 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 430 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 432 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 434 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 436 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 438 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 440 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 442 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 444 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 446 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 448 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 450 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 452 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 454 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 456 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 458 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 460 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 459 },
-    { "op": "reconstitute_field", "divisor": 493, "modulus": 492, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 494, "modulus": 491, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 495, "modulus": 490, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 496, "modulus": 489, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 497, "modulus": 488, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 498, "modulus": 487, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 499, "modulus": 486, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 500, "modulus": 485, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 501, "modulus": 484, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 502, "modulus": 483, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 503, "modulus": 482, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 504, "modulus": 481, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 505, "modulus": 480, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 506, "modulus": 479, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 507, "modulus": 478, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 508, "modulus": 477, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 509, "modulus": 476, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 510, "modulus": 475, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 511, "modulus": 474, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 512, "modulus": 473, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 513, "modulus": 472, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 514, "modulus": 471, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 515, "modulus": 470, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 516, "modulus": 469, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 517, "modulus": 468, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 518, "modulus": 467, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 519, "modulus": 466, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 520, "modulus": 465, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 521, "modulus": 464, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 522, "modulus": 463, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 462, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 524, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 526, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 528, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 530, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 532, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 534, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 536, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 538, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 540, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 542, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 544, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 546, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 548, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 550, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 552, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 554, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 556, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 558, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 560, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 562, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 564, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 566, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 568, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 570, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 572, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 574, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 576, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 578, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 580, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 523, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 584, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 586, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 588, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 590, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 592, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 594, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 596, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 598, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 600, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 602, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 604, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 606, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 608, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 610, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 612, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 614, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 616, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 618, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 620, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 622, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 624, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 626, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 628, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 630, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 632, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 634, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 636, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 638, "bits": 8 },
-    { "op": "div_mod_power_of_two", "var": 640, "bits": 8 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 582 },
-    { "op": "copy", "var": 644 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 642 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 525 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 527 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 529 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 531 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 533 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 535 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 537 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 539 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 541 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 543 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 545 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 547 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 549 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 551 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 553 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 555 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 557 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 559 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 561 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 563 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 565 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 567 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 569 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 571 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 573 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 575 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 577 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 579 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 581 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 583 },
-    { "op": "reconstitute_field", "divisor": 676, "modulus": 675, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 677, "modulus": 674, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 678, "modulus": 673, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 679, "modulus": 672, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 680, "modulus": 671, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 681, "modulus": 670, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 682, "modulus": 669, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 683, "modulus": 668, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 684, "modulus": 667, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 685, "modulus": 666, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 686, "modulus": 665, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 687, "modulus": 664, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 688, "modulus": 663, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 689, "modulus": 662, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 690, "modulus": 661, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 691, "modulus": 660, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 692, "modulus": 659, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 693, "modulus": 658, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 694, "modulus": 657, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 695, "modulus": 656, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 696, "modulus": 655, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 697, "modulus": 654, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 698, "modulus": 653, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 699, "modulus": 652, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 700, "modulus": 651, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 701, "modulus": 650, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 702, "modulus": 649, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 703, "modulus": 648, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 704, "modulus": 647, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 705, "modulus": 646, "bits": 8 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 585 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 587 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 589 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 591 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 593 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 595 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 597 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 599 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 601 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 603 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 605 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 607 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 609 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 611 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 613 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 615 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 617 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 619 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 621 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 623 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 625 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 627 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 629 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 631 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 633 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 635 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 637 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 639 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 641 },
-    { "op": "cond_select", "bit": 364, "a": 25, "b": 643 },
-    { "op": "reconstitute_field", "divisor": 736, "modulus": 735, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 737, "modulus": 734, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 738, "modulus": 733, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 739, "modulus": 732, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 740, "modulus": 731, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 741, "modulus": 730, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 742, "modulus": 729, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 743, "modulus": 728, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 744, "modulus": 727, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 745, "modulus": 726, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 746, "modulus": 725, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 747, "modulus": 724, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 748, "modulus": 723, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 749, "modulus": 722, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 750, "modulus": 721, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 751, "modulus": 720, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 752, "modulus": 719, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 753, "modulus": 718, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 754, "modulus": 717, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 755, "modulus": 716, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 756, "modulus": 715, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 757, "modulus": 714, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 758, "modulus": 713, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 759, "modulus": 712, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 760, "modulus": 711, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 761, "modulus": 710, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 762, "modulus": 709, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 763, "modulus": 708, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 764, "modulus": 707, "bits": 8 },
-    { "op": "reconstitute_field", "divisor": 765, "modulus": 25, "bits": 8 },
-    { "op": "load_imm", "imm": "526573706F6E644269646972656374696F6E616C4576656E74" },
-    { "op": "load_imm", "imm": "33" },
-    { "op": "load_imm", "imm": "04" },
-    { "op": "load_imm", "imm": "0A" },
-    { "op": "load_imm", "imm": "2001" },
-    { "op": "cond_select", "bit": 366, "a": 362, "b": 25 },
-    { "op": "declare_pub_input", "var": 772 },
-    { "op": "cond_select", "bit": 366, "a": 768, "b": 25 },
-    { "op": "declare_pub_input", "var": 773 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "cond_select", "bit": 366, "a": 769, "b": 25 },
-    { "op": "declare_pub_input", "var": 774 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "cond_select", "bit": 366, "a": 770, "b": 25 },
-    { "op": "declare_pub_input", "var": 775 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "declare_pub_input", "var": 366 },
-    { "op": "cond_select", "bit": 366, "a": 771, "b": 25 },
-    { "op": "declare_pub_input", "var": 776 },
-    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
-    { "op": "declare_pub_input", "var": 777 },
-    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
-    { "op": "declare_pub_input", "var": 778 },
-    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
-    { "op": "declare_pub_input", "var": 779 },
-    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
-    { "op": "declare_pub_input", "var": 780 },
-    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
-    { "op": "declare_pub_input", "var": 781 },
-    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
-    { "op": "declare_pub_input", "var": 782 },
-    { "op": "cond_select", "bit": 366, "a": 645, "b": 25 },
-    { "op": "declare_pub_input", "var": 783 },
-    { "op": "cond_select", "bit": 366, "a": 706, "b": 25 },
-    { "op": "declare_pub_input", "var": 784 },
-    { "op": "cond_select", "bit": 366, "a": 766, "b": 25 },
-    { "op": "declare_pub_input", "var": 785 },
-    { "op": "cond_select", "bit": 366, "a": 767, "b": 25 },
-    { "op": "declare_pub_input", "var": 786 },
-    { "op": "pi_skip", "guard": 366, "count": 23 },
-    { "op": "load_imm", "imm": "09" },
-    { "op": "cond_select", "bit": 366, "a": 787, "b": 25 },
-    { "op": "declare_pub_input", "var": 788 },
     { "op": "pi_skip", "guard": 366, "count": 1 }
   ]
 }