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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (26) hide show
  1. package/LICENSE +178 -0
  2. package/NOTICE +9 -0
  3. package/README.md +42 -2
  4. package/contract.json +25 -0
  5. package/managed/m402-vault/compiler/contract-info.json +345 -0
  6. package/managed/m402-vault/contract/index.d.ts +126 -0
  7. package/managed/m402-vault/contract/index.js +2164 -0
  8. package/managed/m402-vault/contract/index.js.map +8 -0
  9. package/managed/m402-vault/keys/deposit.verifier +0 -0
  10. package/managed/m402-vault/keys/manifest.json +69 -0
  11. package/managed/m402-vault/keys/pay.verifier +0 -0
  12. package/managed/m402-vault/keys/redeem.verifier +0 -0
  13. package/managed/m402-vault/keys/registerService.verifier +0 -0
  14. package/managed/m402-vault/keys/withdraw.verifier +0 -0
  15. package/managed/m402-vault/zkir/deposit.bzkir +0 -0
  16. package/managed/m402-vault/zkir/deposit.zkir +334 -0
  17. package/managed/m402-vault/zkir/pay.bzkir +0 -0
  18. package/managed/m402-vault/zkir/pay.zkir +283 -0
  19. package/managed/m402-vault/zkir/redeem.bzkir +0 -0
  20. package/managed/m402-vault/zkir/redeem.zkir +211 -0
  21. package/managed/m402-vault/zkir/registerService.bzkir +0 -0
  22. package/managed/m402-vault/zkir/registerService.zkir +128 -0
  23. package/managed/m402-vault/zkir/withdraw.bzkir +0 -0
  24. package/managed/m402-vault/zkir/withdraw.zkir +263 -0
  25. package/package.json +48 -5
  26. package/src/m402-vault.compact +137 -0
package/managed/m402-vault/contract/index.js.map ADDED
@@ -0,0 +1,8 @@
1
+ {
2
+ "version": 3,
3
+ "file": "index.js",
4
+ "sourceRoot": "../../../",
5
+ "sources": ["src/m402-vault.compact", "compiler/standard-library.compact"],
6
+ "names": [],
7
+ "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKA;;;;;;;;;;MAcA,AAAA,WAEC;;OAAA;MAID,AAAA,aAIC;;OAAA;MAID,AAAA,eAQC;;OAAA;MAED,AAAA,eAWC;;;;;cAX8B,MAAe;cAAE,OAAe;cAAE,OAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCAAlD,MAAe,+BAAE,OAAe,+BAAE,OAAgB;;;;;;;;;iDAAlD,MAAe;iDAAE,OAAe;iDAAE,OAAgB;;;OAWhF;MAID,AAAA,OAkBC;;;;;cAlBsB,QAAgB;cAAE,WAAoB;;;;;;;;;;;;;;;;;;;;;;;;;yCAAtC,QAAgB,+BAAE,WAAoB;;;;;;;;;yCAAtC,QAAgB;yCAAE,WAAoB;;;OAkB5D;MAID,AAAA,GAmBC;;;;;cAnBkB,WAAoB;cAAE,QAAwB;cAAE,eAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCAAxE,WAAoB,+BAAE,QAAwB,+BAAE,eAAwB;;;;;;;;;qCAAxE,WAAoB;qCAAE,QAAwB;qCAAE,eAAwB;;;OAmB1F;MAID,AAAA,MAYC;;;;;cAZqB,WAAoB;cAAE,QAAwB;;;;;;;;;;;;;;;;;;;;;;;;;yCAA9C,WAAoB,+BAAE,QAAwB;;;;;;;;;wCAA9C,WAAoB;wCAAE,QAAwB;;;OAYnE;MAED,AAAA,QAmBC;;;;;cAnBuB,WAAoB;cAAE,QAAgB;;;;;;;;;;;;;;;;;;;;;;;;;yCAAtC,WAAoB,+BAAE,QAAgB;;;;;;;;;0CAAtC,WAAoB;0CAAE,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;;EAyEhE,AAAA;;;EAKA,AAAA,aAAyB,cAAuB;qCACC,cAAY;;;EAG7D,AAAA;;uBACE;uBACA;uBACA;uBACA;;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,8CAA+B;UACvB,oDAAuD;;;;;;;;;;;;yDAC3C,QAAM;UACxB,+BAA4C,QAAM;IAAlD;;;;;;;;;;;2HAAA;;;;;;;;EAGF,AAAA,2CACE,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;;;;;;;sBAGE;6CACiE;;YAE7D;;;;8GAC0I;oCACpH;oCACA;;;gCAEV;8CAAuD;YACnE,8BAAoB;wDAAuD;MACjF;;;;;;;;;;;6HAA2B;;;;;;MAC3B;;;;;;;;;;;6HAA6B;;;;;;oCAC6B,qBAAmB;;;EAIjF,AAAA,oDACE,SACA,UACA;;;;4DAEwC;gCAAQ;gCAAQ;;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;;EAwCZ,AAAA,6CAA8B,SAAkB,UAAmB;UACjE,qBAAuD;IAAvD;;;;;;;;;;;4HAAA;;;;;;2HAA+D;;;;;;;;;;;;;UAC/D,qBAA2D;IAA3D;;;;;;;;;;;;8HAAA;;8HAAmE;;;;;;;2HAAW;;;;;;;;;;;;;QAE1E;;sBAAqB;8CAAwB;;;;;;;;;;;;;YAC/C,qBAAsD;MAAtD;;;;;;;;;;;8HAAA;;;;;;6HAA8D;;;;;;;;;;;;;;;;EAIlE,AAAA,gDAAiC,SAAkB;UACjD,qBAAsD;IAAtD;;;;;;;;;;;4HAAA;;;;;;2HAA8D;;;;;;;;;;;;;;;EAnUhE,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;;;;;;;EDeA,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;;wEAAE,OAAK;;GAE9C;EAED,AAAA,kBAWC,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,UAkBC,4BAlBsB,QAAgB,EAAE,WAAoB;4BACpD,QAAM;;;;8BAC6B,QAAM;UAE1C,OAA0E;;;;;mEAA7C;;;;;;;;;;;wIAAW;wCAAuB,WAAS;UACxE,MAKL;;;6CAHU,QAAM;6CACf,OAAK;mFACsC;;;;;;;;;;;wJAAM;;;kCAIjD,MAAI;;;kCAEJ,MAAI;UAEN,KAAW;IAAX;;;;;;;;;;6FAAA,KAAW;;;;wEAAA;;GACZ;EAID,AAAA,MAmBC,4BAnBkB,WAAoB,EAAE,QAAwB,EAAE,eAAwB;UACnF,KAAyB,GAAV,WAAS;oDACvB;;;;;;;;;;;2KAAoB,KAAG;;;;yHAAX;;UACb,OAAgC,2BAAxB;;;;;;;;;;;;;;uIAAoB,KAAG;;;iHAAX;0CAGnB,QAAM;;oFAAoC;;;;;;;;;;;yJAAM;;0CAEhD,QAAM,QAAU,OAAK;;UAEtB,SAA2C,yBAAnB,eAAa,EAAE,KAAG;qDACxC;;;;;;;;;;;4KAAyB,SAAO;;;;0HAAxB;;uDAES,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,SAYC,4BAZqB,WAAoB,EAAE,QAAwB;2CAC3D,WAAS;;;0CAET,QAAM;;oFAAoC;;;;;;;;;;;yJAAM;;QAChD,GAAgB;mCAAhB,QAAM,QAAN,GAAgB;;uDAEE,QAAM;;;;2BAGpB,QAAM;kDACmD,WAAS;;GAE9E;EAED,AAAA,WAmBC,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;;;;2BAKtB,QAAM;kDAC0C,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;;;;"
8
+ }
package/managed/m402-vault/keys/manifest.json ADDED
@@ -0,0 +1,69 @@
1
+ {
2
+ "version": 1,
3
+ "prover": {
4
+ "deposit": {
5
+ "sha256": "51f8a8a7822528a16a805a80f0f0cdf296dc95adce86c1d5be7016165c78779e",
6
+ "bytes": 9999493
7
+ },
8
+ "pay": {
9
+ "sha256": "e4d51dee7020d28f57dc94805382407dd46958b1210909c00cf01ae36b950faf",
10
+ "bytes": 5213951
11
+ },
12
+ "redeem": {
13
+ "sha256": "3d8dabe51ee5d658858ca7123b94678bb0021f4e2fb290e2ea3dadf42b7c7f38",
14
+ "bytes": 5205208
15
+ },
16
+ "registerService": {
17
+ "sha256": "a859c05aaa84232cde038e3e8167cce5124cec530309342b0df38f7458db548c",
18
+ "bytes": 2831210
19
+ },
20
+ "withdraw": {
21
+ "sha256": "319d266705a116d18f5125519a85289357e893bb46c420a5fbf60cfdc3685958",
22
+ "bytes": 155408
23
+ }
24
+ },
25
+ "verifier": {
26
+ "deposit": {
27
+ "sha256": "2fe8c9e4e158010f91137871f2ba8cd5b9f7b824be5b0c2a6f8b9be5504ea6b0",
28
+ "bytes": 2119
29
+ },
30
+ "pay": {
31
+ "sha256": "d82561afebe31a5d31823e407e9a378472791673dcdab2963953965214bd7283",
32
+ "bytes": 2119
33
+ },
34
+ "redeem": {
35
+ "sha256": "9e70ccacfdef50565c07af9c34c704fb1be21803aa5ea3e3f7a2f64428b612e0",
36
+ "bytes": 2119
37
+ },
38
+ "registerService": {
39
+ "sha256": "fe28cea6df359f5a1d137104bafe9f10a841b58af00bafdf6ec8312d74ad4647",
40
+ "bytes": 2119
41
+ },
42
+ "withdraw": {
43
+ "sha256": "d9e875f79bc254125b9e827784c67e02fa1148a3c4c816cc2f6891320b6852bf",
44
+ "bytes": 1351
45
+ }
46
+ },
47
+ "zkir": {
48
+ "deposit": {
49
+ "sha256": "db09a673dc6cb4234a7b7d9c5655ae40558e9c2c3fb83c7eabe4250c3c903788",
50
+ "bytes": 1147
51
+ },
52
+ "pay": {
53
+ "sha256": "36e76ffd30649ce21e02d08d289d46c39caef8681cbe299300761d8e0061d9e4",
54
+ "bytes": 853
55
+ },
56
+ "redeem": {
57
+ "sha256": "86b5b86b9f55d5ca9f364f39849a47120b52209a96241056d0d5376ab126c0de",
58
+ "bytes": 671
59
+ },
60
+ "registerService": {
61
+ "sha256": "3b857ab45c4a24af3c35c7d68c8bb0727056352018213835e767b869eaa19faf",
62
+ "bytes": 364
63
+ },
64
+ "withdraw": {
65
+ "sha256": "f2df93d9c2daa7ed1cda84b8c2f64ebb5c8f8f2b731ab8905d16dc8c388c6e89",
66
+ "bytes": 703
67
+ }
68
+ }
69
+ }
package/managed/m402-vault/zkir/deposit.zkir ADDED
@@ -0,0 +1,334 @@
1
+ {
2
+ "version": { "major": 2, "minor": 0 },
3
+ "do_communications_commitment": true,
4
+ "num_inputs": 3,
5
+ "instructions": [
6
+ { "op": "constrain_bits", "var": 0, "bits": 64 },
7
+ { "op": "constrain_bits", "var": 1, "bits": 8 },
8
+ { "op": "constrain_bits", "var": 2, "bits": 248 },
9
+ { "op": "load_imm", "imm": "01" },
10
+ { "op": "load_imm", "imm": "00" },
11
+ { "op": "less_than", "a": 4, "b": 0, "bits": 64 },
12
+ { "op": "assert", "cond": 5 },
13
+ { "op": "load_imm", "imm": "40" },
14
+ { "op": "declare_pub_input", "var": 6 },
15
+ { "op": "pi_skip", "guard": 3, "count": 1 },
16
+ { "op": "load_imm", "imm": "80" },
17
+ { "op": "load_imm", "imm": "06" },
18
+ { "op": "declare_pub_input", "var": 7 },
19
+ { "op": "declare_pub_input", "var": 3 },
20
+ { "op": "declare_pub_input", "var": 3 },
21
+ { "op": "declare_pub_input", "var": 8 },
22
+ { "op": "pi_skip", "guard": 3, "count": 4 },
23
+ { "op": "load_imm", "imm": "10" },
24
+ { "op": "load_imm", "imm": "03" },
25
+ { "op": "load_imm", "imm": "20" },
26
+ { "op": "declare_pub_input", "var": 9 },
27
+ { "op": "declare_pub_input", "var": 3 },
28
+ { "op": "declare_pub_input", "var": 10 },
29
+ { "op": "declare_pub_input", "var": 3 },
30
+ { "op": "declare_pub_input", "var": 11 },
31
+ { "op": "declare_pub_input", "var": 11 },
32
+ { "op": "declare_pub_input", "var": 3 },
33
+ { "op": "declare_pub_input", "var": 4 },
34
+ { "op": "declare_pub_input", "var": 4 },
35
+ { "op": "declare_pub_input", "var": 4 },
36
+ { "op": "declare_pub_input", "var": 4 },
37
+ { "op": "pi_skip", "guard": 3, "count": 11 },
38
+ { "op": "load_imm", "imm": "31" },
39
+ { "op": "declare_pub_input", "var": 12 },
40
+ { "op": "pi_skip", "guard": 3, "count": 1 },
41
+ { "op": "declare_pub_input", "var": 12 },
42
+ { "op": "pi_skip", "guard": 3, "count": 1 },
43
+ { "op": "load_imm", "imm": "18" },
44
+ { "op": "declare_pub_input", "var": 13 },
45
+ { "op": "pi_skip", "guard": 3, "count": 1 },
46
+ { "op": "declare_pub_input", "var": 9 },
47
+ { "op": "declare_pub_input", "var": 3 },
48
+ { "op": "declare_pub_input", "var": 3 },
49
+ { "op": "declare_pub_input", "var": 9 },
50
+ { "op": "declare_pub_input", "var": 0 },
51
+ { "op": "pi_skip", "guard": 3, "count": 5 },
52
+ { "op": "declare_pub_input", "var": 6 },
53
+ { "op": "pi_skip", "guard": 3, "count": 1 },
54
+ { "op": "load_imm", "imm": "08" },
55
+ { "op": "declare_pub_input", "var": 14 },
56
+ { "op": "pi_skip", "guard": 3, "count": 1 },
57
+ { "op": "load_imm", "imm": "12" },
58
+ { "op": "load_imm", "imm": "04" },
59
+ { "op": "declare_pub_input", "var": 15 },
60
+ { "op": "declare_pub_input", "var": 16 },
61
+ { "op": "pi_skip", "guard": 3, "count": 2 },
62
+ { "op": "load_imm", "imm": "32" },
63
+ { "op": "declare_pub_input", "var": 17 },
64
+ { "op": "pi_skip", "guard": 3, "count": 1 },
65
+ { "op": "declare_pub_input", "var": 17 },
66
+ { "op": "pi_skip", "guard": 3, "count": 1 },
67
+ { "op": "load_imm", "imm": "60" },
68
+ { "op": "load_imm", "imm": "-01" },
69
+ { "op": "declare_pub_input", "var": 18 },
70
+ { "op": "declare_pub_input", "var": 19 },
71
+ { "op": "pi_skip", "guard": 3, "count": 2 },
72
+ { "op": "load_imm", "imm": "14" },
73
+ { "op": "declare_pub_input", "var": 20 },
74
+ { "op": "pi_skip", "guard": 3, "count": 1 },
75
+ { "op": "load_imm", "imm": "A2" },
76
+ { "op": "declare_pub_input", "var": 21 },
77
+ { "op": "pi_skip", "guard": 3, "count": 1 },
78
+ { "op": "declare_pub_input", "var": 6 },
79
+ { "op": "pi_skip", "guard": 3, "count": 1 },
80
+ { "op": "load_imm", "imm": "30" },
81
+ { "op": "declare_pub_input", "var": 22 },
82
+ { "op": "pi_skip", "guard": 3, "count": 1 },
83
+ { "op": "load_imm", "imm": "50" },
84
+ { "op": "declare_pub_input", "var": 23 },
85
+ { "op": "declare_pub_input", "var": 3 },
86
+ { "op": "declare_pub_input", "var": 3 },
87
+ { "op": "declare_pub_input", "var": 16 },
88
+ { "op": "pi_skip", "guard": 3, "count": 4 },
89
+ { "op": "public_input", "guard": null },
90
+ { "op": "load_imm", "imm": "0D" },
91
+ { "op": "declare_pub_input", "var": 25 },
92
+ { "op": "declare_pub_input", "var": 3 },
93
+ { "op": "declare_pub_input", "var": 14 },
94
+ { "op": "declare_pub_input", "var": 24 },
95
+ { "op": "pi_skip", "guard": 3, "count": 4 },
96
+ { "op": "constrain_bits", "var": 24, "bits": 64 },
97
+ { "op": "load_imm", "imm": "6D69646E696768743A6B65726E656C3A6E6F6E63655F65766F6C7665" },
98
+ { "op": "transient_hash", "inputs": [26, 24, 2] },
99
+ { "op": "div_mod_power_of_two", "var": 27, "bits": 248 },
100
+ { "op": "declare_pub_input", "var": 17 },
101
+ { "op": "pi_skip", "guard": 3, "count": 1 },
102
+ { "op": "declare_pub_input", "var": 18 },
103
+ { "op": "declare_pub_input", "var": 3 },
104
+ { "op": "declare_pub_input", "var": 3 },
105
+ { "op": "declare_pub_input", "var": 4 },
106
+ { "op": "pi_skip", "guard": 3, "count": 4 },
107
+ { "op": "public_input", "guard": null },
108
+ { "op": "public_input", "guard": null },
109
+ { "op": "declare_pub_input", "var": 25 },
110
+ { "op": "declare_pub_input", "var": 3 },
111
+ { "op": "declare_pub_input", "var": 11 },
112
+ { "op": "declare_pub_input", "var": 30 },
113
+ { "op": "declare_pub_input", "var": 31 },
114
+ { "op": "pi_skip", "guard": 3, "count": 5 },
115
+ { "op": "declare_pub_input", "var": 17 },
116
+ { "op": "pi_skip", "guard": 3, "count": 1 },
117
+ { "op": "declare_pub_input", "var": 18 },
118
+ { "op": "declare_pub_input", "var": 3 },
119
+ { "op": "declare_pub_input", "var": 3 },
120
+ { "op": "declare_pub_input", "var": 4 },
121
+ { "op": "pi_skip", "guard": 3, "count": 4 },
122
+ { "op": "public_input", "guard": null },
123
+ { "op": "public_input", "guard": null },
124
+ { "op": "declare_pub_input", "var": 25 },
125
+ { "op": "declare_pub_input", "var": 3 },
126
+ { "op": "declare_pub_input", "var": 11 },
127
+ { "op": "declare_pub_input", "var": 32 },
128
+ { "op": "declare_pub_input", "var": 33 },
129
+ { "op": "pi_skip", "guard": 3, "count": 5 },
130
+ { "op": "load_imm", "imm": "6D69646E696768743A6465726976655F746F6B656E" },
131
+ { "op": "load_imm", "imm": "6D3430323A6372656469743A7631" },
132
+ { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [4, 34, 4, 35, 32, 33] },
133
+ { "op": "declare_pub_input", "var": 6 },
134
+ { "op": "pi_skip", "guard": 3, "count": 1 },
135
+ { "op": "declare_pub_input", "var": 7 },
136
+ { "op": "declare_pub_input", "var": 3 },
137
+ { "op": "declare_pub_input", "var": 3 },
138
+ { "op": "declare_pub_input", "var": 16 },
139
+ { "op": "pi_skip", "guard": 3, "count": 4 },
140
+ { "op": "declare_pub_input", "var": 9 },
141
+ { "op": "declare_pub_input", "var": 3 },
142
+ { "op": "declare_pub_input", "var": 3 },
143
+ { "op": "declare_pub_input", "var": 11 },
144
+ { "op": "declare_pub_input", "var": 4 },
145
+ { "op": "declare_pub_input", "var": 35 },
146
+ { "op": "pi_skip", "guard": 3, "count": 6 },
147
+ { "op": "declare_pub_input", "var": 12 },
148
+ { "op": "pi_skip", "guard": 3, "count": 1 },
149
+ { "op": "declare_pub_input", "var": 12 },
150
+ { "op": "pi_skip", "guard": 3, "count": 1 },
151
+ { "op": "declare_pub_input", "var": 13 },
152
+ { "op": "pi_skip", "guard": 3, "count": 1 },
153
+ { "op": "declare_pub_input", "var": 9 },
154
+ { "op": "declare_pub_input", "var": 3 },
155
+ { "op": "declare_pub_input", "var": 3 },
156
+ { "op": "declare_pub_input", "var": 14 },
157
+ { "op": "declare_pub_input", "var": 0 },
158
+ { "op": "pi_skip", "guard": 3, "count": 5 },
159
+ { "op": "declare_pub_input", "var": 6 },
160
+ { "op": "pi_skip", "guard": 3, "count": 1 },
161
+ { "op": "declare_pub_input", "var": 14 },
162
+ { "op": "pi_skip", "guard": 3, "count": 1 },
163
+ { "op": "declare_pub_input", "var": 15 },
164
+ { "op": "declare_pub_input", "var": 16 },
165
+ { "op": "pi_skip", "guard": 3, "count": 2 },
166
+ { "op": "declare_pub_input", "var": 17 },
167
+ { "op": "pi_skip", "guard": 3, "count": 1 },
168
+ { "op": "declare_pub_input", "var": 17 },
169
+ { "op": "pi_skip", "guard": 3, "count": 1 },
170
+ { "op": "declare_pub_input", "var": 18 },
171
+ { "op": "declare_pub_input", "var": 19 },
172
+ { "op": "pi_skip", "guard": 3, "count": 2 },
173
+ { "op": "declare_pub_input", "var": 20 },
174
+ { "op": "pi_skip", "guard": 3, "count": 1 },
175
+ { "op": "declare_pub_input", "var": 21 },
176
+ { "op": "pi_skip", "guard": 3, "count": 1 },
177
+ { "op": "declare_pub_input", "var": 6 },
178
+ { "op": "pi_skip", "guard": 3, "count": 1 },
179
+ { "op": "load_imm", "imm": "6D69646E696768743A7A737761702D63635B76315D" },
180
+ { "op": "persistent_hash", "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": [38, 4, 29, 36, 37, 0, 4, 30, 31] },
181
+ { "op": "declare_pub_input", "var": 6 },
182
+ { "op": "pi_skip", "guard": 3, "count": 1 },
183
+ { "op": "load_imm", "imm": "02" },
184
+ { "op": "declare_pub_input", "var": 7 },
185
+ { "op": "declare_pub_input", "var": 3 },
186
+ { "op": "declare_pub_input", "var": 3 },
187
+ { "op": "declare_pub_input", "var": 41 },
188
+ { "op": "pi_skip", "guard": 3, "count": 4 },
189
+ { "op": "declare_pub_input", "var": 9 },
190
+ { "op": "declare_pub_input", "var": 3 },
191
+ { "op": "declare_pub_input", "var": 3 },
192
+ { "op": "declare_pub_input", "var": 11 },
193
+ { "op": "declare_pub_input", "var": 39 },
194
+ { "op": "declare_pub_input", "var": 40 },
195
+ { "op": "pi_skip", "guard": 3, "count": 6 },
196
+ { "op": "declare_pub_input", "var": 9 },
197
+ { "op": "declare_pub_input", "var": 4 },
198
+ { "op": "pi_skip", "guard": 3, "count": 2 },
199
+ { "op": "declare_pub_input", "var": 21 },
200
+ { "op": "pi_skip", "guard": 3, "count": 1 },
201
+ { "op": "declare_pub_input", "var": 6 },
202
+ { "op": "pi_skip", "guard": 3, "count": 1 },
203
+ { "op": "declare_pub_input", "var": 17 },
204
+ { "op": "pi_skip", "guard": 3, "count": 1 },
205
+ { "op": "declare_pub_input", "var": 18 },
206
+ { "op": "declare_pub_input", "var": 3 },
207
+ { "op": "declare_pub_input", "var": 3 },
208
+ { "op": "declare_pub_input", "var": 4 },
209
+ { "op": "pi_skip", "guard": 3, "count": 4 },
210
+ { "op": "public_input", "guard": null },
211
+ { "op": "public_input", "guard": null },
212
+ { "op": "declare_pub_input", "var": 25 },
213
+ { "op": "declare_pub_input", "var": 3 },
214
+ { "op": "declare_pub_input", "var": 11 },
215
+ { "op": "declare_pub_input", "var": 42 },
216
+ { "op": "declare_pub_input", "var": 43 },
217
+ { "op": "pi_skip", "guard": 3, "count": 5 },
218
+ { "op": "test_eq", "a": 30, "b": 42 },
219
+ { "op": "test_eq", "a": 31, "b": 43 },
220
+ { "op": "cond_select", "bit": 44, "a": 45, "b": 4 },
221
+ { "op": "cond_select", "bit": 46, "a": 6, "b": 4 },
222
+ { "op": "declare_pub_input", "var": 47 },
223
+ { "op": "pi_skip", "guard": 46, "count": 1 },
224
+ { "op": "cond_select", "bit": 46, "a": 7, "b": 4 },
225
+ { "op": "declare_pub_input", "var": 48 },
226
+ { "op": "declare_pub_input", "var": 46 },
227
+ { "op": "declare_pub_input", "var": 46 },
228
+ { "op": "declare_pub_input", "var": 46 },
229
+ { "op": "pi_skip", "guard": 46, "count": 4 },
230
+ { "op": "cond_select", "bit": 46, "a": 9, "b": 4 },
231
+ { "op": "declare_pub_input", "var": 49 },
232
+ { "op": "declare_pub_input", "var": 46 },
233
+ { "op": "declare_pub_input", "var": 46 },
234
+ { "op": "cond_select", "bit": 46, "a": 11, "b": 4 },
235
+ { "op": "declare_pub_input", "var": 50 },
236
+ { "op": "cond_select", "bit": 46, "a": 39, "b": 4 },
237
+ { "op": "declare_pub_input", "var": 51 },
238
+ { "op": "cond_select", "bit": 46, "a": 40, "b": 4 },
239
+ { "op": "declare_pub_input", "var": 52 },
240
+ { "op": "pi_skip", "guard": 46, "count": 6 },
241
+ { "op": "cond_select", "bit": 46, "a": 9, "b": 4 },
242
+ { "op": "declare_pub_input", "var": 53 },
243
+ { "op": "cond_select", "bit": 46, "a": 4, "b": 4 },
244
+ { "op": "declare_pub_input", "var": 54 },
245
+ { "op": "pi_skip", "guard": 46, "count": 2 },
246
+ { "op": "cond_select", "bit": 46, "a": 21, "b": 4 },
247
+ { "op": "declare_pub_input", "var": 55 },
248
+ { "op": "pi_skip", "guard": 46, "count": 1 },
249
+ { "op": "cond_select", "bit": 46, "a": 6, "b": 4 },
250
+ { "op": "declare_pub_input", "var": 56 },
251
+ { "op": "pi_skip", "guard": 46, "count": 1 },
252
+ { "op": "private_input", "guard": null },
253
+ { "op": "constrain_bits", "var": 57, "bits": 8 },
254
+ { "op": "private_input", "guard": null },
255
+ { "op": "constrain_bits", "var": 58, "bits": 248 },
256
+ { "op": "declare_pub_input", "var": 17 },
257
+ { "op": "pi_skip", "guard": 3, "count": 1 },
258
+ { "op": "declare_pub_input", "var": 18 },
259
+ { "op": "declare_pub_input", "var": 3 },
260
+ { "op": "declare_pub_input", "var": 3 },
261
+ { "op": "declare_pub_input", "var": 4 },
262
+ { "op": "pi_skip", "guard": 3, "count": 4 },
263
+ { "op": "public_input", "guard": null },
264
+ { "op": "public_input", "guard": null },
265
+ { "op": "declare_pub_input", "var": 25 },
266
+ { "op": "declare_pub_input", "var": 3 },
267
+ { "op": "declare_pub_input", "var": 11 },
268
+ { "op": "declare_pub_input", "var": 59 },
269
+ { "op": "declare_pub_input", "var": 60 },
270
+ { "op": "pi_skip", "guard": 3, "count": 5 },
271
+ { "op": "load_imm", "imm": "6D69646E696768743A7A737761702D636E5B76315D" },
272
+ { "op": "persistent_hash", "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": [61, 4, 29, 36, 37, 0, 4, 59, 60] },
273
+ { "op": "declare_pub_input", "var": 6 },
274
+ { "op": "pi_skip", "guard": 3, "count": 1 },
275
+ { "op": "declare_pub_input", "var": 7 },
276
+ { "op": "declare_pub_input", "var": 3 },
277
+ { "op": "declare_pub_input", "var": 3 },
278
+ { "op": "declare_pub_input", "var": 4 },
279
+ { "op": "pi_skip", "guard": 3, "count": 4 },
280
+ { "op": "declare_pub_input", "var": 9 },
281
+ { "op": "declare_pub_input", "var": 3 },
282
+ { "op": "declare_pub_input", "var": 3 },
283
+ { "op": "declare_pub_input", "var": 11 },
284
+ { "op": "declare_pub_input", "var": 62 },
285
+ { "op": "declare_pub_input", "var": 63 },
286
+ { "op": "pi_skip", "guard": 3, "count": 6 },
287
+ { "op": "declare_pub_input", "var": 9 },
288
+ { "op": "declare_pub_input", "var": 4 },
289
+ { "op": "pi_skip", "guard": 3, "count": 2 },
290
+ { "op": "declare_pub_input", "var": 21 },
291
+ { "op": "pi_skip", "guard": 3, "count": 1 },
292
+ { "op": "declare_pub_input", "var": 6 },
293
+ { "op": "pi_skip", "guard": 3, "count": 1 },
294
+ { "op": "load_imm", "imm": "6D69646E696768743A6B65726E656C3A6E6F6E63655F65766F6C7665" },
295
+ { "op": "transient_hash", "inputs": [64, 29] },
296
+ { "op": "div_mod_power_of_two", "var": 65, "bits": 248 },
297
+ { "op": "load_imm", "imm": "6D69646E696768743A7A737761702D63635B76315D" },
298
+ { "op": "persistent_hash", "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": [68, 4, 67, 36, 37, 0, 3, 57, 58] },
299
+ { "op": "declare_pub_input", "var": 6 },
300
+ { "op": "pi_skip", "guard": 3, "count": 1 },
301
+ { "op": "declare_pub_input", "var": 7 },
302
+ { "op": "declare_pub_input", "var": 3 },
303
+ { "op": "declare_pub_input", "var": 3 },
304
+ { "op": "declare_pub_input", "var": 41 },
305
+ { "op": "pi_skip", "guard": 3, "count": 4 },
306
+ { "op": "declare_pub_input", "var": 9 },
307
+ { "op": "declare_pub_input", "var": 3 },
308
+ { "op": "declare_pub_input", "var": 3 },
309
+ { "op": "declare_pub_input", "var": 11 },
310
+ { "op": "declare_pub_input", "var": 69 },
311
+ { "op": "declare_pub_input", "var": 70 },
312
+ { "op": "pi_skip", "guard": 3, "count": 6 },
313
+ { "op": "declare_pub_input", "var": 9 },
314
+ { "op": "declare_pub_input", "var": 4 },
315
+ { "op": "pi_skip", "guard": 3, "count": 2 },
316
+ { "op": "declare_pub_input", "var": 21 },
317
+ { "op": "pi_skip", "guard": 3, "count": 1 },
318
+ { "op": "declare_pub_input", "var": 6 },
319
+ { "op": "pi_skip", "guard": 3, "count": 1 },
320
+ { "op": "load_imm", "imm": "70" },
321
+ { "op": "declare_pub_input", "var": 71 },
322
+ { "op": "declare_pub_input", "var": 3 },
323
+ { "op": "declare_pub_input", "var": 3 },
324
+ { "op": "declare_pub_input", "var": 16 },
325
+ { "op": "pi_skip", "guard": 3, "count": 4 },
326
+ { "op": "load_imm", "imm": "0E" },
327
+ { "op": "declare_pub_input", "var": 72 },
328
+ { "op": "declare_pub_input", "var": 3 },
329
+ { "op": "pi_skip", "guard": 3, "count": 2 },
330
+ { "op": "load_imm", "imm": "A1" },
331
+ { "op": "declare_pub_input", "var": 73 },
332
+ { "op": "pi_skip", "guard": 3, "count": 1 }
333
+ ]
334
+ }