@shieldedpools/contracts 0.1.1 → 0.2.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 (14) hide show
  1. package/README.md +1 -1
  2. package/contract/managed/shielded-pools/compiler/contract-info.json +4 -4
  3. package/contract/managed/shielded-pools/compiler/contract-manifest.json +22 -22
  4. package/contract/managed/shielded-pools/contract/index.js +3 -3
  5. package/contract/managed/shielded-pools/keys/shield.prover +0 -0
  6. package/contract/managed/shielded-pools/keys/shield.verifier +0 -0
  7. package/contract/managed/shielded-pools/keys/unshield.prover +0 -0
  8. package/contract/managed/shielded-pools/keys/unshield.verifier +0 -0
  9. package/contract/managed/shielded-pools/zkir/shield.bzkir +0 -0
  10. package/contract/managed/shielded-pools/zkir/shield.zkir +72 -173
  11. package/contract/managed/shielded-pools/zkir/unshield.bzkir +0 -0
  12. package/contract/managed/shielded-pools/zkir/unshield.zkir +84 -205
  13. package/contract/shielded-pools.compact +1 -1
  14. package/package.json +4 -3
package/README.md CHANGED
@@ -58,7 +58,7 @@ export MIDNIGHT_SEED=00000000000000000000000000000000000000000000000000000000000
58
58
  npm run -s deploy
59
59
  ```
60
60
 
61
- This pays the fee from the wallet with that seed, using a proof server on `127.0.0.1:6300`, and fails unless the chain shows that nobody can change the contract. No maintenance key is ever created. `MIDNIGHT_NETWORK` picks the network, which defaults to the local one. Public networks use the [deploy workflow](.github/workflows/deploy.yml) once they run ledger 9.
61
+ This pays the fee from the wallet with that seed, using a proof server on `127.0.0.1:6300`, and fails unless the chain shows that nobody can change the contract. No maintenance key is ever created. `MIDNIGHT_NETWORK` picks the network, which defaults to the local one. Public networks use the [deploy workflow](.github/workflows/deploy.yml).
62
62
 
63
63
  ## License
64
64
 
package/contract/managed/shielded-pools/compiler/contract-info.json CHANGED
@@ -1,8 +1,8 @@
1
1
  {
2
- "compiler-version": "0.35.0",
3
- "compiler-commit": "debb05f9414b9d1e176741c2be289bb32233f0fc",
4
- "language-version": "0.27.0",
5
- "runtime-version": "0.20.0",
2
+ "compiler-version": "0.36.0",
3
+ "compiler-commit": "b5d9e4dfc532fe47011c4f6296e254f4853eb469",
4
+ "language-version": "0.28.0",
5
+ "runtime-version": "0.21.0",
6
6
  "circuits": [
7
7
  {
8
8
  "name": "shield",
package/contract/managed/shielded-pools/compiler/contract-manifest.json CHANGED
@@ -1,15 +1,15 @@
1
1
  {
2
2
  "manifest-version": "1",
3
- "compiler-version": "0.35.0",
4
- "compiler-commit": "debb05f9414b9d1e176741c2be289bb32233f0fc",
5
- "language-version": "0.27.0",
6
- "runtime-version": "0.20.0",
3
+ "compiler-version": "0.36.0",
4
+ "compiler-commit": "b5d9e4dfc532fe47011c4f6296e254f4853eb469",
5
+ "language-version": "0.28.0",
6
+ "runtime-version": "0.21.0",
7
7
  "compiler": {
8
8
  "type": "directory",
9
9
  "contract-info.json": {
10
10
  "type": "file",
11
11
  "size": 2898,
12
- "hash": "ed307e636a7c5d10fc638abbd87aa7be4e4ca554595e633e4d2bbfbf2fe9fde3"
12
+ "hash": "43471bc7604fae0d6e8f96fa28b81a9d811b08ea2bd8d7309d07e8e5983683ef"
13
13
  }
14
14
  },
15
15
  "contract": {
@@ -22,7 +22,7 @@
22
22
  "index.js": {
23
23
  "type": "file",
24
24
  "size": 45994,
25
- "hash": "d4f69ac72b32fd062938d71f4d364eedbd68187ad39b6900b6d1abd21240fb5e"
25
+ "hash": "35910e058e42fa34716291b5a365e2230938d28d168e4a4450443e618c7c084c"
26
26
  },
27
27
  "index.js.map": {
28
28
  "type": "file",
@@ -34,46 +34,46 @@
34
34
  "type": "directory",
35
35
  "shield.bzkir": {
36
36
  "type": "file",
37
- "size": 572,
38
- "hash": "b28228e9b0ea86d14182c13ad747613519eb7ef9ab406a0704013b06468008fb"
37
+ "size": 1668,
38
+ "hash": "2dacbe2a2522025dd768cbdd1fa79976cfb3847b69d4a57fa2068a9309486c0b"
39
39
  },
40
40
  "shield.zkir": {
41
41
  "type": "file",
42
- "size": 8638,
43
- "hash": "2cbba928f34e794b2743a5c8741bb5d0387278f250bb8bf1a8d102df9e6a86a3"
42
+ "size": 5606,
43
+ "hash": "b54766db7a7985847f19f79080d057e088ded1c63988a3111558a7990e2b974d"
44
44
  },
45
45
  "unshield.bzkir": {
46
46
  "type": "file",
47
- "size": 655,
48
- "hash": "f266afd79d4674c7cf32a03bbd341c9441292276f7ccc84b2490899830154537"
47
+ "size": 2079,
48
+ "hash": "42515f2471c8752c6666f213b98a605f13bf015c1eb9e94ec9e2f8b29977447b"
49
49
  },
50
50
  "unshield.zkir": {
51
51
  "type": "file",
52
- "size": 10198,
53
- "hash": "1d7d979af0d1dfd105fd1c2bf5166123fc251d428b984bc9bb32680db26fd96a"
52
+ "size": 6786,
53
+ "hash": "fd6367a64333d7875da53cf1ce12e2c142d257e816e652f60659a25e19ece2ac"
54
54
  }
55
55
  },
56
56
  "keys": {
57
57
  "type": "directory",
58
58
  "shield.prover": {
59
59
  "type": "file",
60
- "size": 5204641,
61
- "hash": "6b3ad6f1c5053e028f5afe6845c2bb06040641e05e3b91f5794a7d5f4673e08c"
60
+ "size": 22550420,
61
+ "hash": "eff5af67bbab324c40b6cedf97144e410774d941017758232af3482dd77b624b"
62
62
  },
63
63
  "shield.verifier": {
64
64
  "type": "file",
65
- "size": 2119,
66
- "hash": "7d87eb5ab1bd2f753d3ba7290983ff1b81868aee789bc48c8979290627aec892"
65
+ "size": 2121,
66
+ "hash": "6c446a21811f150d6397a3860c7f51022a7d9e7b468878461921f5f9eebfba88"
67
67
  },
68
68
  "unshield.prover": {
69
69
  "type": "file",
70
- "size": 5205028,
71
- "hash": "a6c00ba3a1dad1bcfee501db31ee37acb257731a55567841a6005ab396191113"
70
+ "size": 22550831,
71
+ "hash": "629643e1c18c89fa90dceea3cc3e25aa1769b504b3c4ead8d50483903dbd370a"
72
72
  },
73
73
  "unshield.verifier": {
74
74
  "type": "file",
75
- "size": 2119,
76
- "hash": "8968d3bc80b8d03c21edf5d3363ac0b0f404e72f31457ee8ea1d0632df3bf546"
75
+ "size": 2121,
76
+ "hash": "ec904d39b7c703d99263b65547c69982fb194d9f9eb6d2b28895b390a974640e"
77
77
  }
78
78
  }
79
79
  }
package/contract/managed/shielded-pools/contract/index.js CHANGED
@@ -1,5 +1,5 @@
1
1
  import * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
2
- __compactRuntime.checkRuntimeVersion('0.20.0');
2
+ __compactRuntime.checkRuntimeVersion('0.21.0');
3
3
 
4
4
  const _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
5
5
 
@@ -777,8 +777,8 @@ const _emptyContext = {
777
777
  const _dummyContract = new Contract({ });
778
778
  export const pureCircuits = {};
779
779
  export const expectedVk = {
780
- 'shield': '7d87eb5ab1bd2f753d3ba7290983ff1b81868aee789bc48c8979290627aec892',
781
- 'unshield': '8968d3bc80b8d03c21edf5d3363ac0b0f404e72f31457ee8ea1d0632df3bf546',
780
+ 'shield': '6c446a21811f150d6397a3860c7f51022a7d9e7b468878461921f5f9eebfba88',
781
+ 'unshield': 'ec904d39b7c703d99263b65547c69982fb194d9f9eb6d2b28895b390a974640e',
782
782
  };
783
783
 
784
784
  export const circuitSignatures = {
package/contract/managed/shielded-pools/zkir/shield.zkir CHANGED
@@ -1,178 +1,77 @@
1
1
  {
2
- "version": { "major": 2, "minor": 0 },
2
+ "version": { "major": 3, "minor": 1 },
3
3
  "do_communications_commitment": true,
4
- "num_inputs": 5,
4
+ "inputs": [
5
+ { "name": "%token.0", "type": "Scalar<BLS12-381>" },
6
+ { "name": "%token.1", "type": "Scalar<BLS12-381>" },
7
+ { "name": "%amount.2", "type": "Scalar<BLS12-381>" },
8
+ { "name": "%nonce.3", "type": "Scalar<BLS12-381>" },
9
+ { "name": "%nonce.4", "type": "Scalar<BLS12-381>" }
10
+ ],
11
+ "outputs": [
12
+ "Scalar<BLS12-381>",
13
+ "Scalar<BLS12-381>",
14
+ "Scalar<BLS12-381>",
15
+ "Scalar<BLS12-381>",
16
+ "Scalar<BLS12-381>"
17
+ ],
5
18
  "instructions": [
6
- { "op": "constrain_bits", "var": 0, "bits": 8 },
7
- { "op": "constrain_bits", "var": 1, "bits": 248 },
8
- { "op": "constrain_bits", "var": 2, "bits": 64 },
9
- { "op": "constrain_bits", "var": 3, "bits": 8 },
10
- { "op": "constrain_bits", "var": 4, "bits": 248 },
11
- { "op": "load_imm", "imm": "01" },
12
- { "op": "load_imm", "imm": "00" },
13
- { "op": "load_imm", "imm": "40" },
14
- { "op": "declare_pub_input", "var": 7 },
15
- { "op": "pi_skip", "guard": 5, "count": 1 },
16
- { "op": "load_imm", "imm": "80" },
17
- { "op": "load_imm", "imm": "06" },
18
- { "op": "declare_pub_input", "var": 8 },
19
- { "op": "declare_pub_input", "var": 5 },
20
- { "op": "declare_pub_input", "var": 5 },
21
- { "op": "declare_pub_input", "var": 9 },
22
- { "op": "pi_skip", "guard": 5, "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": 10 },
27
- { "op": "declare_pub_input", "var": 5 },
28
- { "op": "declare_pub_input", "var": 11 },
29
- { "op": "declare_pub_input", "var": 5 },
30
- { "op": "declare_pub_input", "var": 12 },
31
- { "op": "declare_pub_input", "var": 12 },
32
- { "op": "declare_pub_input", "var": 5 },
33
- { "op": "declare_pub_input", "var": 0 },
34
- { "op": "declare_pub_input", "var": 1 },
35
- { "op": "declare_pub_input", "var": 6 },
36
- { "op": "declare_pub_input", "var": 6 },
37
- { "op": "pi_skip", "guard": 5, "count": 11 },
38
- { "op": "load_imm", "imm": "31" },
39
- { "op": "declare_pub_input", "var": 13 },
40
- { "op": "pi_skip", "guard": 5, "count": 1 },
41
- { "op": "declare_pub_input", "var": 13 },
42
- { "op": "pi_skip", "guard": 5, "count": 1 },
43
- { "op": "load_imm", "imm": "18" },
44
- { "op": "declare_pub_input", "var": 14 },
45
- { "op": "pi_skip", "guard": 5, "count": 1 },
46
- { "op": "declare_pub_input", "var": 10 },
47
- { "op": "declare_pub_input", "var": 5 },
48
- { "op": "declare_pub_input", "var": 5 },
49
- { "op": "declare_pub_input", "var": 10 },
50
- { "op": "declare_pub_input", "var": 2 },
51
- { "op": "pi_skip", "guard": 5, "count": 5 },
52
- { "op": "declare_pub_input", "var": 7 },
53
- { "op": "pi_skip", "guard": 5, "count": 1 },
54
- { "op": "load_imm", "imm": "08" },
55
- { "op": "declare_pub_input", "var": 15 },
56
- { "op": "pi_skip", "guard": 5, "count": 1 },
57
- { "op": "load_imm", "imm": "12" },
58
- { "op": "load_imm", "imm": "04" },
59
- { "op": "declare_pub_input", "var": 16 },
60
- { "op": "declare_pub_input", "var": 17 },
61
- { "op": "pi_skip", "guard": 5, "count": 2 },
62
- { "op": "load_imm", "imm": "32" },
63
- { "op": "declare_pub_input", "var": 18 },
64
- { "op": "pi_skip", "guard": 5, "count": 1 },
65
- { "op": "declare_pub_input", "var": 18 },
66
- { "op": "pi_skip", "guard": 5, "count": 1 },
67
- { "op": "load_imm", "imm": "60" },
68
- { "op": "load_imm", "imm": "-01" },
69
- { "op": "declare_pub_input", "var": 19 },
70
- { "op": "declare_pub_input", "var": 20 },
71
- { "op": "pi_skip", "guard": 5, "count": 2 },
72
- { "op": "load_imm", "imm": "14" },
73
- { "op": "declare_pub_input", "var": 21 },
74
- { "op": "pi_skip", "guard": 5, "count": 1 },
75
- { "op": "load_imm", "imm": "A2" },
76
- { "op": "declare_pub_input", "var": 22 },
77
- { "op": "pi_skip", "guard": 5, "count": 1 },
78
- { "op": "declare_pub_input", "var": 7 },
79
- { "op": "pi_skip", "guard": 5, "count": 1 },
80
- { "op": "private_input", "guard": null },
81
- { "op": "constrain_bits", "var": 23, "bits": 8 },
82
- { "op": "private_input", "guard": null },
83
- { "op": "constrain_bits", "var": 24, "bits": 248 },
84
- { "op": "declare_pub_input", "var": 18 },
85
- { "op": "pi_skip", "guard": 5, "count": 1 },
86
- { "op": "declare_pub_input", "var": 19 },
87
- { "op": "declare_pub_input", "var": 5 },
88
- { "op": "declare_pub_input", "var": 5 },
89
- { "op": "declare_pub_input", "var": 6 },
90
- { "op": "pi_skip", "guard": 5, "count": 4 },
91
- { "op": "public_input", "guard": null },
92
- { "op": "public_input", "guard": null },
93
- { "op": "load_imm", "imm": "0D" },
94
- { "op": "declare_pub_input", "var": 27 },
95
- { "op": "declare_pub_input", "var": 5 },
96
- { "op": "declare_pub_input", "var": 12 },
97
- { "op": "declare_pub_input", "var": 25 },
98
- { "op": "declare_pub_input", "var": 26 },
99
- { "op": "pi_skip", "guard": 5, "count": 5 },
100
- { "op": "load_imm", "imm": "6D69646E696768743A6465726976655F746F6B656E" },
101
- { "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": [6, 28, 0, 1, 25, 26] },
102
- { "op": "declare_pub_input", "var": 7 },
103
- { "op": "pi_skip", "guard": 5, "count": 1 },
104
- { "op": "declare_pub_input", "var": 8 },
105
- { "op": "declare_pub_input", "var": 5 },
106
- { "op": "declare_pub_input", "var": 5 },
107
- { "op": "declare_pub_input", "var": 17 },
108
- { "op": "pi_skip", "guard": 5, "count": 4 },
109
- { "op": "declare_pub_input", "var": 10 },
110
- { "op": "declare_pub_input", "var": 5 },
111
- { "op": "declare_pub_input", "var": 5 },
112
- { "op": "declare_pub_input", "var": 12 },
113
- { "op": "declare_pub_input", "var": 0 },
114
- { "op": "declare_pub_input", "var": 1 },
115
- { "op": "pi_skip", "guard": 5, "count": 6 },
116
- { "op": "declare_pub_input", "var": 13 },
117
- { "op": "pi_skip", "guard": 5, "count": 1 },
118
- { "op": "declare_pub_input", "var": 13 },
119
- { "op": "pi_skip", "guard": 5, "count": 1 },
120
- { "op": "declare_pub_input", "var": 14 },
121
- { "op": "pi_skip", "guard": 5, "count": 1 },
122
- { "op": "declare_pub_input", "var": 10 },
123
- { "op": "declare_pub_input", "var": 5 },
124
- { "op": "declare_pub_input", "var": 5 },
125
- { "op": "declare_pub_input", "var": 15 },
126
- { "op": "declare_pub_input", "var": 2 },
127
- { "op": "pi_skip", "guard": 5, "count": 5 },
128
- { "op": "declare_pub_input", "var": 7 },
129
- { "op": "pi_skip", "guard": 5, "count": 1 },
130
- { "op": "declare_pub_input", "var": 15 },
131
- { "op": "pi_skip", "guard": 5, "count": 1 },
132
- { "op": "declare_pub_input", "var": 16 },
133
- { "op": "declare_pub_input", "var": 17 },
134
- { "op": "pi_skip", "guard": 5, "count": 2 },
135
- { "op": "declare_pub_input", "var": 18 },
136
- { "op": "pi_skip", "guard": 5, "count": 1 },
137
- { "op": "declare_pub_input", "var": 18 },
138
- { "op": "pi_skip", "guard": 5, "count": 1 },
139
- { "op": "declare_pub_input", "var": 19 },
140
- { "op": "declare_pub_input", "var": 20 },
141
- { "op": "pi_skip", "guard": 5, "count": 2 },
142
- { "op": "declare_pub_input", "var": 21 },
143
- { "op": "pi_skip", "guard": 5, "count": 1 },
144
- { "op": "declare_pub_input", "var": 22 },
145
- { "op": "pi_skip", "guard": 5, "count": 1 },
146
- { "op": "declare_pub_input", "var": 7 },
147
- { "op": "pi_skip", "guard": 5, "count": 1 },
148
- { "op": "load_imm", "imm": "6D69646E696768743A7A737761702D63635B76315D" },
149
- { "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": [31, 3, 4, 29, 30, 2, 5, 23, 24] },
150
- { "op": "declare_pub_input", "var": 7 },
151
- { "op": "pi_skip", "guard": 5, "count": 1 },
152
- { "op": "load_imm", "imm": "02" },
153
- { "op": "declare_pub_input", "var": 8 },
154
- { "op": "declare_pub_input", "var": 5 },
155
- { "op": "declare_pub_input", "var": 5 },
156
- { "op": "declare_pub_input", "var": 34 },
157
- { "op": "pi_skip", "guard": 5, "count": 4 },
158
- { "op": "declare_pub_input", "var": 10 },
159
- { "op": "declare_pub_input", "var": 5 },
160
- { "op": "declare_pub_input", "var": 5 },
161
- { "op": "declare_pub_input", "var": 12 },
162
- { "op": "declare_pub_input", "var": 32 },
163
- { "op": "declare_pub_input", "var": 33 },
164
- { "op": "pi_skip", "guard": 5, "count": 6 },
165
- { "op": "declare_pub_input", "var": 10 },
166
- { "op": "declare_pub_input", "var": 6 },
167
- { "op": "pi_skip", "guard": 5, "count": 2 },
168
- { "op": "declare_pub_input", "var": 22 },
169
- { "op": "pi_skip", "guard": 5, "count": 1 },
170
- { "op": "declare_pub_input", "var": 7 },
171
- { "op": "pi_skip", "guard": 5, "count": 1 },
172
- { "op": "output", "var": 3 },
173
- { "op": "output", "var": 4 },
174
- { "op": "output", "var": 29 },
175
- { "op": "output", "var": 30 },
176
- { "op": "output", "var": 2 }
19
+ { "op": "constrain_bits", "val": "%token.0", "bits": 8 },
20
+ { "op": "constrain_bits", "val": "%token.1", "bits": 248 },
21
+ { "op": "constrain_bits", "val": "%amount.2", "bits": 64 },
22
+ { "op": "constrain_bits", "val": "%nonce.3", "bits": 8 },
23
+ { "op": "constrain_bits", "val": "%nonce.4", "bits": 248 },
24
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
25
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x06"] },
26
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x03", "0x01", "0x20", "0x20", "0x01", "%token.0", "%token.1", "0x00", "0x00"] },
27
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
28
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
29
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
30
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x10", "%amount.2"] },
31
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
32
+ { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
33
+ { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
34
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
35
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
36
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
37
+ { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
38
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
39
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
40
+ { "op": "private_input", "type": "Scalar<BLS12-381>", "output": "%value.5", "guard": null },
41
+ { "op": "constrain_bits", "val": "%value.5", "bits": 8 },
42
+ { "op": "private_input", "type": "Scalar<BLS12-381>", "output": "%value.6", "guard": null },
43
+ { "op": "constrain_bits", "val": "%value.6", "bits": 248 },
44
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.7", "guard": null },
45
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.8", "guard": null },
46
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
47
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
48
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%contractAddress.7", "%contractAddress.8"] },
49
+ { "op": "persistent_hash", "output": "%bytes.9", "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", "%token.0", "%token.1", "%contractAddress.7", "%contractAddress.8"] },
50
+ { "op": "bytes_into_natives", "outputs": ["%t.10", "%t.11"], "bytes": "%bytes.9" },
51
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
52
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x04"] },
53
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%token.0", "%token.1"] },
54
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
55
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
56
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
57
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x08", "%amount.2"] },
58
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
59
+ { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
60
+ { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
61
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
62
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
63
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
64
+ { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
65
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
66
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
67
+ { "op": "persistent_hash", "output": "%bytes.12", "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.3", "%nonce.4", "%t.11", "%t.10", "%amount.2", "0x01", "%value.5", "%value.6"] },
68
+ { "op": "bytes_into_natives", "outputs": ["%cm.13", "%cm.14"], "bytes": "%bytes.12" },
69
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
70
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x02"] },
71
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%cm.14", "%cm.13"] },
72
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
73
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
74
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
75
+ { "op": "output", "vals": ["%nonce.3", "%nonce.4", "%t.11", "%t.10", "%amount.2"] }
177
76
  ]
178
77
  }
package/contract/managed/shielded-pools/zkir/unshield.zkir CHANGED
@@ -1,210 +1,89 @@
1
1
  {
2
- "version": { "major": 2, "minor": 0 },
2
+ "version": { "major": 3, "minor": 1 },
3
3
  "do_communications_commitment": true,
4
- "num_inputs": 9,
4
+ "inputs": [
5
+ { "name": "%token.0", "type": "Scalar<BLS12-381>" },
6
+ { "name": "%token.1", "type": "Scalar<BLS12-381>" },
7
+ { "name": "%coin.2", "type": "Scalar<BLS12-381>" },
8
+ { "name": "%coin.3", "type": "Scalar<BLS12-381>" },
9
+ { "name": "%coin.4", "type": "Scalar<BLS12-381>" },
10
+ { "name": "%coin.5", "type": "Scalar<BLS12-381>" },
11
+ { "name": "%coin.6", "type": "Scalar<BLS12-381>" },
12
+ { "name": "%recipient.7", "type": "Scalar<BLS12-381>" },
13
+ { "name": "%recipient.8", "type": "Scalar<BLS12-381>" }
14
+ ],
15
+ "outputs": [
16
+ ],
5
17
  "instructions": [
6
- { "op": "constrain_bits", "var": 0, "bits": 8 },
7
- { "op": "constrain_bits", "var": 1, "bits": 248 },
8
- { "op": "constrain_bits", "var": 2, "bits": 8 },
9
- { "op": "constrain_bits", "var": 3, "bits": 248 },
10
- { "op": "constrain_bits", "var": 4, "bits": 8 },
11
- { "op": "constrain_bits", "var": 5, "bits": 248 },
12
- { "op": "constrain_bits", "var": 6, "bits": 128 },
13
- { "op": "constrain_bits", "var": 7, "bits": 8 },
14
- { "op": "constrain_bits", "var": 8, "bits": 248 },
15
- { "op": "load_imm", "imm": "01" },
16
- { "op": "load_imm", "imm": "32" },
17
- { "op": "declare_pub_input", "var": 10 },
18
- { "op": "pi_skip", "guard": 9, "count": 1 },
19
- { "op": "load_imm", "imm": "60" },
20
- { "op": "load_imm", "imm": "00" },
21
- { "op": "declare_pub_input", "var": 11 },
22
- { "op": "declare_pub_input", "var": 9 },
23
- { "op": "declare_pub_input", "var": 9 },
24
- { "op": "declare_pub_input", "var": 12 },
25
- { "op": "pi_skip", "guard": 9, "count": 4 },
26
- { "op": "public_input", "guard": null },
27
- { "op": "public_input", "guard": null },
28
- { "op": "load_imm", "imm": "20" },
29
- { "op": "load_imm", "imm": "0D" },
30
- { "op": "declare_pub_input", "var": 16 },
31
- { "op": "declare_pub_input", "var": 9 },
32
- { "op": "declare_pub_input", "var": 15 },
33
- { "op": "declare_pub_input", "var": 13 },
34
- { "op": "declare_pub_input", "var": 14 },
35
- { "op": "pi_skip", "guard": 9, "count": 5 },
36
- { "op": "load_imm", "imm": "6D69646E696768743A6465726976655F746F6B656E" },
37
- { "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": [12, 17, 0, 1, 13, 14] },
38
- { "op": "test_eq", "a": 4, "b": 18 },
39
- { "op": "test_eq", "a": 5, "b": 19 },
40
- { "op": "cond_select", "bit": 20, "a": 21, "b": 12 },
41
- { "op": "assert", "cond": 22 },
42
- { "op": "test_eq", "a": 7, "b": 12 },
43
- { "op": "test_eq", "a": 8, "b": 12 },
44
- { "op": "cond_select", "bit": 23, "a": 24, "b": 12 },
45
- { "op": "cond_select", "bit": 25, "a": 12, "b": 9 },
46
- { "op": "assert", "cond": 26 },
47
- { "op": "declare_pub_input", "var": 10 },
48
- { "op": "pi_skip", "guard": 9, "count": 1 },
49
- { "op": "declare_pub_input", "var": 11 },
50
- { "op": "declare_pub_input", "var": 9 },
51
- { "op": "declare_pub_input", "var": 9 },
52
- { "op": "declare_pub_input", "var": 12 },
53
- { "op": "pi_skip", "guard": 9, "count": 4 },
54
- { "op": "public_input", "guard": null },
55
- { "op": "public_input", "guard": null },
56
- { "op": "declare_pub_input", "var": 16 },
57
- { "op": "declare_pub_input", "var": 9 },
58
- { "op": "declare_pub_input", "var": 15 },
59
- { "op": "declare_pub_input", "var": 27 },
60
- { "op": "declare_pub_input", "var": 28 },
61
- { "op": "pi_skip", "guard": 9, "count": 5 },
62
- { "op": "load_imm", "imm": "6D69646E696768743A7A737761702D63635B76315D" },
63
- { "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": [29, 2, 3, 4, 5, 6, 12, 27, 28] },
64
- { "op": "load_imm", "imm": "40" },
65
- { "op": "declare_pub_input", "var": 32 },
66
- { "op": "pi_skip", "guard": 9, "count": 1 },
67
- { "op": "load_imm", "imm": "80" },
68
- { "op": "declare_pub_input", "var": 33 },
69
- { "op": "declare_pub_input", "var": 9 },
70
- { "op": "declare_pub_input", "var": 9 },
71
- { "op": "declare_pub_input", "var": 9 },
72
- { "op": "pi_skip", "guard": 9, "count": 4 },
73
- { "op": "load_imm", "imm": "10" },
74
- { "op": "declare_pub_input", "var": 34 },
75
- { "op": "declare_pub_input", "var": 9 },
76
- { "op": "declare_pub_input", "var": 9 },
77
- { "op": "declare_pub_input", "var": 15 },
78
- { "op": "declare_pub_input", "var": 30 },
79
- { "op": "declare_pub_input", "var": 31 },
80
- { "op": "pi_skip", "guard": 9, "count": 6 },
81
- { "op": "declare_pub_input", "var": 34 },
82
- { "op": "declare_pub_input", "var": 12 },
83
- { "op": "pi_skip", "guard": 9, "count": 2 },
84
- { "op": "load_imm", "imm": "A2" },
85
- { "op": "declare_pub_input", "var": 35 },
86
- { "op": "pi_skip", "guard": 9, "count": 1 },
87
- { "op": "declare_pub_input", "var": 32 },
88
- { "op": "pi_skip", "guard": 9, "count": 1 },
89
- { "op": "declare_pub_input", "var": 32 },
90
- { "op": "pi_skip", "guard": 9, "count": 1 },
91
- { "op": "load_imm", "imm": "07" },
92
- { "op": "declare_pub_input", "var": 33 },
93
- { "op": "declare_pub_input", "var": 9 },
94
- { "op": "declare_pub_input", "var": 9 },
95
- { "op": "declare_pub_input", "var": 36 },
96
- { "op": "pi_skip", "guard": 9, "count": 4 },
97
- { "op": "load_imm", "imm": "03" },
98
- { "op": "declare_pub_input", "var": 34 },
99
- { "op": "declare_pub_input", "var": 9 },
100
- { "op": "declare_pub_input", "var": 37 },
101
- { "op": "declare_pub_input", "var": 9 },
102
- { "op": "declare_pub_input", "var": 15 },
103
- { "op": "declare_pub_input", "var": 15 },
104
- { "op": "declare_pub_input", "var": 9 },
105
- { "op": "declare_pub_input", "var": 0 },
106
- { "op": "declare_pub_input", "var": 1 },
107
- { "op": "declare_pub_input", "var": 12 },
108
- { "op": "declare_pub_input", "var": 12 },
109
- { "op": "pi_skip", "guard": 9, "count": 11 },
110
- { "op": "load_imm", "imm": "31" },
111
- { "op": "declare_pub_input", "var": 38 },
112
- { "op": "pi_skip", "guard": 9, "count": 1 },
113
- { "op": "declare_pub_input", "var": 38 },
114
- { "op": "pi_skip", "guard": 9, "count": 1 },
115
- { "op": "load_imm", "imm": "18" },
116
- { "op": "declare_pub_input", "var": 39 },
117
- { "op": "pi_skip", "guard": 9, "count": 1 },
118
- { "op": "declare_pub_input", "var": 34 },
119
- { "op": "declare_pub_input", "var": 9 },
120
- { "op": "declare_pub_input", "var": 9 },
121
- { "op": "declare_pub_input", "var": 34 },
122
- { "op": "declare_pub_input", "var": 6 },
123
- { "op": "pi_skip", "guard": 9, "count": 5 },
124
- { "op": "declare_pub_input", "var": 32 },
125
- { "op": "pi_skip", "guard": 9, "count": 1 },
126
- { "op": "load_imm", "imm": "08" },
127
- { "op": "declare_pub_input", "var": 40 },
128
- { "op": "pi_skip", "guard": 9, "count": 1 },
129
- { "op": "load_imm", "imm": "12" },
130
- { "op": "load_imm", "imm": "04" },
131
- { "op": "declare_pub_input", "var": 41 },
132
- { "op": "declare_pub_input", "var": 42 },
133
- { "op": "pi_skip", "guard": 9, "count": 2 },
134
- { "op": "declare_pub_input", "var": 10 },
135
- { "op": "pi_skip", "guard": 9, "count": 1 },
136
- { "op": "declare_pub_input", "var": 10 },
137
- { "op": "pi_skip", "guard": 9, "count": 1 },
138
- { "op": "load_imm", "imm": "-01" },
139
- { "op": "declare_pub_input", "var": 11 },
140
- { "op": "declare_pub_input", "var": 43 },
141
- { "op": "pi_skip", "guard": 9, "count": 2 },
142
- { "op": "load_imm", "imm": "14" },
143
- { "op": "declare_pub_input", "var": 44 },
144
- { "op": "pi_skip", "guard": 9, "count": 1 },
145
- { "op": "declare_pub_input", "var": 35 },
146
- { "op": "pi_skip", "guard": 9, "count": 1 },
147
- { "op": "declare_pub_input", "var": 32 },
148
- { "op": "pi_skip", "guard": 9, "count": 1 },
149
- { "op": "declare_pub_input", "var": 32 },
150
- { "op": "pi_skip", "guard": 9, "count": 1 },
151
- { "op": "declare_pub_input", "var": 33 },
152
- { "op": "declare_pub_input", "var": 9 },
153
- { "op": "declare_pub_input", "var": 9 },
154
- { "op": "declare_pub_input", "var": 40 },
155
- { "op": "pi_skip", "guard": 9, "count": 4 },
156
- { "op": "load_imm", "imm": "06" },
157
- { "op": "declare_pub_input", "var": 34 },
158
- { "op": "declare_pub_input", "var": 9 },
159
- { "op": "declare_pub_input", "var": 45 },
160
- { "op": "declare_pub_input", "var": 9 },
161
- { "op": "declare_pub_input", "var": 15 },
162
- { "op": "declare_pub_input", "var": 15 },
163
- { "op": "declare_pub_input", "var": 9 },
164
- { "op": "declare_pub_input", "var": 15 },
165
- { "op": "declare_pub_input", "var": 15 },
166
- { "op": "declare_pub_input", "var": 9 },
167
- { "op": "declare_pub_input", "var": 0 },
168
- { "op": "declare_pub_input", "var": 1 },
169
- { "op": "declare_pub_input", "var": 12 },
170
- { "op": "declare_pub_input", "var": 12 },
171
- { "op": "declare_pub_input", "var": 12 },
172
- { "op": "declare_pub_input", "var": 12 },
173
- { "op": "declare_pub_input", "var": 12 },
174
- { "op": "declare_pub_input", "var": 7 },
175
- { "op": "declare_pub_input", "var": 8 },
176
- { "op": "pi_skip", "guard": 9, "count": 19 },
177
- { "op": "declare_pub_input", "var": 38 },
178
- { "op": "pi_skip", "guard": 9, "count": 1 },
179
- { "op": "declare_pub_input", "var": 38 },
180
- { "op": "pi_skip", "guard": 9, "count": 1 },
181
- { "op": "declare_pub_input", "var": 39 },
182
- { "op": "pi_skip", "guard": 9, "count": 1 },
183
- { "op": "declare_pub_input", "var": 34 },
184
- { "op": "declare_pub_input", "var": 9 },
185
- { "op": "declare_pub_input", "var": 9 },
186
- { "op": "declare_pub_input", "var": 34 },
187
- { "op": "declare_pub_input", "var": 6 },
188
- { "op": "pi_skip", "guard": 9, "count": 5 },
189
- { "op": "declare_pub_input", "var": 32 },
190
- { "op": "pi_skip", "guard": 9, "count": 1 },
191
- { "op": "declare_pub_input", "var": 40 },
192
- { "op": "pi_skip", "guard": 9, "count": 1 },
193
- { "op": "declare_pub_input", "var": 41 },
194
- { "op": "declare_pub_input", "var": 42 },
195
- { "op": "pi_skip", "guard": 9, "count": 2 },
196
- { "op": "declare_pub_input", "var": 10 },
197
- { "op": "pi_skip", "guard": 9, "count": 1 },
198
- { "op": "declare_pub_input", "var": 10 },
199
- { "op": "pi_skip", "guard": 9, "count": 1 },
200
- { "op": "declare_pub_input", "var": 11 },
201
- { "op": "declare_pub_input", "var": 43 },
202
- { "op": "pi_skip", "guard": 9, "count": 2 },
203
- { "op": "declare_pub_input", "var": 44 },
204
- { "op": "pi_skip", "guard": 9, "count": 1 },
205
- { "op": "declare_pub_input", "var": 35 },
206
- { "op": "pi_skip", "guard": 9, "count": 1 },
207
- { "op": "declare_pub_input", "var": 32 },
208
- { "op": "pi_skip", "guard": 9, "count": 1 }
18
+ { "op": "constrain_bits", "val": "%token.0", "bits": 8 },
19
+ { "op": "constrain_bits", "val": "%token.1", "bits": 248 },
20
+ { "op": "constrain_bits", "val": "%coin.2", "bits": 8 },
21
+ { "op": "constrain_bits", "val": "%coin.3", "bits": 248 },
22
+ { "op": "constrain_bits", "val": "%coin.4", "bits": 8 },
23
+ { "op": "constrain_bits", "val": "%coin.5", "bits": 248 },
24
+ { "op": "constrain_bits", "val": "%coin.6", "bits": 128 },
25
+ { "op": "constrain_bits", "val": "%recipient.7", "bits": 8 },
26
+ { "op": "constrain_bits", "val": "%recipient.8", "bits": 248 },
27
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.9", "guard": null },
28
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.10", "guard": null },
29
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
30
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
31
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%contractAddress.9", "%contractAddress.10"] },
32
+ { "op": "persistent_hash", "output": "%bytes.11", "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", "%token.0", "%token.1", "%contractAddress.9", "%contractAddress.10"] },
33
+ { "op": "bytes_into_natives", "outputs": ["%t.12", "%t.13"], "bytes": "%bytes.11" },
34
+ { "op": "test_eq", "output": "%t.14", "a": "%coin.4", "b": "%t.13" },
35
+ { "op": "test_eq", "output": "%t.15", "a": "%coin.5", "b": "%t.12" },
36
+ { "op": "cond_select", "output": "%t.16", "bit": "%t.14", "a": "%t.15", "b": "0x00" },
37
+ { "op": "assert", "cond": "%t.16" },
38
+ { "op": "test_eq", "output": "%t.17", "a": "%recipient.7", "b": "0x00" },
39
+ { "op": "test_eq", "output": "%t.18", "a": "%recipient.8", "b": "0x00" },
40
+ { "op": "cond_select", "output": "%t.19", "bit": "%t.17", "a": "%t.18", "b": "0x00" },
41
+ { "op": "cond_select", "output": "%t.20", "bit": "%t.19", "a": "0x00", "b": "0x01" },
42
+ { "op": "assert", "cond": "%t.20" },
43
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.21", "guard": null },
44
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.22", "guard": null },
45
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
46
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
47
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%value.21", "%value.22"] },
48
+ { "op": "persistent_hash", "output": "%bytes.23", "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", "%coin.2", "%coin.3", "%coin.4", "%coin.5", "%coin.6", "0x00", "%value.21", "%value.22"] },
49
+ { "op": "bytes_into_natives", "outputs": ["%tmp.24", "%tmp.25"], "bytes": "%bytes.23" },
50
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
51
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x01"] },
52
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%tmp.25", "%tmp.24"] },
53
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
54
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
55
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
56
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
57
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x07"] },
58
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x03", "0x01", "0x20", "0x20", "0x01", "%token.0", "%token.1", "0x00", "0x00"] },
59
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
60
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
61
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
62
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x10", "%coin.6"] },
63
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
64
+ { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
65
+ { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
66
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
67
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
68
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
69
+ { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
70
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
71
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
72
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
73
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x08"] },
74
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x06", "0x01", "0x20", "0x20", "0x01", "0x20", "0x20", "0x01", "%token.0", "%token.1", "0x00", "0x00", "0x00", "0x00", "0x00", "%recipient.7", "%recipient.8"] },
75
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
76
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
77
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
78
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x10", "%coin.6"] },
79
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
80
+ { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
81
+ { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
82
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
83
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
84
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
85
+ { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
86
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
87
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] }
209
88
  ]
210
89
  }
package/contract/shielded-pools.compact CHANGED
@@ -1,4 +1,4 @@
1
- pragma language_version 0.27;
1
+ pragma language_version 0.28;
2
2
 
3
3
  import CompactStandardLibrary;
4
4
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@shieldedpools/contracts",
3
- "version": "0.1.1",
3
+ "version": "0.2.0",
4
4
  "description": "The Shielded Pool protocol contract and release artifacts.",
5
5
  "license": "Apache-2.0",
6
6
  "repository": {
@@ -28,7 +28,7 @@
28
28
  "access": "public"
29
29
  },
30
30
  "scripts": {
31
- "build": "compact compile +0.35.0 contract/shielded-pools.compact contract/managed/shielded-pools",
31
+ "build": "compact compile +0.36.0 contract/shielded-pools.compact contract/managed/shielded-pools",
32
32
  "test": "node --disable-warning=ExperimentalWarning --test test/*.test.ts",
33
33
  "deploy": "node --disable-warning=ExperimentalWarning scripts/deploy.ts",
34
34
  "prepublishOnly": "npm run build && npm test",
@@ -38,7 +38,7 @@
38
38
  "effect": "3.22.4"
39
39
  },
40
40
  "dependencies": {
41
- "@midnight-ntwrk/compact-runtime": "0.20.0"
41
+ "@midnight-ntwrk/compact-runtime": "0.21.0"
42
42
  },
43
43
  "devDependencies": {
44
44
  "@midnightntwrk/ledger-v9": "1.0.0-rc.5",
@@ -49,6 +49,7 @@
49
49
  "@midnightntwrk/wallet-sdk-shielded": "4.0.0-rc.1",
50
50
  "@midnightntwrk/wallet-sdk-unshielded-wallet": "4.0.0-rc.1",
51
51
  "@types/node": "24.19.2",
52
+ "@types/ws": "8.18.2",
52
53
  "rxjs": "7.8.2",
53
54
  "ws": "8.22.0"
54
55
  }