@odatano/contract-m402-vault 0.0.0-stage → 0.2.0

package/managed/m402-vault/contract/index.js.map

@@ -0,0 +1,8 @@
+{
+  "version": 3,
+  "file": "index.js",
+  "sourceRoot": "../../../",
+  "sources": ["src/m402-vault.compact", "compiler/standard-library.compact", "compiler/zkir-v3-library.compact"],
+  "names": [],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKA;;;;;;;;;;MAcA,MAAA,WAEC;;OAAA;MAID,MAAA,aAIC;;OAAA;MAID,MAAA,eAQC;;OAAA;MAED,AAAA,eAWC;;;;;cAX8B,MAAe;cAAE,OAAe;cAAE,OAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCAAlD,MAAe,+BAAE,OAAe,+BAAE,OAAgB;;;;;;;;;uDAAlD,MAAe;uDAAE,OAAe;uDAAE,OAAgB;;;;OAWhF;MAID,AAAA,OAkBC;;;;;cAlBsB,QAAgB;cAAE,WAAoB;;;;;;;;;;;;;;;;;;;;;;;;;yCAAtC,QAAgB,+BAAE,WAAoB;;;;;;;;;+CAAtC,QAAgB;+CAAE,WAAoB;;;;OAkB5D;MAID,AAAA,GAmBC;;;;;cAnBkB,WAAoB;cAAE,QAAwB;cAAE,eAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCAAxE,WAAoB,+BAAE,QAAwB,+BAAE,eAAwB;;;;;;;;;2CAAxE,WAAoB;2CAAE,QAAwB;2CAAE,eAAwB;;;;OAmB1F;MAID,AAAA,MAYC;;;;;cAZqB,WAAoB;cAAE,QAAwB;;;;;;;;;;;;;;;;;;;;;;;;;yCAA9C,WAAoB,+BAAE,QAAwB;;;;;;;;;8CAA9C,WAAoB;8CAAE,QAAwB;;;;OAYnE;MAED,AAAA,QAmBC;;;;;cAnBuB,WAAoB;cAAE,QAAgB;;;;;;;;;;;;;;;;;;;;;;;;;yCAAtC,WAAoB,+BAAE,QAAgB;;;;;;;;;gDAAtC,WAAoB;gDAAE,QAAgB;;;;OAmB7D;;;;;;;;;;;;;;;;GACA;EApID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAIA;;;;;;;;;;yEAAwD;IACxD;;;;;;;;;;yEAAyD;IACzD;;;;;;;;;;yEAA8C;IAC9C;;;;;;;;;;yEAAwD;IACxD;;;;;;;;;yEAAuC;;;;;;;GA4HtC;EClHD,AAAA,QAAuB,0CACkB;EAGzC,AAAA;;;;;EAUA,AAAA,QAA0B;kCACkB;;EAD5C,AAAA,QAA0B;kCACkB;;EAG5C,AAAA,SAA2B;yEACqC;;EADhE,AAAA,SAA2B;yEACqC;;EAsEhE,AAAA;;;EAKA,AAAA,aAAyB,cAAuB;qCACC,cAAY;;;EAG7D,AAAA;;6BACE;6BACA;6BACA;6BACA;;UAEM,kBAAiC;;yCAAwB;iEAAY;;;;;;;;;;;;4BAAuB;IAClG;;;;;;;;;;;2HAAoB;;;;;;2HAAY;;;;;;;;;;;;;yDACd,QAAM;UAClB,8BAAoB,QAAM;IAChC;;;;;;;;;;;2HAA2B;;;;;;SAEtB;;sBAAqB;8CAAyB;;;;;;;;;;;;;MACjD;;;;;;;;;;;6HAA6B;;;;;;;WAExB;;EAGT,AAAA,eAA2B,SAAkB;;;;;;+DAGzC;0FACmB;;EAQvB,AAAA,oDAA+B;UACvB,oDAAuD;;;;;;;;;;;;yDAC3C,QAAM;UACxB,+BAA4C,QAAM;IAAlD;;;;;;;;;;;2HAAA;;;;;;;;EAGF,AAAA,iDACE,SACA,aACA;;UAEM,qCAAW;;;;;;;;;;;;wDACA;UACjB,4DAA+D;wCAAQ;IAAvE;;;;;;;;;;;2HAAA;;;;;;QACe;UAAT,kBAAS;+CAAA,OAAc;;uBAAd,MAAc;UACvB;;;;;;wGACoI;8BAClH;8BACA;yDAEN,UAAQ;UAC1B,+BAA0C,UAAQ;IAAlD;;;;;;;;;;;2HAAA;;;;;;SAGK;;sBAAqB,yBAAyB;;YACjD,+BAA4C,UAAQ;MAApD;;;;;;;;;;;6HAAA;;;;;;;QAGE;6CACiE;;YAE7D;;;;;;8GAC0I;oCACpH;oCACA;;;gCAEV;8CAAuD;YACnE,8BAAoB;wDAAuD;MACjF;;;;;;;;;;;6HAA2B;;;;;;MAC3B;;;;;;;;;;;6HAA6B;;;;;;oCAC6B,qBAAmB;;;EAIjF,AAAA;;iCACE;iCACA;iCACA;;;;kEAEwC;sCAAQ;sCAAQ;;EAgC1D,AAAA,yBAA8B;oBACI,qBAAmB,qBAAmB;;EAGxE,AAAA,uBAA4B;oBACe;oBAAmB;oBAAmB;;;EAWjF,AAAA,kBACE,QACA;;;0CAKU;8CACI;;sCACJ;sCAAoB;sCAAuB;;EAIvD,AAAA,iBACE,QACA;;;0CAKU;;0CAEA;;EA0CZ,AAAA;;0BAA8B;0BAAkB;0BAAmB;;UACjE,qBAAuD;IAAvD;;;;;;;;;;;4HAAA;;;;;;2HAA+D;;;;;;;;;;;;;UAC/D,qBAA2D;IAA3D;;;;;;;;;;;;8HAAA;;8HAAmE;;;;;;;2HAAW;;;;;;;;;;;;;QAE1E;;sBAAqB;8CAAwB;;;;;;;;;;;;;YAC/C,qBAAsD;MAAtD;;;;;;;;;;;8HAAA;;;;;;6HAA8D;;;;;;;;;;;;;;;;EAIlE,AAAA,sDAAiC,SAAkB;UACjD,qBAAsD;IAAtD;;;;;;;;;;;4HAAA;;;;;;2HAA8D;;;;;;;;;;;;;;;EClUhE,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,oBAAA,SAAA;;uDAAA;uDAAA;;;EAAA,AAAA,sBAAA;yDAAA;;;EAAA,AAAA,wBAAA;2DAAA;;;EAAA,AAAA;;;;;;;;EAAA,AAAA,+CAAA;gEAAA;;;;;;;EAAA,AAAA,gDAAA,QAAA;;wDAAA;wDAAA;;;;;;;EFeA,AAAA,eAA4E;;GAAA;EAI5E,AAAA,cAEC,CAF+B,MAAqB;qDAClB,MAAI;GACtC;EAID,AAAA,gBAIC,CAJiC,QAAiB,EAAE,WAAoB;;mCAExC,QAAM;mCAAE,WAAS;GAEjD;EAID,AAAA,kBAQC,CAPC,OAAgB,EAChB,MAAe,EACf,OAAe;;mCAGY,OAAK;mCAAE,MAAI;;yEAAE,OAAK;;GAE9C;EAED,AAAA,wBAWC,4BAX8B,MAAe,EAAE,OAAe,EAAE,OAAgB;;4BACxE,OAAK;2CACL,OAAK;;;UAEN,WAA6E,2BAAxC,OAAK,EAAY,MAAI,EAAY,OAAK;qDAEzE;;;;;;;;;;;4KAAoB,WAAS;;;;0HAAjB;;qDACZ;;;;;;;;;;;4KAAoB,WAAS;;;;0HAAjB;;IAEpB;;;;;;;;;;2HAAoB,WAAS;;;2HAAW,OAAK;;;wEAAjC;IACZ;;;;;;;;;;2HAAoB,WAAS;;;2HAAW,OAAK;;;wEAAjC;;GACb;EAID,AAAA,gBAkBC,4BAlBsB,QAAgB,EAAE,WAAoB;4BACpD,QAAM;;;;oCAC6B,QAAM;UAE1C,OAA0E;;;;;mEAA7C;;;;;;;;;;;wIAAW;wCAAuB,WAAS;UACxE,MAKL;;;mDAHU,QAAM;mDACf,OAAK;yFACsC;;;;;;;;;;;8JAAM;;;wCAIjD,MAAI;;;wCAEJ,MAAI;UAEN,KAAW;IAAX;;;;;;;;;;6FAAA,KAAW;;;;wEAAA;;GACZ;EAID,AAAA,YAmBC,4BAnBkB,WAAoB,EAAE,QAAwB,EAAE,eAAwB;;UACnF,KAAyB,GAAV,WAAS;oDACvB;;;;;;;;;;;2KAAoB,KAAG;;;;yHAAX;;UACb,OAAgC,2BAAxB;;;;;;;;;;;;;;uIAAoB,KAAG;;;iHAAX;0CAGnB,QAAM;;oFAAoC;;;;;;;;;;;yJAAM;;4BAEhD,QAAM,WAAU,OAAK;UAEtB,SAA2C,yBAAnB,eAAa,EAAE,KAAG;qDACxC;;;;;;;;;;;4KAAyB,SAAO;;;;0HAAxB;;6DAES,QAAM;IAC/B;;;;;;;;;;2HAAyB,SAAO;;;;;wEAAxB;UAEF,OAAgC,2BAAxB;;;;;;;;;;;;;;uIAAoB,KAAG;;;iHAAX;UACpB,OAAqF,2BAA7E;;;;;;;;;;;mKAAuB,OAAK;;;;iHAAb;;4CAAiB;;;;;;;;;;;;;;uIAAuB,OAAK;;;iHAAb;;;UAC7D,KAAe;;;;;qBAAgB,OAAK,GAAG,OAAK;IAA5C;;;;;;;;;;2HAAuB,OAAK;;;2HAA5B,KAAe;;;wEAAA;;GAChB;EAID,AAAA,eAYC,4BAZqB,WAAoB,EAAE,QAAwB;2CAC3D,WAAS;;;0CAET,QAAM;;oFAAoC;;;;;;;;;;;yJAAM;;QAChD,GAAgB;mCAAhB,QAAM,QAAN,GAAgB;;6DAEE,QAAM;;;;iCAGpB,QAAM;wDACmD,WAAS;;GAE9E;EAED,AAAA,iBAmBC,4BAnBuB,WAAoB,EAAE,QAAgB;UACtD,KAAyB,GAAV,WAAS;4BAEvB,QAAM;oDACN;;;;;;;;;;;2KAAoB,KAAG;;;;yHAAX;;UACb,OAAgC,2BAAxB;;;;;;;;;;;;;;uIAAoB,KAAG;;;iHAAX;oDAEnB;;;;;;;;;;;2KAAuB,OAAK;;;;yHAAb;;UAChB,SAAuC,2BAA7B;;;;;;;;;;;;;;yIAAuB,OAAK;;;mHAAb;4BACxB,SAAO,IAAa,QAAM;;;;iCAKtB,QAAM;wDAC0C,OAAK;QAGjC,GAA0B;UAAzD,KAAe,UAAmC,QAAM;4CAAzB,SAAO,IAAP,GAA0B;;oBAA1B,SAAO,GAAP,GAA0B;IAAzD;;;;;;;;;;2HAAuB,OAAK;;;2HAA5B,KAAe;;;wEAAA;;GAChB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA/HD;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAwD;;;;;;uCAAxD;;;;;;;;;;;;4GAAwD;;;;;;;;;;;;;;uCAAxD;;;;;;;;;;;;;;;4GAAwD;;;;;;;;;;;;;;uCAAxD;;;;;;;;;;;;;;;;;4GAAwD;;;;;;;;;KAAA;IACxD;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAyD;;;;;;uCAAzD;;;;;;;;;;;;4GAAyD;;;;;;;;;;;;;;uCAAzD;;;;;;;;;;;;;;;4GAAyD;;;;;;;;;;;;;;uCAAzD;;;;;;;;;;;;;;;;;4GAAyD;;;;;;;;;KAAA;IACzD;;;;;uCAAA;;;;;;;;;;;;;;;;4GAA8C;;;;;;uCAA9C;;;;;;;;;;;;4GAA8C;;;;;;;;;;;;;;uCAA9C;;;;;;;;;;;;;;;4GAA8C;;;;;;;;;KAAA;IAC9C;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAwD;;;;;;uCAAxD;;;;;;;;;;;;4GAAwD;;;;;;;;;;;;;;uCAAxD;;;;;;;;;;;;;;;4GAAwD;;;;;;;;;;;;;;uCAAxD;;;;;;;;;;;;;;;;;4GAAwD;;;;;;;;;KAAA;IACxD;qCAAA;;;;;;;;;;;0GAAuC;KAAA;;;;;;;;EAMvC,AAAA,WAEC;;;;UAF+B,MAAqB;;;;;;;;yCAArB,MAAqB;GAEpD;EAID,AAAA,aAIC;;;;UAJiC,QAAiB;UAAE,WAAoB;;;;;;;;;;;;;;;2CAAvC,QAAiB,EAAE,WAAoB;GAIxE;EAID,AAAA,eAQC;;;;UAPC,OAAgB;UAChB,MAAe;UACf,OAAe;;;;;;;;;;;;;;;;;;;;;;6CAFf,OAAgB,EAChB,MAAe,EACf,OAAe;GAKhB;;;;;;;;;;;;;;;;;;;;;;;"
+}

package/managed/m402-vault/keys/manifest.json

@@ -0,0 +1,69 @@
+{
+  "version": 1,
+  "prover": {
+    "deposit": {
+      "sha256": "bca2ad3af05f78dd3712d090834f2338ba0905eacc4779aa8658003106727105",
+      "bytes": 45096467
+    },
+    "pay": {
+      "sha256": "4e8f69ab82df340affba2fbf1902812fba60f23e91cbfe2d055bf8d229f42a17",
+      "bytes": 22551479
+    },
+    "redeem": {
+      "sha256": "52b9e5d5cd97303e18d16c921a0d62c76a4f99fda04a415e8d8bc9d675b5eccc",
+      "bytes": 22550857
+    },
+    "registerService": {
+      "sha256": "cc451a10c478a0f792a0d5208be652f25edbf24757d9cc7b7b8f3486bc115fba",
+      "bytes": 11277741
+    },
+    "withdraw": {
+      "sha256": "df53c55573b8ed08ac9efbe9d251ed632395f344d9dd90681863b170c904f9c7",
+      "bytes": 447074
+    }
+  },
+  "verifier": {
+    "deposit": {
+      "sha256": "3967aa980c22fa7db0111c36ab0580752d1c27d242cbef9461fea2b2c0562566",
+      "bytes": 2121
+    },
+    "pay": {
+      "sha256": "44146e9d3102fc60deb47d61cc44029424f841c589322d9944b866b9e8d44a34",
+      "bytes": 2121
+    },
+    "redeem": {
+      "sha256": "13b94ab51c5988bbfd64c2aabd243da27a3ffffe298aa7041ef957480d2fb915",
+      "bytes": 2121
+    },
+    "registerService": {
+      "sha256": "dece03cc1c292c0d305f9bd23485399c71336c88d74765f1ab1e53ced6905ff8",
+      "bytes": 2121
+    },
+    "withdraw": {
+      "sha256": "a61392d20dae6d8fa2d7faac960b0213b92264c267fbdef1ad3b4415794d12d8",
+      "bytes": 1353
+    }
+  },
+  "zkir": {
+    "deposit": {
+      "sha256": "c6e5dc6d41e7ddeb96bfda38a3541547550dd6df0c8eb94f32480dd0d0dc2b5b",
+      "bytes": 3331
+    },
+    "pay": {
+      "sha256": "97bb250228801e0201a6972cf95ace913acc46a3f8d1f12cc1a3e4a55c3e29d5",
+      "bytes": 2727
+    },
+    "redeem": {
+      "sha256": "dee45be565f8df2ccd11fbfa1eedfe52d60ba3e8b0246ae86e66cc6559e245d7",
+      "bytes": 2105
+    },
+    "registerService": {
+      "sha256": "1673773856c602c25845c5c670d32f83989afc09901126990159960582d125f0",
+      "bytes": 1181
+    },
+    "withdraw": {
+      "sha256": "93f2f14077a37a3adab242263a7bc03a923bfdc9024550bcdd4cd3867cefc6df",
+      "bytes": 1938
+    }
+  }
+}

package/managed/m402-vault/zkir/deposit.zkir

@@ -0,0 +1,126 @@
+{
+  "version": { "major": 3, "minor": 1 },
+  "do_communications_commitment": true,
+  "inputs": [
+    { "name": "%amount.0", "type": "Scalar<BLS12-381>" },
+    { "name": "%nonceSeed.1", "type": "Scalar<BLS12-381>" },
+    { "name": "%nonceSeed.2", "type": "Scalar<BLS12-381>" }
+  ],
+  "outputs": [
+  ],
+  "instructions": [
+    { "op": "constrain_bits", "val": "%amount.0", "bits": 64 },
+    { "op": "constrain_bits", "val": "%nonceSeed.1", "bits": 8 },
+    { "op": "constrain_bits", "val": "%nonceSeed.2", "bits": 248 },
+    { "op": "less_than", "output": "%t.3", "a": "0x00", "b": "%amount.0", "bits": 64 },
+    { "op": "assert", "cond": "%t.3" },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x06"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x03", "0x01", "0x20", "0x20", "0x01", "0x00", "0x00", "0x00", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x10", "%amount.0"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.4", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x04"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x08", "%t.4"] },
+    { "op": "copy", "output": "%index.5", "val": "%t.4" },
+    { "op": "constrain_bits", "val": "%index.5", "bits": 64 },
+    { "op": "copy", "output": "%t.6", "val": "%nonceSeed.2" },
+    { "op": "transient_hash", "output": "%t.7", "inputs": ["0x6d69646e696768743a6b65726e656c3a6e6f6e63655f65766f6c7665", "%index.5", "%t.6"] },
+    { "op": "copy", "output": "%nonce.8", "val": "0x00" },
+    { "op": "div_mod_power_of_two", "outputs": ["%tmp.9", "%nonce.10"], "val": "%t.7", "bits": 248 },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.11", "guard": null },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.12", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%value.11", "%value.12"] },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.13", "guard": null },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.14", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%contractAddress.13", "%contractAddress.14"] },
+    { "op": "persistent_hash", "output": "%bytes.15", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x00", "0x6d69646e696768743a6465726976655f746f6b656e", "0x00", "0x6d3430323a6372656469743a7631", "%contractAddress.13", "%contractAddress.14"] },
+    { "op": "bytes_into_natives", "outputs": ["%t.16", "%t.17"], "bytes": "%bytes.15" },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x04"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "0x00", "0x6d3430323a6372656469743a7631"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x08", "%amount.0"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "persistent_hash", "output": "%bytes.18", "alignment": [{ "tag": "atom", "value": { "length": 21, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 16, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 1, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x6d69646e696768743a7a737761702d63635b76315d", "%nonce.8", "%nonce.10", "%t.17", "%t.16", "%amount.0", "0x00", "%value.11", "%value.12"] },
+    { "op": "bytes_into_natives", "outputs": ["%cm.19", "%cm.20"], "bytes": "%bytes.18" },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x02"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%cm.20", "%cm.19"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "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": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%t.21", "%t.22"] },
+    { "op": "test_eq", "output": "%t.23", "a": "%value.11", "b": "%t.21" },
+    { "op": "test_eq", "output": "%t.24", "a": "%value.12", "b": "%t.22" },
+    { "op": "cond_select", "output": "%t.25", "bit": "%t.23", "a": "%t.24", "b": "0x00" },
+    { "op": "impact", "guard": "%t.25", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "%t.25", "inputs": ["0x80", "0x01", "0x01", "0x01"] },
+    { "op": "impact", "guard": "%t.25", "inputs": ["0x10", "0x01", "0x01", "0x20", "%cm.20", "%cm.19"] },
+    { "op": "impact", "guard": "%t.25", "inputs": ["0x10", "0x00"] },
+    { "op": "impact", "guard": "%t.25", "inputs": ["0xa2"] },
+    { "op": "impact", "guard": "%t.25", "inputs": ["0x40"] },
+    { "op": "private_input", "type": "Scalar<BLS12-381>", "output": "%value.26", "guard": null },
+    { "op": "constrain_bits", "val": "%value.26", "bits": 8 },
+    { "op": "private_input", "type": "Scalar<BLS12-381>", "output": "%value.27", "guard": null },
+    { "op": "constrain_bits", "val": "%value.27", "bits": 248 },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%selfAddr.28", "guard": null },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%selfAddr.29", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%selfAddr.28", "%selfAddr.29"] },
+    { "op": "persistent_hash", "output": "%bytes.30", "alignment": [{ "tag": "atom", "value": { "length": 21, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 16, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 1, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x6d69646e696768743a7a737761702d636e5b76315d", "%nonce.8", "%nonce.10", "%t.17", "%t.16", "%amount.0", "0x00", "%selfAddr.28", "%selfAddr.29"] },
+    { "op": "bytes_into_natives", "outputs": ["%tmp.31", "%tmp.32"], "bytes": "%bytes.30" },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%tmp.32", "%tmp.31"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "copy", "output": "%t.33", "val": "%nonce.10" },
+    { "op": "transient_hash", "output": "%t.34", "inputs": ["0x6d69646e696768743a6b65726e656c3a6e6f6e63655f65766f6c7665", "%t.33"] },
+    { "op": "copy", "output": "%t.35", "val": "0x00" },
+    { "op": "div_mod_power_of_two", "outputs": ["%tmp.36", "%t.37"], "val": "%t.34", "bits": 248 },
+    { "op": "persistent_hash", "output": "%bytes.38", "alignment": [{ "tag": "atom", "value": { "length": 21, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 16, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 1, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x6d69646e696768743a7a737761702d63635b76315d", "%t.35", "%t.37", "%t.17", "%t.16", "%amount.0", "0x01", "%value.26", "%value.27"] },
+    { "op": "bytes_into_natives", "outputs": ["%tmp.39", "%tmp.40"], "bytes": "%bytes.38" },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x02"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%tmp.40", "%tmp.39"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x04"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0e", "0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] }
+  ]
+}

package/managed/m402-vault/zkir/pay.zkir

@@ -0,0 +1,107 @@
+{
+  "version": { "major": 3, "minor": 1 },
+  "do_communications_commitment": true,
+  "inputs": [
+    { "name": "%serviceId.0", "type": "Scalar<BLS12-381>" },
+    { "name": "%serviceId.1", "type": "Scalar<BLS12-381>" },
+    { "name": "%credit.2", "type": "Scalar<BLS12-381>" },
+    { "name": "%credit.3", "type": "Scalar<BLS12-381>" },
+    { "name": "%credit.4", "type": "Scalar<BLS12-381>" },
+    { "name": "%credit.5", "type": "Scalar<BLS12-381>" },
+    { "name": "%credit.6", "type": "Scalar<BLS12-381>" },
+    { "name": "%receiptSecret.7", "type": "Scalar<BLS12-381>" },
+    { "name": "%receiptSecret.8", "type": "Scalar<BLS12-381>" }
+  ],
+  "outputs": [
+  ],
+  "instructions": [
+    { "op": "constrain_bits", "val": "%serviceId.0", "bits": 8 },
+    { "op": "constrain_bits", "val": "%serviceId.1", "bits": 248 },
+    { "op": "constrain_bits", "val": "%credit.2", "bits": 8 },
+    { "op": "constrain_bits", "val": "%credit.3", "bits": 248 },
+    { "op": "constrain_bits", "val": "%credit.4", "bits": 8 },
+    { "op": "constrain_bits", "val": "%credit.5", "bits": 248 },
+    { "op": "constrain_bits", "val": "%credit.6", "bits": 128 },
+    { "op": "constrain_bits", "val": "%receiptSecret.7", "bits": 8 },
+    { "op": "constrain_bits", "val": "%receiptSecret.8", "bits": 248 },
+    { "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", "%serviceId.0", "%serviceId.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x01", "%t.9"] },
+    { "op": "assert", "cond": "%t.9" },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%price.10", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x20", "%serviceId.0", "%serviceId.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0c", "0x01", "0x08", "%price.10"] },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.11", "guard": null },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.12", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%contractAddress.11", "%contractAddress.12"] },
+    { "op": "persistent_hash", "output": "%bytes.13", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x00", "0x6d69646e696768743a6465726976655f746f6b656e", "0x00", "0x6d3430323a6372656469743a7631", "%contractAddress.11", "%contractAddress.12"] },
+    { "op": "bytes_into_natives", "outputs": ["%t.14", "%t.15"], "bytes": "%bytes.13" },
+    { "op": "test_eq", "output": "%t.16", "a": "%credit.4", "b": "%t.15" },
+    { "op": "test_eq", "output": "%t.17", "a": "%credit.5", "b": "%t.14" },
+    { "op": "cond_select", "output": "%t.18", "bit": "%t.16", "a": "%t.17", "b": "0x00" },
+    { "op": "assert", "cond": "%t.18" },
+    { "op": "test_eq", "output": "%t.19", "a": "%credit.6", "b": "%price.10" },
+    { "op": "assert", "cond": "%t.19" },
+    { "op": "persistent_hash", "output": "%bytes.20", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x00", "0x6d3430323a726563656970743a7631", "%receiptSecret.7", "%receiptSecret.8", "%serviceId.0", "%serviceId.1"] },
+    { "op": "bytes_into_natives", "outputs": ["%receipt.21", "%receipt.22"], "bytes": "%bytes.20" },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.23", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x02"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%receipt.22", "%receipt.21"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x01", "%t.23"] },
+    { "op": "cond_select", "output": "%t.24", "bit": "%t.23", "a": "0x00", "b": "0x01" },
+    { "op": "assert", "cond": "%t.24" },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.25", "guard": null },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.26", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%value.25", "%value.26"] },
+    { "op": "persistent_hash", "output": "%bytes.27", "alignment": [{ "tag": "atom", "value": { "length": 21, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 16, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 1, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x6d69646e696768743a7a737761702d63635b76315d", "%credit.2", "%credit.3", "%credit.4", "%credit.5", "%credit.6", "0x00", "%value.25", "%value.26"] },
+    { "op": "bytes_into_natives", "outputs": ["%tmp.28", "%tmp.29"], "bytes": "%bytes.27" },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%tmp.29", "%tmp.28"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x02"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%receipt.22", "%receipt.21"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%owner.30", "guard": null },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%owner.31", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x20", "%serviceId.0", "%serviceId.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0c", "0x01", "0x20", "%owner.30", "%owner.31"] },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.32", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x03"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%owner.30", "%owner.31"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x01", "%t.32"] },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.33", "guard": "%t.32" },
+    { "op": "impact", "guard": "%t.32", "inputs": ["0x30"] },
+    { "op": "impact", "guard": "%t.32", "inputs": ["0x50", "0x01", "0x01", "0x03"] },
+    { "op": "impact", "guard": "%t.32", "inputs": ["0x50", "0x01", "0x20", "%owner.30", "%owner.31"] },
+    { "op": "impact", "guard": "%t.32", "inputs": ["0x0c", "0x01", "0x08", "%t.33"] },
+    { "op": "cond_select", "output": "%prior.34", "bit": "%t.32", "a": "%t.33", "b": "0x00" },
+    { "op": "add", "output": "%t.35", "a": "%prior.34", "b": "%price.10" },
+    { "op": "constrain_bits", "val": "%t.35", "bits": 64 },
+    { "op": "copy", "output": "%tmp.36", "val": "%t.35" },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x03"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%owner.30", "%owner.31"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x01", "0x08", "%tmp.36"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] }
+  ]
+}

package/managed/m402-vault/zkir/redeem.zkir

@@ -0,0 +1,87 @@
+{
+  "version": { "major": 3, "minor": 1 },
+  "do_communications_commitment": true,
+  "inputs": [
+    { "name": "%recipient.0", "type": "Scalar<BLS12-381>" },
+    { "name": "%recipient.1", "type": "Scalar<BLS12-381>" },
+    { "name": "%credit.2", "type": "Scalar<BLS12-381>" },
+    { "name": "%credit.3", "type": "Scalar<BLS12-381>" },
+    { "name": "%credit.4", "type": "Scalar<BLS12-381>" },
+    { "name": "%credit.5", "type": "Scalar<BLS12-381>" },
+    { "name": "%credit.6", "type": "Scalar<BLS12-381>" }
+  ],
+  "outputs": [
+  ],
+  "instructions": [
+    { "op": "constrain_bits", "val": "%recipient.0", "bits": 8 },
+    { "op": "constrain_bits", "val": "%recipient.1", "bits": 248 },
+    { "op": "constrain_bits", "val": "%credit.2", "bits": 8 },
+    { "op": "constrain_bits", "val": "%credit.3", "bits": 248 },
+    { "op": "constrain_bits", "val": "%credit.4", "bits": 8 },
+    { "op": "constrain_bits", "val": "%credit.5", "bits": 248 },
+    { "op": "constrain_bits", "val": "%credit.6", "bits": 128 },
+    { "op": "test_eq", "output": "%t.7", "a": "%recipient.0", "b": "0x00" },
+    { "op": "test_eq", "output": "%t.8", "a": "%recipient.1", "b": "0x00" },
+    { "op": "cond_select", "output": "%t.9", "bit": "%t.7", "a": "%t.8", "b": "0x00" },
+    { "op": "cond_select", "output": "%t.10", "bit": "%t.9", "a": "0x00", "b": "0x01" },
+    { "op": "assert", "cond": "%t.10" },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.11", "guard": null },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.12", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%contractAddress.11", "%contractAddress.12"] },
+    { "op": "persistent_hash", "output": "%bytes.13", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x00", "0x6d69646e696768743a6465726976655f746f6b656e", "0x00", "0x6d3430323a6372656469743a7631", "%contractAddress.11", "%contractAddress.12"] },
+    { "op": "bytes_into_natives", "outputs": ["%t.14", "%t.15"], "bytes": "%bytes.13" },
+    { "op": "test_eq", "output": "%t.16", "a": "%credit.4", "b": "%t.15" },
+    { "op": "test_eq", "output": "%t.17", "a": "%credit.5", "b": "%t.14" },
+    { "op": "cond_select", "output": "%t.18", "bit": "%t.16", "a": "%t.17", "b": "0x00" },
+    { "op": "assert", "cond": "%t.18" },
+    { "op": "less_than", "output": "%t.19", "a": "0x00", "b": "%credit.6", "bits": 128 },
+    { "op": "assert", "cond": "%t.19" },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.20", "guard": null },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.21", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%value.20", "%value.21"] },
+    { "op": "persistent_hash", "output": "%bytes.22", "alignment": [{ "tag": "atom", "value": { "length": 21, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 16, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 1, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x6d69646e696768743a7a737761702d63635b76315d", "%credit.2", "%credit.3", "%credit.4", "%credit.5", "%credit.6", "0x00", "%value.20", "%value.21"] },
+    { "op": "bytes_into_natives", "outputs": ["%tmp.23", "%tmp.24"], "bytes": "%bytes.22" },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%tmp.24", "%tmp.23"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x07"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x03", "0x01", "0x20", "0x20", "0x01", "0x00", "0x00", "0x00", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x10", "%credit.6"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x08"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x06", "0x01", "0x20", "0x20", "0x01", "0x20", "0x20", "0x01", "0x00", "0x00", "0x00", "0x00", "0x00", "0x00", "0x00", "%recipient.0", "%recipient.1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x10", "%credit.6"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x40"] }
+  ]
+}

package/managed/m402-vault/zkir/registerService.zkir

@@ -0,0 +1,56 @@
+{
+  "version": { "major": 3, "minor": 1 },
+  "do_communications_commitment": true,
+  "inputs": [
+    { "name": "%salt.0", "type": "Scalar<BLS12-381>" },
+    { "name": "%salt.1", "type": "Scalar<BLS12-381>" },
+    { "name": "%price.2", "type": "Scalar<BLS12-381>" },
+    { "name": "%owner.3", "type": "Scalar<BLS12-381>" },
+    { "name": "%owner.4", "type": "Scalar<BLS12-381>" }
+  ],
+  "outputs": [
+  ],
+  "instructions": [
+    { "op": "constrain_bits", "val": "%salt.0", "bits": 8 },
+    { "op": "constrain_bits", "val": "%salt.1", "bits": 248 },
+    { "op": "constrain_bits", "val": "%price.2", "bits": 64 },
+    { "op": "constrain_bits", "val": "%owner.3", "bits": 8 },
+    { "op": "constrain_bits", "val": "%owner.4", "bits": 248 },
+    { "op": "less_than", "output": "%t.5", "a": "0x00", "b": "%price.2", "bits": 64 },
+    { "op": "assert", "cond": "%t.5" },
+    { "op": "test_eq", "output": "%t.6", "a": "%owner.3", "b": "0x00" },
+    { "op": "test_eq", "output": "%t.7", "a": "%owner.4", "b": "0x00" },
+    { "op": "cond_select", "output": "%t.8", "bit": "%t.6", "a": "%t.7", "b": "0x00" },
+    { "op": "cond_select", "output": "%t.9", "bit": "%t.8", "a": "0x00", "b": "0x01" },
+    { "op": "assert", "cond": "%t.9" },
+    { "op": "div_mod_power_of_two", "outputs": ["%t.10", "%t.11"], "val": "%price.2", "bits": 248 },
+    { "op": "persistent_hash", "output": "%bytes.12", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x00", "0x6d3430323a7369643a7631", "%owner.3", "%owner.4", "%salt.0", "%salt.1", "%t.10", "%t.11"] },
+    { "op": "bytes_into_natives", "outputs": ["%serviceId.13", "%serviceId.14"], "bytes": "%bytes.12" },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.15", "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", "%serviceId.14", "%serviceId.13"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x01", "%t.15"] },
+    { "op": "cond_select", "output": "%t.16", "bit": "%t.15", "a": "0x00", "b": "0x01" },
+    { "op": "assert", "cond": "%t.16" },
+    { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.17", "guard": null },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%serviceId.14", "%serviceId.13"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x01", "%t.17"] },
+    { "op": "cond_select", "output": "%t.18", "bit": "%t.17", "a": "0x00", "b": "0x01" },
+    { "op": "assert", "cond": "%t.18" },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x00"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%serviceId.14", "%serviceId.13"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x01", "0x08", "%price.2"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x01"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%serviceId.14", "%serviceId.13"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x01", "0x20", "%owner.3", "%owner.4"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
+    { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] }
+  ]
+}