@midnight-ntwrk/midnight-did-contract 0.5.0-rc1

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

@@ -0,0 +1,8 @@
+{
+  "version": 3,
+  "file": "index.js",
+  "sourceRoot": "../../../../",
+  "sources": ["src/did.compact", "compiler/standard-library.compact", "src/../../jubjub-schnorr/src/schnorr.compact"],
+  "names": [],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgNA;;;;;;;;;;;;;;;;;;;MAYA,AAAA,mBAOC;;;;;cAPkC,wBAAiC;;;;;;;;;;;;;;;;;;0CAAjC,wBAAiC;;;;;;;;;qDAAjC,wBAAiC;;;OAOnE;MAED,AAAA,cAcC;;;;;cAd6B,OAAuB;cAAE,UAAqB;;;;;;;;;;;;;;;;;;yCAA9C,OAAuB,+BAAE,UAAqB;;;;;;;;;gDAA9C,OAAuB;gDAAE,UAAqB;;;OAc3E;MAED,AAAA,qBAkBC;;;;;cAjBC,oBAAsC;cACtC,UAAqB;;;;;;;;;;;;;;;;;;;;;;;;;0CADrB,oBAAsC,+BACtC,UAAqB;;;;;;;;;uDADrB,oBAAsC;uDACtC,UAAqB;;;OAgBtB;MAED,AAAA,wBAQC;;;;;cARuC,IAAoB;;;;;;;;;;;yCAApB,IAAoB;;;;;;;;;0DAApB,IAAoB;;;OAQ3D;MAED,AAAA,kCAiBC;;;;;cAhBC,oBAAmD;cACnD,UAAqB;;;;;;;;;;;;;;;;;;;;;;;;;yCADrB,oBAAmD,+BACnD,UAAqB;;;;;;;;;oEADrB,oBAAmD;oEACnD,UAAqB;;;OAetB;MAED,AAAA,qCAQC;;;;;cARoD,IAAoB;;;;;;;;;;;yCAApB,IAAoB;;;;;;;;;uEAApB,IAAoB;;;OAQxE;MAID,AAAA,kCAUC;;;;;cATC,UAA0B;cAC1B,QAAwB;cACxB,WAAmC;;;;;;;;;;;;;;;;;;;;;;;;;yCAFnC,UAA0B,+BAC1B,QAAwB,gCACxB,WAAmC;;;;;;;;;oEAFnC,UAA0B;oEAC1B,QAAwB;oEACxB,WAAmC;;;OAOpC;MAED,AAAA,6BAsBC;;;;;cArBC,UAAoC;cACpC,UAA0B;cAC1B,UAAqB;;;;;;;;;;;;;;;;;;;;;;;;;yCAFrB,UAAoC,+BACpC,UAA0B,+BAC1B,UAAqB;;;;;;;;;+DAFrB,UAAoC;+DACpC,UAA0B;+DAC1B,UAAqB;;;OAmBtB;MAED,AAAA,UAcC;;;;;cAdyB,SAAgB;cAAE,UAAqB;;;;;;;;;;;;;;;;;;;;;;;;;yCAAvC,SAAgB,+BAAE,UAAqB;;;;;;;;;4CAAvC,SAAgB;4CAAE,UAAqB;;;OAchE;MAED,AAAA,aAOC;;;;;cAP4B,IAAoB;;;;;;;;;;;yCAApB,IAAoB;;;;;;;0EAApB,IAAoB;;;OAOhD;MAED,AAAA,UAOC;;;;;;;;;;;;;;;;;;;;;;OAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA5JA;EAVD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAzLA;;;;;;;;;;;;;;;;wEAAwC;IACxC;;;;;;;;;;;;;;;;wEAA6C;IAC7C;;;;;;;;;;;;;;;;wEAAkC;IAClC;;;;;;;;;;;;;;;;;wEAAiD;IACjD;;;;;;;;;;;;;;;;wEAA+B;IAC/B;;;;;;;;;;;;;;;;wEAAgC;IAChC;;;;;;;;;;;;;;;;wEAAgC;IAChC;;;;;;;;;;;;;;;;wEAAmC;IACnC;;;;;;;;;;;;;;;;wEAA8B;IAC9B;;;;;;;;;;;;;;;;wEAAsC;IACtC;;;;;;;;;;;;;;;;;wEAA6E;IAC7E;;;;;;;;;;;;;;;;;wEAAuG;IACvG;;;;;;;;;;;;;;;;;wEAA4D;IAC5D;;;;;;;;;;;;;;;;;wEAA6D;IAC7D;;;;;;;;;;;;;;;;;wEAA0D;IAC1D;;;;;;;;;;;;;;;;;wEAAkE;IAClE;;;;;;;;;;;;;;;;;wEAAkE;IAClE;;;;;;;;;;;;;;;;;wEAAuD;UAyKrD,KAAe;IAAf;;;;;;;;;;;;;4HAAA,KAAe;;;wEAAA;UACf,KAAE,4BAAG;;;;;;;;;;;gHAAM;IAAX;;;;;;;;;;;;;4HAAA,KAAE;;;wEAAA;IACF;;;;;;;;;;;;;;;;wEAAM;IACN;;;;;;;;;;;;;;;;wEAAW;UACX,KAAmB;;IAAnB;;;;;;;;;;;;;4HAAA,KAAmB;;;wEAAA;UAEb,WAAwC;IAC9C;;;;;;;;;;;;;4HAAU,WAAS;;;wEAAZ;IACP;;;;;;;;;;;;;4HAAU,WAAS;;;wEAAZ;;;;;;;GACR;EC1ND,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,gBAAA;mDAAA;;;EAAA,AAAA,gBAAA;mDAAA;;;EAAA,AAAA,SAAA,KAAA;4CAAA,KAAA;;;EAAA,AAAA,SAAA,KAAA;4CAAA,KAAA;;;EAAA,AAAA,kBAAA;qDAAA;;;EC+BE,AAAA,sBAAwE,4BAA5C,eAAoB;;0DAAhD,mBAAwE;8EAA5C,eAAoB;;;;;;;;;;;;;;GAAwB;EAExE,AAAA,gBAiCC,4BAhCC,KAAqB,EACrB,WAA2B,EAC3B,IAAe;UAET,wBAAsC,GAAT,WAAS;UAAtC,cAA0B,GAA1B,wBAA0B;UAA1B,UAA0B,GAA1B,wBAA0B;UAC1B,OAQL;mEANuB,cAAY;;mEACZ,cAAY;uEACb,IAAE;uEACF,IAAE;iDAChB,KAAG;UAIN,SACgF;UAChF,wBAA4C;;iEAAN,OAAK;UAA3C,GAAe,GAAf,wBAAe;UAAf,YAAe,GAAf,wBAAe;QACd,GAAiB;mCAAR,GAAC,EAAV,GAAiB;;gFAEb,GAAC;gFAAI,SAAO;sDAAa,YAAU;;4BAAe,OAAK;;UAI5D,GAAwC,GAApB,YAAU;UAC9B,KAA2C,0BAAT,UAAQ;UAC1C,KAAoD,iBAA3B,cAAY,gBAAQ,IAAE,EAAE,GAAC;iDAEzC,KAAG;;iDAAkB,KAAG;;iDACtB,KAAG;;iDAAkB,KAAG;;;GAG1C;EAED,AAAA,sBAMC,4BALC,QAAwB,EACxB,WAA2B,EAC3B,IAAe;;qDAEE,QAAM,EAAE,WAAS,EAAE,IAAE;;GACvC;EF/BH,AAAA,iBAAoC;;0DAApC,cAAoC;;;;;;;;;;;;;;GAAA;EACpC,AAAA,mBAAqC;;0DAArC,gBAAqC;;;;;;;;;;;;;;GAAA;EA6DrC,AAAA,2BAEC,4BAFgC,IAAoB;mCAC5C;;;;;;;;;;;;;;0JAA2B,IAAE;;;;wGAAV;;mCAAe;;;;;;;;;;;;;;0JAAwC,IAAE;;;;wGAAV;GAC1E;EAED,AAAA,gBAEC,CAFqB,IAAa;;mCAC0C,IAAE;GAC9E;EAED,AAAA,mBAEC;;;mEAD2C;;;;;;;;;;;;;;wIAAmB;;;GAC9D;EAED,AAAA,4BAGC;;oDADQ;;;;;;;;;;;;;;yHAAM;;;GACd;EAED,AAAA,eAIC;UAHC,KAAc;IAAd;;;;;;;;;;;;;8FAAA,KAAc;;;;wEAAA;UACd,KAAO;IAAP;;;;;;;;;;;;;8FAAA,KAAO;;;;wEAAA;UACP,KAAO;IAAP;;;;;;;;;;;;;4HAAA,KAAO;;;wEAAA;;GACR;EAED,AAAA,2BAEC,CAFgC,UAAqB;4BAC7C,UAAQ,UAA0B,UAAQ;;;GAClD;EAED,AAAA,2BAEC,CAFgC,UAAqB;4BAC7C,UAAQ,UAA0B,UAAQ;;;GAClD;EAED,AAAA,oCASC,CATyC,oBAAsC;4BACvE,oBAAkB;;QACrB,oBAAkB;8BACb,oBAAkB;;8BAA0C,oBAAkB;;8BAAyC,oBAAkB;;8BAA6C,oBAAkB;;;UACtM,oBAAkB;gCACpB,oBAAkB;;gCAAuC,oBAAkB;;;;;;;;GAIrF;EAED,AAAA,mCAgBC;;sCAfC,UAAoC;sCACpC,UAA0B;;QAEtB,UAAQ;qCACH;;;;;;;;;;;;;;4JAA8B,UAAQ;;;;0GAAhB;;UACpB,UAAQ;uCACV;;;;;;;;;;;;;;8JAA+B,UAAQ;;;;4GAAhB;;YACrB,UAAQ;yCACV;;;;;;;;;;;;;;gKAA4B,UAAQ;;;;8GAAhB;;cAClB,UAAQ;2CACV;;;;;;;;;;;;;;kKAAoC,UAAQ;;;;gHAAhB;;gBAC1B,UAAQ;6CACV;;;;;;;;;;;;;;oKAAoC,UAAQ;;;;kHAAhB;;;;;;;;GAGtC;EAED,AAAA,mCAeC;;sCAdC,UAAoC;sCACpC,UAA0B;;QAEtB,UAAQ;MACV;;;;;;;;;;;;;6HAA8B,UAAQ;;;;;0EAAhB;;UACb,UAAQ;QACjB;;;;;;;;;;;;;+HAA+B,UAAQ;;;;;4EAAhB;;YACd,UAAQ;UACjB;;;;;;;;;;;;;iIAA4B,UAAQ;;;;;8EAAhB;;cACX,UAAQ;YACjB;;;;;;;;;;;;;mIAAoC,UAAQ;;;;;gFAAhB;;gBACnB,UAAQ;cACjB;;;;;;;;;;;;;qIAAoC,UAAQ;;;;;kFAAhB;;;;;;;GAE/B;EAED,AAAA,6CAeC;;gDAdC,UAAoC;gDACpC,UAA0B;;QAEtB,UAAQ;MACV;;;;;;;;;;;;;6HAA8B,UAAQ;;;0EAAhB;;UACb,UAAQ;QACjB;;;;;;;;;;;;;+HAA+B,UAAQ;;;4EAAhB;;YACd,UAAQ;UACjB;;;;;;;;;;;;;iIAA4B,UAAQ;;;8EAAhB;;cACX,UAAQ;YACjB;;;;;;;;;;;;;mIAAoC,UAAQ;;;gFAAhB;;gBACnB,UAAQ;cACjB;;;;;;;;;;;;;qIAAoC,UAAQ;;;kFAAhB;;;;;;;GAE/B;EAED,AAAA,0CAMC,4BAN+C,IAAoB;qDAC1D;;;;;;;;;;;;;;4KAA8B,IAAE;;;;0HAAV;;qDACtB;;;;;;;;;;;;;;4KAA+B,IAAE;;;;0HAAV;;qDACvB;;;;;;;;;;;;;;4KAA4B,IAAE;;;;0HAAV;;qDACpB;;;;;;;;;;;;;;4KAAoC,IAAE;;;;0HAAV;;qDAC5B;;;;;;;;;;;;;;4KAAoC,IAAE;;;;0HAAV;;;GACrC;EAeD,AAAA,sBAOC,4BAPkC,wBAAiC;;UAE5D,iCAAkE,GAAvB,wBAAsB;2CAChE,iCAA+B;oEAAI;;;;;;;;;;;;;;yIAAmB;;IAC7D;;;;;;;;;;;;;4HAAsB,iCAA+B;;;wEAAlC;;;GAGpB;EAED,AAAA,iBAcC,4BAd6B,OAAuB,EAAE,UAAqB;;UAEpE,mBAAsC,GAAT,UAAQ;qCAClB,mBAAiB;UACpC,OAAuB,GAAN,OAAK;QACxB,mBAAiB;uDACX;;;;;;;;;;;;;;8KAAmB,OAAK;;;;4HAAb;;MACnB;;;;;;;;;;;;;6HAAmB,OAAK;;;;;0EAAb;;UACF,mBAAiB;wDACnB;;;;;;;;;;;;;;+KAAmB,OAAK;;;;6HAAb;;QAClB;;;;;;;;;;;;;+HAAmB,OAAK;;;4EAAb;;;;;GAId;EAED,AAAA,wBAkBC;;2BAjBC,oBAAsC;2BACtC,UAAqB;;;UAGf,6BAA0D,GAAnB,oBAAkB;UACzD,mBAAsC,GAAT,UAAQ;qCAClB,mBAAiB;8CACR,6BAA2B;QACzD,mBAAiB;UACZ,KAAmB;uCAAQ,6BAA2B;uDAAtD;;;;;;;;;;;;;;8KAAA,KAAmB;;;;4HAAA;;YAC1B,KAAmB,GAAQ,6BAA2B;MAAtD;;;;;;;;;;;;;6HAAA,KAAmB;;;0EAAA;;UACV,mBAAiB;;;kEACO,6BAA2B;;;;UAE9D,KAAmB,GAAQ,6BAA2B;IAAtD;;;;;;;;;;;;;2HAAA,KAAmB;;;4HAAwC,6BAA2B;;;wEAAnE;;;GAGpB;EAED,AAAA,2BAQC,4BARuC,IAAoB;;UAEpD,aAA0B,GAAH,IAAE;oDACxB;;;;;;;;;;;;;;2KAA2B,aAAW;;;;yHAAnB;;;;oDACc,aAAW;IACnD;;;;;;;;;;;;;2HAA2B,aAAW;;;wEAAnB;;;GAGpB;EAED,AAAA,qCAiBC;;wCAhBC,oBAAmD;wCACnD,UAAqB;;;UAGf,6BAA0D,GAAnB,oBAAkB;UACzD,mBAAsC,GAAT,UAAQ;qCAClB,mBAAiB;QACtC,mBAAiB;UACZ,KAAgC;uCAAQ,6BAA2B;uDAAnE;;;;;;;;;;;;;;8KAAA,KAAgC;;;;4HAAA;;YACvC,KAAgC,GAAQ,6BAA2B;MAAnE;;;;;;;;;;;;;6HAAA,KAAgC;;;0EAAA;;UACvB,mBAAiB;;;kEACO,6BAA2B;;;;UAE9D,KAAgC,GAAQ,6BAA2B;IAAnE;;;;;;;;;;;;;2HAAA,KAAgC;;;2HAAwC,6BAA2B;;;wEAAnE;;;GAGjC;EAED,AAAA,wCAQC,4BARoD,IAAoB;;UAEjE,aAA0B,GAAH,IAAE;oDACxB;;;;;;;;;;;;;;2KAAwC,aAAW;;;;yHAAnB;;;;oDACC,aAAW;IACnD;;;;;;;;;;;;;2HAAwC,aAAW;;;wEAAnB;;;GAGjC;EAID,AAAA,qCAUC;;wCATC,UAA0B;wCAC1B,QAAwB;wCACxB,WAAmC;;oDAE5B;;;;;;;;;;;;;;yHAAM;;UACP,mBAAsC,GAAT,UAAQ;oDACpC;;;;;;;;;;;;;;2KAAwC,mBAAiB;;;;yHAAzB;;UACjC,oBAA+E,2BAA1D;;;;;;;;;;;;;;;;;oJAAwC,mBAAiB;;;8HAAzB;;;gCAC/B,QAAM;gCAAE,WAAS;gCAAE,oBAAkB;;GAClE;EAED,AAAA,gCAsBC;;mCArBC,UAAoC;mCACpC,UAA0B;mCAC1B,UAAqB;;;UAGf,mBAAsC,GAAT,UAAQ;UACrC,mBAAsC,GAAT,UAAQ;UACrC,mBAAsC,GAAT,UAAQ;qCAClB,mBAAiB;;;6DACV,mBAAiB;;4BAC1C,mBAAiB;;UAClB,gBAAuF;;sEAArC,mBAAiB;sEAAE,mBAAiB;QACxF,mBAAiB;+BACX,gBAAc;;;;+CACW,mBAAiB;+CAAE,mBAAiB;;UAC5D,mBAAiB;gCACnB,gBAAc;;;;2DACsB,mBAAiB;2DAAE,mBAAiB;;;;;GAIlF;EAED,AAAA,aAcC,4BAdyB,SAAgB,EAAE,UAAqB;;UAEzD,kBAAoC,GAAR,SAAO;UACnC,mBAAsC,GAAT,UAAQ;qCAClB,mBAAiB;QACtC,mBAAiB;UACZ,KAAQ;uCAAQ,kBAAgB;uDAAhC;;;;;;;;;;;;;;8KAAA,KAAQ;;;;4HAAA;;YACf,KAAQ,GAAQ,kBAAgB;MAAhC;;;;;;;;;;;;;6HAAA,KAAQ;;;0EAAA;;UACC,mBAAiB;YAClB,KAAQ;0CAAQ,kBAAgB;0DAAhC;;;;;;;;;;;;;;iLAAA,KAAQ;;;;+HAAA;;;;UAElB,KAAQ,GAAQ,kBAAgB;IAAhC;;;;;;;;;;;;;2HAAA,KAAQ;;;2HAA6B,kBAAgB;;;wEAA7C;;;GAGT;EAED,AAAA,gBAOC,4BAP4B,IAAoB;;UAEzC,aAA0B,GAAH,IAAE;oDACxB;;;;;;;;;;;;;;2KAAgB,aAAW;;;;yHAAnB;;IACf;;;;;;;;;;;;;2HAAgB,aAAW;;;wEAAnB;;;GAGT;EAED,AAAA,aAOC;;oDALQ;;;;;;;;;;;;;;yHAAM;;IACb;;;;;;;;;;;;;;;;wEAAM;IACN;;;;;;;;;;;;;;;;wEAAW;;;GAGZ;;;;;;;;;;;;;;;;;;;;;;;;IA/VD;sCAAA;;;;;;;;;;;;;;2GAAwC;KAAA;IACxC;sCAAA;;;;;;;;;;;;;;2GAA6C;KAAA;IAC7C;sCAAA;;;;;;;;;;;;;;2GAAkC;KAAA;IAClC;;;;;uCAAA;;;;;;;;;;;;;;;;;;;4GAAiD;;;;;;wCAAjD;;;;;;;;;;;;;;;6GAAiD;;;;;;;uCAAjD;;;;;;;;;;;;;;;;;;4GAAiD;;;;;;;;;KAAA;IACjD;sCAAA;;;;;;;;;;;;;;2GAA+B;KAAA;IAC/B;sCAAA;;;;;;;;;;;;;;2GAAgC;KAAA;IAChC;sCAAA;;;;;;;;;;;;;;2GAAgC;KAAA;IAChC;qCAAA;;;;;;;;;;;;;;0GAAmC;KAAA;IACnC;qCAAA;;;;;;;;;;;;;;0GAA8B;KAAA;IAC9B;sCAAA;;;;;;;;;;;;;;2GAAsC;KAAA;IACtC;;;;;uCAAA;;;;;;;;;;;;;;;;;;;4GAA6E;;;;;;wCAA7E;;;;;;;;;;;;;;;6GAA6E;;;;;;;uCAA7E;;;;;;;;;;;;;;;;;;4GAA6E;;;;;;;wCAA7E;;;;;;;;;;;;;;;;;;;;6GAA6E;;;;;;;;;KAAA;IAC7E;;;;;uCAAA;;;;;;;;;;;;;;;;;;;4GAAuG;;;;;;wCAAvG;;;;;;;;;;;;;;;6GAAuG;;;;;;;uCAAvG;;;;;;;;;;;;;;;;;;4GAAuG;;;;;;;uCAAvG;;;;;;;;;;;;;;;;;;;;4GAAuG;;;;;;;;;KAAA;IACvG;;;;;uCAAA;;;;;;;;;;;;;;;;;;;4GAA4D;;;;;;wCAA5D;;;;;;;;;;;;;;;6GAA4D;;;;;;;uCAA5D;;;;;;;;;;;;;;;;;;4GAA4D;;;;;;;;;KAAA;IAC5D;;;;;uCAAA;;;;;;;;;;;;;;;;;;;4GAA6D;;;;;;wCAA7D;;;;;;;;;;;;;;;6GAA6D;;;;;;;uCAA7D;;;;;;;;;;;;;;;;;;4GAA6D;;;;;;;;;KAAA;IAC7D;;;;;uCAAA;;;;;;;;;;;;;;;;;;;4GAA0D;;;;;;wCAA1D;;;;;;;;;;;;;;;6GAA0D;;;;;;;uCAA1D;;;;;;;;;;;;;;;;;;4GAA0D;;;;;;;;;KAAA;IAC1D;;;;;uCAAA;;;;;;;;;;;;;;;;;;;4GAAkE;;;;;;wCAAlE;;;;;;;;;;;;;;;6GAAkE;;;;;;;uCAAlE;;;;;;;;;;;;;;;;;;4GAAkE;;;;;;;;;KAAA;IAClE;;;;;uCAAA;;;;;;;;;;;;;;;;;;;4GAAkE;;;;;;wCAAlE;;;;;;;;;;;;;;;6GAAkE;;;;;;;uCAAlE;;;;;;;;;;;;;;;;;;4GAAkE;;;;;;;;;KAAA;IAClE;;;;;uCAAA;;;;;;;;;;;;;;;;;;;4GAAuD;;;;;;wCAAvD;;;;;;;;;;;;;;;6GAAuD;;;;;;;uCAAvD;;;;;;;;;;;;;;;;;;4GAAuD;;;;;;;uCAAvD;;;;;;;;;;;;;;;;;;;;4GAAuD;;;;;;;;;KAAA;;;;;;;;;;;;;;"
+}

package/dist/managed/did/zkir/deactivate.zkir

@@ -0,0 +1,162 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 0,
+  "instructions": [
+    { "op": "load_imm", "imm": "01" },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 1, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 2, "bits": 248 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "load_imm", "imm": "6469643A636F6E74726F6C6C65723A706B" },
+    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [3, 4, 1, 2] },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "pi_skip", "guard": 0, "count": 1 },
+    { "op": "load_imm", "imm": "51" },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 0, "count": 7 },
+    { "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": 12 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "pi_skip", "guard": 0, "count": 5 },
+    { "op": "test_eq", "a": 5, "b": 9 },
+    { "op": "test_eq", "a": 6, "b": 10 },
+    { "op": "cond_select", "bit": 13, "a": 14, "b": 3 },
+    { "op": "assert", "cond": 15 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "pi_skip", "guard": 0, "count": 1 },
+    { "op": "load_imm", "imm": "05" },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "pi_skip", "guard": 0, "count": 7 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "pi_skip", "guard": 0, "count": 4 },
+    { "op": "assert", "cond": 17 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 0, "count": 4 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "pi_skip", "guard": 0, "count": 5 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 0, "count": 5 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "pi_skip", "guard": 0, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 0, "count": 1 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 0, "count": 4 },
+    { "op": "load_imm", "imm": "04" },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 23 },
+    { "op": "pi_skip", "guard": 0, "count": 5 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 0, "count": 5 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "pi_skip", "guard": 0, "count": 1 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 0, "count": 1 },
+    { "op": "load_imm", "imm": "71" },
+    { "op": "load_imm", "imm": "06" },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 25 },
+    { "op": "pi_skip", "guard": 0, "count": 7 },
+    { "op": "load_imm", "imm": "0E" },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 0, "count": 2 },
+    { "op": "load_imm", "imm": "A2" },
+    { "op": "declare_pub_input", "var": 27 },
+    { "op": "pi_skip", "guard": 0, "count": 1 },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 0, "count": 7 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 0, "count": 2 },
+    { "op": "declare_pub_input", "var": 27 },
+    { "op": "pi_skip", "guard": 0, "count": 1 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 28, "bits": 64 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 0, "count": 4 },
+    { "op": "load_imm", "imm": "03" },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 29 },
+    { "op": "pi_skip", "guard": 0, "count": 5 },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 30 },
+    { "op": "declare_pub_input", "var": 28 },
+    { "op": "pi_skip", "guard": 0, "count": 5 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "pi_skip", "guard": 0, "count": 1 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 0, "count": 1 }
+  ]
+}

package/dist/managed/did/zkir/removeSchnorrJubjubVerificationMethod.zkir

@@ -0,0 +1,299 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 1,
+  "instructions": [
+    { "op": "load_imm", "imm": "01" },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 2, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 3, "bits": 248 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "load_imm", "imm": "6469643A636F6E74726F6C6C65723A706B" },
+    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [4, 5, 2, 3] },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "load_imm", "imm": "51" },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 1, "count": 7 },
+    { "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": 13 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "pi_skip", "guard": 1, "count": 5 },
+    { "op": "test_eq", "a": 6, "b": 10 },
+    { "op": "test_eq", "a": 7, "b": 11 },
+    { "op": "cond_select", "bit": 14, "a": 15, "b": 4 },
+    { "op": "assert", "cond": 16 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "load_imm", "imm": "05" },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "pi_skip", "guard": 1, "count": 7 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "pi_skip", "guard": 1, "count": 4 },
+    { "op": "assert", "cond": 18 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "pi_skip", "guard": 1, "count": 7 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "-01" },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 1, "count": 5 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 23 },
+    { "op": "pi_skip", "guard": 1, "count": 4 },
+    { "op": "assert", "cond": 23 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "load_imm", "imm": "09" },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 25 },
+    { "op": "pi_skip", "guard": 1, "count": 7 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 1, "count": 5 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "pi_skip", "guard": 1, "count": 4 },
+    { "op": "cond_select", "bit": 26, "a": 4, "b": 1 },
+    { "op": "assert", "cond": 27 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "load_imm", "imm": "0A" },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 28 },
+    { "op": "pi_skip", "guard": 1, "count": 7 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 1, "count": 5 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 29 },
+    { "op": "pi_skip", "guard": 1, "count": 4 },
+    { "op": "cond_select", "bit": 29, "a": 4, "b": 1 },
+    { "op": "assert", "cond": 30 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "load_imm", "imm": "0B" },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "pi_skip", "guard": 1, "count": 7 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 1, "count": 5 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 32 },
+    { "op": "pi_skip", "guard": 1, "count": 4 },
+    { "op": "cond_select", "bit": 32, "a": 4, "b": 1 },
+    { "op": "assert", "cond": 33 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "pi_skip", "guard": 1, "count": 7 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 1, "count": 5 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "pi_skip", "guard": 1, "count": 4 },
+    { "op": "cond_select", "bit": 34, "a": 4, "b": 1 },
+    { "op": "assert", "cond": 35 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "pi_skip", "guard": 1, "count": 7 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 1, "count": 5 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 36 },
+    { "op": "pi_skip", "guard": 1, "count": 4 },
+    { "op": "cond_select", "bit": 36, "a": 4, "b": 1 },
+    { "op": "assert", "cond": 37 },
+    { "op": "load_imm", "imm": "71" },
+    { "op": "declare_pub_input", "var": 38 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "pi_skip", "guard": 1, "count": 7 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 1, "count": 5 },
+    { "op": "load_imm", "imm": "19" },
+    { "op": "declare_pub_input", "var": 39 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "load_imm", "imm": "A2" },
+    { "op": "declare_pub_input", "var": 40 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "load_imm", "imm": "06" },
+    { "op": "declare_pub_input", "var": 38 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 41 },
+    { "op": "pi_skip", "guard": 1, "count": 7 },
+    { "op": "load_imm", "imm": "0E" },
+    { "op": "declare_pub_input", "var": 42 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 1, "count": 2 },
+    { "op": "declare_pub_input", "var": 40 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "declare_pub_input", "var": 38 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 1, "count": 7 },
+    { "op": "declare_pub_input", "var": 42 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 1, "count": 2 },
+    { "op": "declare_pub_input", "var": 40 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 43, "bits": 64 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "declare_pub_input", "var": 44 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 1, "count": 4 },
+    { "op": "load_imm", "imm": "03" },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 45 },
+    { "op": "pi_skip", "guard": 1, "count": 5 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "declare_pub_input", "var": 46 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 43 },
+    { "op": "pi_skip", "guard": 1, "count": 5 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 47 },
+    { "op": "pi_skip", "guard": 1, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 48 },
+    { "op": "pi_skip", "guard": 1, "count": 1 }
+  ]
+}