@coti-io/coti-contracts 0.1.0 → 1.0.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 (71) hide show
  1. package/contracts/access/DataPrivacyFramework/extensions/DataPrivacyFrameworkMpc.sol +3 -115
  2. package/contracts/mocks/README.md +1 -1
  3. package/contracts/mocks/utils/mpc/ArithmeticTestsContract.sol +105 -280
  4. package/contracts/mocks/utils/mpc/BitwiseTestsContract.sol +83 -187
  5. package/contracts/mocks/utils/mpc/{Comparison1Tests.Contract.sol → Comparison1TestsContract.sol} +67 -115
  6. package/contracts/mocks/utils/mpc/Comparison2TestsContract.sol +68 -116
  7. package/contracts/mocks/utils/mpc/MinMaxTestsContract.sol +69 -164
  8. package/contracts/mocks/utils/mpc/Miscellaneous1TestsContract.sol +70 -52
  9. package/contracts/mocks/utils/mpc/MiscellaneousTestsContract.sol +270 -0
  10. package/contracts/mocks/utils/mpc/OffboardToUserKeyTestContract.sol +102 -0
  11. package/contracts/mocks/utils/mpc/README.md +12 -12
  12. package/contracts/mocks/utils/mpc/TransferScalarTestsContract.sol +54 -211
  13. package/contracts/mocks/utils/mpc/TransferTestsContract.sol +162 -640
  14. package/contracts/onboard/AccountOnboard.sol +3 -3
  15. package/contracts/utils/mpc/MpcCore.sol +2835 -988
  16. package/contracts/utils/mpc/MpcInterface.sol +6 -4
  17. package/hardhat.config.ts +8 -5
  18. package/package.json +2 -2
  19. package/test/utils/accounts.ts +1 -1
  20. package/test/utils/mpc/Precompile.test.ts +26 -37
  21. package/typechain-types/contracts/mocks/utils/mpc/ArithmeticTestsContract.sol/ArithmeticTestsContract.ts +374 -0
  22. package/typechain-types/contracts/mocks/utils/mpc/ArithmeticTestsContract.sol/PrecompilesArythmeticTestsContract.ts +374 -0
  23. package/typechain-types/contracts/mocks/utils/mpc/ArithmeticTestsContract.sol/index.ts +5 -0
  24. package/typechain-types/contracts/mocks/utils/mpc/ArithmeticTestsContract.ts +30 -10
  25. package/typechain-types/contracts/mocks/utils/mpc/BitwiseTestsContract.ts +39 -5
  26. package/typechain-types/contracts/mocks/utils/mpc/Comparison1TestsContract.ts +374 -0
  27. package/typechain-types/contracts/mocks/utils/mpc/Comparison2TestsContract.ts +39 -5
  28. package/typechain-types/contracts/mocks/utils/mpc/MinMaxTestsContract.ts +25 -5
  29. package/typechain-types/contracts/mocks/utils/mpc/Miscellaneous1TestsContract.ts +62 -0
  30. package/typechain-types/contracts/mocks/utils/mpc/MiscellaneousTestsContract.ts +396 -0
  31. package/typechain-types/contracts/mocks/utils/mpc/OffboardToUserKeyTestContract.ts +221 -0
  32. package/typechain-types/contracts/mocks/utils/mpc/OffboardToUserKeyTestsContract.sol/OffboardToUserKeyTestContract.ts +11 -8
  33. package/typechain-types/contracts/mocks/utils/mpc/TransferScalarTestsContract.ts +15 -15
  34. package/typechain-types/contracts/mocks/utils/mpc/TransferTestsContract.ts +15 -15
  35. package/typechain-types/contracts/mocks/utils/mpc/index.ts +3 -6
  36. package/typechain-types/contracts/onboard/AccountOnboard.ts +9 -4
  37. package/typechain-types/contracts/utils/mpc/MpcCore.ts +84 -0
  38. package/typechain-types/contracts/utils/mpc/MpcInterface.sol/ExtendedOperations.ts +81 -40
  39. package/typechain-types/contracts/utils/mpc/index.ts +1 -0
  40. package/typechain-types/factories/contracts/mocks/access/DataPrivacyFramework/DataPrivacyFrameworkMock__factory.ts +1 -1
  41. package/typechain-types/factories/contracts/mocks/token/PrivateERC20/PrivateERC20Mock__factory.ts +1 -1
  42. package/typechain-types/factories/contracts/mocks/token/PrivateERC721/PrivateERC721URIStorageMock__factory.ts +1 -1
  43. package/typechain-types/factories/contracts/mocks/utils/mpc/ArithmeticTestsContract.sol/ArithmeticTestsContract__factory.ts +387 -0
  44. package/typechain-types/factories/contracts/mocks/utils/mpc/ArithmeticTestsContract.sol/PrecompilesArythmeticTestsContract__factory.ts +388 -0
  45. package/typechain-types/factories/contracts/mocks/utils/mpc/ArithmeticTestsContract.sol/index.ts +5 -0
  46. package/typechain-types/factories/contracts/mocks/utils/mpc/ArithmeticTestsContract__factory.ts +20 -7
  47. package/typechain-types/factories/contracts/mocks/utils/mpc/BitwiseTestsContract__factory.ts +28 -2
  48. package/typechain-types/factories/contracts/mocks/utils/mpc/Comparison1Tests.Contract.sol/Comparison1TestsContract__factory.ts +1 -1
  49. package/typechain-types/factories/contracts/mocks/utils/mpc/Comparison1TestsContract__factory.ts +387 -0
  50. package/typechain-types/factories/contracts/mocks/utils/mpc/Comparison2TestsContract__factory.ts +28 -2
  51. package/typechain-types/factories/contracts/mocks/utils/mpc/MinMaxTestsContract__factory.ts +15 -2
  52. package/typechain-types/factories/contracts/mocks/utils/mpc/Miscellaneous1TestsContract__factory.ts +66 -1
  53. package/typechain-types/factories/contracts/mocks/utils/mpc/Miscellaneous2TestsContract__factory.ts +1 -1
  54. package/typechain-types/factories/contracts/mocks/utils/mpc/MiscellaneousTestsContract__factory.ts +424 -0
  55. package/typechain-types/factories/contracts/mocks/utils/mpc/OffboardToUserKeyTestContract__factory.ts +289 -0
  56. package/typechain-types/factories/contracts/mocks/utils/mpc/OffboardToUserKeyTestsContract.sol/OffboardToUserKeyTestContract__factory.ts +19 -3
  57. package/typechain-types/factories/contracts/mocks/utils/mpc/ShiftTestsContract__factory.ts +1 -1
  58. package/typechain-types/factories/contracts/mocks/utils/mpc/StringTestsContract__factory.ts +1 -1
  59. package/typechain-types/factories/contracts/mocks/utils/mpc/TransferScalarTestsContract__factory.ts +4 -4
  60. package/typechain-types/factories/contracts/mocks/utils/mpc/TransferTestsContract__factory.ts +4 -4
  61. package/typechain-types/factories/contracts/mocks/utils/mpc/index.ts +3 -4
  62. package/typechain-types/factories/contracts/mocks/wallet/PrivateERC20Wallet/PrivateERC20WalletMock__factory.ts +1 -1
  63. package/typechain-types/factories/contracts/onboard/AccountOnboard__factory.ts +8 -2
  64. package/typechain-types/factories/contracts/utils/mpc/MpcCore__factory.ts +77 -0
  65. package/typechain-types/factories/contracts/utils/mpc/MpcInterface.sol/ExtendedOperations__factory.ts +124 -61
  66. package/typechain-types/factories/contracts/utils/mpc/index.ts +1 -0
  67. package/typechain-types/hardhat.d.ts +26 -26
  68. package/typechain-types/index.ts +8 -8
  69. package/contracts/mocks/utils/mpc/Miscellaneous2TestsContract.sol +0 -448
  70. package/contracts/mocks/utils/mpc/OffboardToUserKeyTestsContract.sol +0 -81
  71. package/contracts/mocks/utils/mpc/ShiftTestsContract.sol +0 -311
@@ -1,311 +0,0 @@
1
- // SPDX-License-Identifier: MIT
2
-
3
- pragma solidity ^0.8.19;
4
-
5
- import "../../../utils/mpc/MpcCore.sol";
6
-
7
- contract ShiftTestsContract {
8
-
9
- struct AllGTCastingValues {
10
- gtUint8 a8_s;
11
- gtUint8 b8_s;
12
- gtUint16 a16_s;
13
- gtUint16 b16_s;
14
- gtUint32 a32_s;
15
- gtUint32 b32_s;
16
- gtUint64 a64_s;
17
- gtUint64 b64_s;
18
- }
19
-
20
- struct Check16 {
21
- gtUint16 res16_16;
22
- gtUint16 res8_16;
23
- gtUint16 res16_8;
24
- }
25
-
26
- struct Check32 {
27
- gtUint32 res32_32;
28
- gtUint32 res8_32;
29
- gtUint32 res32_8;
30
- gtUint32 res16_32;
31
- gtUint32 res32_16;
32
- }
33
-
34
- struct Check64 {
35
- gtUint64 res64_64;
36
- gtUint64 res8_64;
37
- gtUint64 res64_8;
38
- gtUint64 res16_64;
39
- gtUint64 res64_16;
40
- gtUint64 res32_64;
41
- gtUint64 res64_32;
42
- }
43
-
44
- uint8 result;
45
- uint16 result16;
46
- uint32 result32;
47
- uint64 result64;
48
-
49
- function getResult() public view returns (uint8) {
50
- return result;
51
- }
52
-
53
- function getAllShiftResults()
54
- public
55
- view
56
- returns (uint8, uint16, uint32, uint64)
57
- {
58
- return (result, result16, result32, result64);
59
- }
60
-
61
- function setPublicValues(
62
- AllGTCastingValues memory castingValues,
63
- uint8 a,
64
- uint8 b
65
- ) public {
66
- castingValues.a8_s = MpcCore.setPublic8(a);
67
- castingValues.b8_s = MpcCore.setPublic8(b);
68
- castingValues.a16_s = MpcCore.setPublic16(a);
69
- castingValues.b16_s = MpcCore.setPublic16(b);
70
- castingValues.a32_s = MpcCore.setPublic32(a);
71
- castingValues.b32_s = MpcCore.setPublic32(b);
72
- castingValues.a64_s = MpcCore.setPublic64(a);
73
- castingValues.b64_s = MpcCore.setPublic64(b);
74
- }
75
-
76
- function decryptAndCompareResults16(
77
- Check16 memory check16
78
- ) public returns (uint16) {
79
- // Calculate the result
80
- uint16 result = MpcCore.decrypt(check16.res16_16);
81
-
82
- require(
83
- result == MpcCore.decrypt(check16.res8_16) &&
84
- result == MpcCore.decrypt(check16.res16_8),
85
- "decryptAndCompareAllResults: Failed to decrypt and compare all results"
86
- );
87
-
88
- return result;
89
- }
90
-
91
- function decryptAndCompareResults32(
92
- Check32 memory check32
93
- ) public returns (uint32) {
94
- // Calculate the result
95
- uint32 result = MpcCore.decrypt(check32.res32_32);
96
-
97
- require(
98
- result == MpcCore.decrypt(check32.res8_32) &&
99
- result == MpcCore.decrypt(check32.res32_8) &&
100
- result == MpcCore.decrypt(check32.res32_16) &&
101
- result == MpcCore.decrypt(check32.res16_32),
102
- "decryptAndCompareAllResults: Failed to decrypt and compare all results"
103
- );
104
-
105
- return result;
106
- }
107
-
108
- function decryptAndCompareResults64(
109
- Check64 memory check64
110
- ) public returns (uint64) {
111
- // Calculate the result
112
- uint64 result = MpcCore.decrypt(check64.res64_64);
113
-
114
- require(
115
- result == MpcCore.decrypt(check64.res8_64) &&
116
- result == MpcCore.decrypt(check64.res64_8) &&
117
- result == MpcCore.decrypt(check64.res64_16) &&
118
- result == MpcCore.decrypt(check64.res16_64) &&
119
- result == MpcCore.decrypt(check64.res64_32) &&
120
- result == MpcCore.decrypt(check64.res32_64),
121
- "decryptAndCompareAllResults: Failed to decrypt and compare all results"
122
- );
123
-
124
- return result;
125
- }
126
-
127
- function shlTest(
128
- uint8 a,
129
- uint8 b
130
- ) public returns (uint8, uint16, uint32, uint64) {
131
- AllGTCastingValues memory castingValues;
132
- Check16 memory check16;
133
- Check32 memory check32;
134
- Check64 memory check64;
135
- setPublicValues(castingValues, a, b);
136
-
137
- // Calculate the expected result
138
- result = MpcCore.decrypt(
139
- MpcCore.shl(castingValues.a8_s, castingValues.b8_s)
140
- );
141
-
142
- // Calculate the result with casting to 16
143
- check16.res16_16 = MpcCore.shl(
144
- castingValues.a16_s,
145
- castingValues.b16_s
146
- );
147
- check16.res8_16 = MpcCore.shl(castingValues.a8_s, castingValues.b16_s);
148
- check16.res16_8 = MpcCore.shl(castingValues.a16_s, castingValues.b8_s);
149
- result16 = decryptAndCompareResults16(check16);
150
-
151
- // Calculate the result with casting to 32
152
- check32.res32_32 = MpcCore.shl(
153
- castingValues.a32_s,
154
- castingValues.b32_s
155
- );
156
- check32.res8_32 = MpcCore.shl(castingValues.a8_s, castingValues.b32_s);
157
- check32.res32_8 = MpcCore.shl(castingValues.a32_s, castingValues.b8_s);
158
- check32.res16_32 = MpcCore.shl(
159
- castingValues.a16_s,
160
- castingValues.b32_s
161
- );
162
- check32.res32_16 = MpcCore.shl(
163
- castingValues.a32_s,
164
- castingValues.b16_s
165
- );
166
- result32 = decryptAndCompareResults32(check32);
167
-
168
- // Calculate the result with casting to 64
169
- check64.res64_64 = MpcCore.shl(
170
- castingValues.a64_s,
171
- castingValues.b64_s
172
- );
173
- check64.res8_64 = MpcCore.shl(castingValues.a8_s, castingValues.b64_s);
174
- check64.res64_8 = MpcCore.shl(castingValues.a64_s, castingValues.b8_s);
175
- check64.res16_64 = MpcCore.shl(
176
- castingValues.a16_s,
177
- castingValues.b64_s
178
- );
179
- check64.res64_16 = MpcCore.shl(
180
- castingValues.a64_s,
181
- castingValues.b16_s
182
- );
183
- check64.res32_64 = MpcCore.shl(
184
- castingValues.a32_s,
185
- castingValues.b64_s
186
- );
187
- check64.res64_32 = MpcCore.shl(
188
- castingValues.a64_s,
189
- castingValues.b32_s
190
- );
191
- result64 = decryptAndCompareResults64(check64);
192
-
193
- // Check the result with scalar
194
- require(
195
- result == MpcCore.decrypt(MpcCore.shl(a, castingValues.b8_s)) &&
196
- result == MpcCore.decrypt(MpcCore.shl(castingValues.a8_s, b)),
197
- "shlTest: test 8 bits with scalar failed"
198
- );
199
- require(
200
- result16 == MpcCore.decrypt(MpcCore.shl(a, castingValues.b16_s)) &&
201
- result16 ==
202
- MpcCore.decrypt(MpcCore.shl(castingValues.a16_s, b)),
203
- "shlTest: test 16 bits with scalar failed"
204
- );
205
- require(
206
- result32 == MpcCore.decrypt(MpcCore.shl(a, castingValues.b32_s)) &&
207
- result32 ==
208
- MpcCore.decrypt(MpcCore.shl(castingValues.a32_s, b)),
209
- "shlTest: test 32 bits with scalar failed"
210
- );
211
- require(
212
- result64 == MpcCore.decrypt(MpcCore.shl(a, castingValues.b64_s)) &&
213
- result64 ==
214
- MpcCore.decrypt(MpcCore.shl(castingValues.a64_s, b)),
215
- "shlTest: test 64 bits with scalar failed"
216
- );
217
-
218
- return (result, result16, result32, result64);
219
- }
220
-
221
- function shrTest(uint8 a, uint8 b) public returns (uint8) {
222
- AllGTCastingValues memory castingValues;
223
- Check16 memory check16;
224
- Check32 memory check32;
225
- Check64 memory check64;
226
- setPublicValues(castingValues, a, b);
227
-
228
- // Calculate the expected result
229
- result = MpcCore.decrypt(
230
- MpcCore.shr(castingValues.a8_s, castingValues.b8_s)
231
- );
232
-
233
- // Calculate the results with casting to 16
234
- check16.res16_16 = MpcCore.shr(
235
- castingValues.a16_s,
236
- castingValues.b16_s
237
- );
238
- check16.res8_16 = MpcCore.shr(castingValues.a8_s, castingValues.b16_s);
239
- check16.res16_8 = MpcCore.shr(castingValues.a16_s, castingValues.b8_s);
240
- uint16 res16 = decryptAndCompareResults16(check16);
241
- require(res16 == result, "shrTest: cast 16 failed");
242
-
243
- // Calculate the result with casting to 32
244
- check32.res32_32 = MpcCore.shr(
245
- castingValues.a32_s,
246
- castingValues.b32_s
247
- );
248
- check32.res8_32 = MpcCore.shr(castingValues.a8_s, castingValues.b32_s);
249
- check32.res32_8 = MpcCore.shr(castingValues.a32_s, castingValues.b8_s);
250
- check32.res16_32 = MpcCore.shr(
251
- castingValues.a16_s,
252
- castingValues.b32_s
253
- );
254
- check32.res32_16 = MpcCore.shr(
255
- castingValues.a32_s,
256
- castingValues.b16_s
257
- );
258
- uint32 res32 = decryptAndCompareResults32(check32);
259
- require(result == res32, "shrTest: cast 32 failed");
260
-
261
- // Calculate the result with casting to 64
262
- check64.res64_64 = MpcCore.shr(
263
- castingValues.a64_s,
264
- castingValues.b64_s
265
- );
266
- check64.res8_64 = MpcCore.shr(castingValues.a8_s, castingValues.b64_s);
267
- check64.res64_8 = MpcCore.shr(castingValues.a64_s, castingValues.b8_s);
268
- check64.res16_64 = MpcCore.shr(
269
- castingValues.a16_s,
270
- castingValues.b64_s
271
- );
272
- check64.res64_16 = MpcCore.shr(
273
- castingValues.a64_s,
274
- castingValues.b16_s
275
- );
276
- check64.res32_64 = MpcCore.shr(
277
- castingValues.a32_s,
278
- castingValues.b64_s
279
- );
280
- check64.res64_32 = MpcCore.shr(
281
- castingValues.a64_s,
282
- castingValues.b32_s
283
- );
284
- uint64 res64 = decryptAndCompareResults64(check64);
285
- require(result == res64, "shrTest: cast 64 failed");
286
-
287
- // Check the result with scalar
288
- require(
289
- result == MpcCore.decrypt(MpcCore.shr(a, castingValues.b8_s)) &&
290
- result == MpcCore.decrypt(MpcCore.shr(castingValues.a8_s, b)),
291
- "shrTest: test 8 bits with scalar failed"
292
- );
293
- require(
294
- result == MpcCore.decrypt(MpcCore.shr(a, castingValues.b16_s)) &&
295
- result == MpcCore.decrypt(MpcCore.shr(castingValues.a16_s, b)),
296
- "shrTest: test 16 bits with scalar failed"
297
- );
298
- require(
299
- result == MpcCore.decrypt(MpcCore.shr(a, castingValues.b32_s)) &&
300
- result == MpcCore.decrypt(MpcCore.shr(castingValues.a32_s, b)),
301
- "shrTest: test 32 bits with scalar failed"
302
- );
303
- require(
304
- result == MpcCore.decrypt(MpcCore.shr(a, castingValues.b64_s)) &&
305
- result == MpcCore.decrypt(MpcCore.shr(castingValues.a64_s, b)),
306
- "shrTest: test 64 bits with scalar failed"
307
- );
308
-
309
- return result;
310
- }
311
- }