@zentity/fhevm-contracts 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 (83) hide show
  1. package/README.md +160 -0
  2. package/abi/ComplianceRules.json +352 -0
  3. package/abi/CompliantERC20.json +493 -0
  4. package/abi/IdentityRegistry.json +712 -0
  5. package/abi/index.d.ts +3 -0
  6. package/abi/index.js +9 -0
  7. package/contracts/ARCHITECTURE.md +66 -0
  8. package/contracts/ARCHITECTURE_EXPLAINER.md +77 -0
  9. package/contracts/compliance/ComplianceRules.sol +255 -0
  10. package/contracts/core/IdentityRegistry.sol +352 -0
  11. package/contracts/interfaces/IIdentityRegistry.sol +226 -0
  12. package/contracts/mocks/.gitkeep +0 -0
  13. package/contracts/tokens/CompliantERC20.sol +379 -0
  14. package/deployments/hardhat/addresses.json +20 -0
  15. package/deployments/localhost/.chainId +1 -0
  16. package/deployments/localhost/ComplianceRules.json +662 -0
  17. package/deployments/localhost/CompliantERC20.json +888 -0
  18. package/deployments/localhost/IdentityRegistry.json +1093 -0
  19. package/deployments/localhost/solcInputs/e36969353329df673b4fae03d39e01c4.json +60 -0
  20. package/deployments/sepolia/.chainId +1 -0
  21. package/deployments/sepolia/.gitkeep +0 -0
  22. package/deployments/sepolia/ComplianceRules.json +662 -0
  23. package/deployments/sepolia/CompliantERC20.json +888 -0
  24. package/deployments/sepolia/IdentityRegistry.json +1093 -0
  25. package/deployments/sepolia/solcInputs/93d280ff0d4e798a18947a9ed6015031.json +60 -0
  26. package/dist/index.d.ts +459 -0
  27. package/dist/index.d.ts.map +1 -0
  28. package/dist/index.js +135 -0
  29. package/package.json +110 -0
  30. package/typechain-types/@fhevm/index.ts +5 -0
  31. package/typechain-types/@fhevm/solidity/config/ZamaConfig.sol/ZamaConfig.ts +69 -0
  32. package/typechain-types/@fhevm/solidity/config/ZamaConfig.sol/ZamaEthereumConfig.ts +90 -0
  33. package/typechain-types/@fhevm/solidity/config/ZamaConfig.sol/index.ts +5 -0
  34. package/typechain-types/@fhevm/solidity/config/index.ts +5 -0
  35. package/typechain-types/@fhevm/solidity/index.ts +7 -0
  36. package/typechain-types/@fhevm/solidity/lib/FHE.sol/FHE.ts +112 -0
  37. package/typechain-types/@fhevm/solidity/lib/FHE.sol/IKMSVerifier.ts +108 -0
  38. package/typechain-types/@fhevm/solidity/lib/FHE.sol/index.ts +5 -0
  39. package/typechain-types/@fhevm/solidity/lib/Impl.sol/IACL.ts +190 -0
  40. package/typechain-types/@fhevm/solidity/lib/Impl.sol/IFHEVMExecutor.ts +623 -0
  41. package/typechain-types/@fhevm/solidity/lib/Impl.sol/IInputVerifier.ts +90 -0
  42. package/typechain-types/@fhevm/solidity/lib/Impl.sol/index.ts +6 -0
  43. package/typechain-types/@fhevm/solidity/lib/index.ts +7 -0
  44. package/typechain-types/common.ts +131 -0
  45. package/typechain-types/contracts/compliance/ComplianceRules.ts +479 -0
  46. package/typechain-types/contracts/compliance/index.ts +4 -0
  47. package/typechain-types/contracts/core/IdentityRegistry.ts +874 -0
  48. package/typechain-types/contracts/core/index.ts +4 -0
  49. package/typechain-types/contracts/index.ts +11 -0
  50. package/typechain-types/contracts/interfaces/IIdentityRegistry.ts +798 -0
  51. package/typechain-types/contracts/interfaces/index.ts +4 -0
  52. package/typechain-types/contracts/tokens/CompliantERC20.sol/CompliantERC20.ts +572 -0
  53. package/typechain-types/contracts/tokens/CompliantERC20.sol/IComplianceChecker.ts +95 -0
  54. package/typechain-types/contracts/tokens/CompliantERC20.sol/index.ts +5 -0
  55. package/typechain-types/contracts/tokens/index.ts +5 -0
  56. package/typechain-types/factories/@fhevm/index.ts +4 -0
  57. package/typechain-types/factories/@fhevm/solidity/config/ZamaConfig.sol/ZamaConfig__factory.ts +69 -0
  58. package/typechain-types/factories/@fhevm/solidity/config/ZamaConfig.sol/ZamaEthereumConfig__factory.ts +43 -0
  59. package/typechain-types/factories/@fhevm/solidity/config/ZamaConfig.sol/index.ts +5 -0
  60. package/typechain-types/factories/@fhevm/solidity/config/index.ts +4 -0
  61. package/typechain-types/factories/@fhevm/solidity/index.ts +5 -0
  62. package/typechain-types/factories/@fhevm/solidity/lib/FHE.sol/FHE__factory.ts +88 -0
  63. package/typechain-types/factories/@fhevm/solidity/lib/FHE.sol/IKMSVerifier__factory.ts +54 -0
  64. package/typechain-types/factories/@fhevm/solidity/lib/FHE.sol/index.ts +5 -0
  65. package/typechain-types/factories/@fhevm/solidity/lib/Impl.sol/IACL__factory.ts +121 -0
  66. package/typechain-types/factories/@fhevm/solidity/lib/Impl.sol/IFHEVMExecutor__factory.ts +810 -0
  67. package/typechain-types/factories/@fhevm/solidity/lib/Impl.sol/IInputVerifier__factory.ts +32 -0
  68. package/typechain-types/factories/@fhevm/solidity/lib/Impl.sol/index.ts +6 -0
  69. package/typechain-types/factories/@fhevm/solidity/lib/index.ts +5 -0
  70. package/typechain-types/factories/contracts/compliance/ComplianceRules__factory.ts +437 -0
  71. package/typechain-types/factories/contracts/compliance/index.ts +4 -0
  72. package/typechain-types/factories/contracts/core/IdentityRegistry__factory.ts +777 -0
  73. package/typechain-types/factories/contracts/core/index.ts +4 -0
  74. package/typechain-types/factories/contracts/index.ts +7 -0
  75. package/typechain-types/factories/contracts/interfaces/IIdentityRegistry__factory.ts +640 -0
  76. package/typechain-types/factories/contracts/interfaces/index.ts +4 -0
  77. package/typechain-types/factories/contracts/tokens/CompliantERC20.sol/CompliantERC20__factory.ts +581 -0
  78. package/typechain-types/factories/contracts/tokens/CompliantERC20.sol/IComplianceChecker__factory.ts +44 -0
  79. package/typechain-types/factories/contracts/tokens/CompliantERC20.sol/index.ts +5 -0
  80. package/typechain-types/factories/contracts/tokens/index.ts +4 -0
  81. package/typechain-types/factories/index.ts +5 -0
  82. package/typechain-types/hardhat.d.ts +261 -0
  83. package/typechain-types/index.ts +32 -0
@@ -0,0 +1,623 @@
1
+ /* Autogenerated file. Do not edit manually. */
2
+ /* tslint:disable */
3
+ /* eslint-disable */
4
+ import type {
5
+ BaseContract,
6
+ BigNumberish,
7
+ BytesLike,
8
+ FunctionFragment,
9
+ Result,
10
+ Interface,
11
+ AddressLike,
12
+ ContractRunner,
13
+ ContractMethod,
14
+ Listener,
15
+ } from "ethers";
16
+ import type {
17
+ TypedContractEvent,
18
+ TypedDeferredTopicFilter,
19
+ TypedEventLog,
20
+ TypedListener,
21
+ TypedContractMethod,
22
+ } from "../../../../common";
23
+
24
+ export interface IFHEVMExecutorInterface extends Interface {
25
+ getFunction(
26
+ nameOrSignature:
27
+ | "cast"
28
+ | "fheAdd"
29
+ | "fheBitAnd"
30
+ | "fheBitOr"
31
+ | "fheBitXor"
32
+ | "fheDiv"
33
+ | "fheEq"
34
+ | "fheGe"
35
+ | "fheGt"
36
+ | "fheIfThenElse"
37
+ | "fheLe"
38
+ | "fheLt"
39
+ | "fheMax"
40
+ | "fheMin"
41
+ | "fheMul"
42
+ | "fheNe"
43
+ | "fheNeg"
44
+ | "fheNot"
45
+ | "fheRand"
46
+ | "fheRandBounded"
47
+ | "fheRem"
48
+ | "fheRotl"
49
+ | "fheRotr"
50
+ | "fheShl"
51
+ | "fheShr"
52
+ | "fheSub"
53
+ | "getInputVerifierAddress"
54
+ | "trivialEncrypt"
55
+ | "verifyInput"
56
+ ): FunctionFragment;
57
+
58
+ encodeFunctionData(
59
+ functionFragment: "cast",
60
+ values: [BytesLike, BigNumberish]
61
+ ): string;
62
+ encodeFunctionData(
63
+ functionFragment: "fheAdd",
64
+ values: [BytesLike, BytesLike, BytesLike]
65
+ ): string;
66
+ encodeFunctionData(
67
+ functionFragment: "fheBitAnd",
68
+ values: [BytesLike, BytesLike, BytesLike]
69
+ ): string;
70
+ encodeFunctionData(
71
+ functionFragment: "fheBitOr",
72
+ values: [BytesLike, BytesLike, BytesLike]
73
+ ): string;
74
+ encodeFunctionData(
75
+ functionFragment: "fheBitXor",
76
+ values: [BytesLike, BytesLike, BytesLike]
77
+ ): string;
78
+ encodeFunctionData(
79
+ functionFragment: "fheDiv",
80
+ values: [BytesLike, BytesLike, BytesLike]
81
+ ): string;
82
+ encodeFunctionData(
83
+ functionFragment: "fheEq",
84
+ values: [BytesLike, BytesLike, BytesLike]
85
+ ): string;
86
+ encodeFunctionData(
87
+ functionFragment: "fheGe",
88
+ values: [BytesLike, BytesLike, BytesLike]
89
+ ): string;
90
+ encodeFunctionData(
91
+ functionFragment: "fheGt",
92
+ values: [BytesLike, BytesLike, BytesLike]
93
+ ): string;
94
+ encodeFunctionData(
95
+ functionFragment: "fheIfThenElse",
96
+ values: [BytesLike, BytesLike, BytesLike]
97
+ ): string;
98
+ encodeFunctionData(
99
+ functionFragment: "fheLe",
100
+ values: [BytesLike, BytesLike, BytesLike]
101
+ ): string;
102
+ encodeFunctionData(
103
+ functionFragment: "fheLt",
104
+ values: [BytesLike, BytesLike, BytesLike]
105
+ ): string;
106
+ encodeFunctionData(
107
+ functionFragment: "fheMax",
108
+ values: [BytesLike, BytesLike, BytesLike]
109
+ ): string;
110
+ encodeFunctionData(
111
+ functionFragment: "fheMin",
112
+ values: [BytesLike, BytesLike, BytesLike]
113
+ ): string;
114
+ encodeFunctionData(
115
+ functionFragment: "fheMul",
116
+ values: [BytesLike, BytesLike, BytesLike]
117
+ ): string;
118
+ encodeFunctionData(
119
+ functionFragment: "fheNe",
120
+ values: [BytesLike, BytesLike, BytesLike]
121
+ ): string;
122
+ encodeFunctionData(functionFragment: "fheNeg", values: [BytesLike]): string;
123
+ encodeFunctionData(functionFragment: "fheNot", values: [BytesLike]): string;
124
+ encodeFunctionData(
125
+ functionFragment: "fheRand",
126
+ values: [BigNumberish]
127
+ ): string;
128
+ encodeFunctionData(
129
+ functionFragment: "fheRandBounded",
130
+ values: [BigNumberish, BigNumberish]
131
+ ): string;
132
+ encodeFunctionData(
133
+ functionFragment: "fheRem",
134
+ values: [BytesLike, BytesLike, BytesLike]
135
+ ): string;
136
+ encodeFunctionData(
137
+ functionFragment: "fheRotl",
138
+ values: [BytesLike, BytesLike, BytesLike]
139
+ ): string;
140
+ encodeFunctionData(
141
+ functionFragment: "fheRotr",
142
+ values: [BytesLike, BytesLike, BytesLike]
143
+ ): string;
144
+ encodeFunctionData(
145
+ functionFragment: "fheShl",
146
+ values: [BytesLike, BytesLike, BytesLike]
147
+ ): string;
148
+ encodeFunctionData(
149
+ functionFragment: "fheShr",
150
+ values: [BytesLike, BytesLike, BytesLike]
151
+ ): string;
152
+ encodeFunctionData(
153
+ functionFragment: "fheSub",
154
+ values: [BytesLike, BytesLike, BytesLike]
155
+ ): string;
156
+ encodeFunctionData(
157
+ functionFragment: "getInputVerifierAddress",
158
+ values?: undefined
159
+ ): string;
160
+ encodeFunctionData(
161
+ functionFragment: "trivialEncrypt",
162
+ values: [BigNumberish, BigNumberish]
163
+ ): string;
164
+ encodeFunctionData(
165
+ functionFragment: "verifyInput",
166
+ values: [BytesLike, AddressLike, BytesLike, BigNumberish]
167
+ ): string;
168
+
169
+ decodeFunctionResult(functionFragment: "cast", data: BytesLike): Result;
170
+ decodeFunctionResult(functionFragment: "fheAdd", data: BytesLike): Result;
171
+ decodeFunctionResult(functionFragment: "fheBitAnd", data: BytesLike): Result;
172
+ decodeFunctionResult(functionFragment: "fheBitOr", data: BytesLike): Result;
173
+ decodeFunctionResult(functionFragment: "fheBitXor", data: BytesLike): Result;
174
+ decodeFunctionResult(functionFragment: "fheDiv", data: BytesLike): Result;
175
+ decodeFunctionResult(functionFragment: "fheEq", data: BytesLike): Result;
176
+ decodeFunctionResult(functionFragment: "fheGe", data: BytesLike): Result;
177
+ decodeFunctionResult(functionFragment: "fheGt", data: BytesLike): Result;
178
+ decodeFunctionResult(
179
+ functionFragment: "fheIfThenElse",
180
+ data: BytesLike
181
+ ): Result;
182
+ decodeFunctionResult(functionFragment: "fheLe", data: BytesLike): Result;
183
+ decodeFunctionResult(functionFragment: "fheLt", data: BytesLike): Result;
184
+ decodeFunctionResult(functionFragment: "fheMax", data: BytesLike): Result;
185
+ decodeFunctionResult(functionFragment: "fheMin", data: BytesLike): Result;
186
+ decodeFunctionResult(functionFragment: "fheMul", data: BytesLike): Result;
187
+ decodeFunctionResult(functionFragment: "fheNe", data: BytesLike): Result;
188
+ decodeFunctionResult(functionFragment: "fheNeg", data: BytesLike): Result;
189
+ decodeFunctionResult(functionFragment: "fheNot", data: BytesLike): Result;
190
+ decodeFunctionResult(functionFragment: "fheRand", data: BytesLike): Result;
191
+ decodeFunctionResult(
192
+ functionFragment: "fheRandBounded",
193
+ data: BytesLike
194
+ ): Result;
195
+ decodeFunctionResult(functionFragment: "fheRem", data: BytesLike): Result;
196
+ decodeFunctionResult(functionFragment: "fheRotl", data: BytesLike): Result;
197
+ decodeFunctionResult(functionFragment: "fheRotr", data: BytesLike): Result;
198
+ decodeFunctionResult(functionFragment: "fheShl", data: BytesLike): Result;
199
+ decodeFunctionResult(functionFragment: "fheShr", data: BytesLike): Result;
200
+ decodeFunctionResult(functionFragment: "fheSub", data: BytesLike): Result;
201
+ decodeFunctionResult(
202
+ functionFragment: "getInputVerifierAddress",
203
+ data: BytesLike
204
+ ): Result;
205
+ decodeFunctionResult(
206
+ functionFragment: "trivialEncrypt",
207
+ data: BytesLike
208
+ ): Result;
209
+ decodeFunctionResult(
210
+ functionFragment: "verifyInput",
211
+ data: BytesLike
212
+ ): Result;
213
+ }
214
+
215
+ export interface IFHEVMExecutor extends BaseContract {
216
+ connect(runner?: ContractRunner | null): IFHEVMExecutor;
217
+ waitForDeployment(): Promise<this>;
218
+
219
+ interface: IFHEVMExecutorInterface;
220
+
221
+ queryFilter<TCEvent extends TypedContractEvent>(
222
+ event: TCEvent,
223
+ fromBlockOrBlockhash?: string | number | undefined,
224
+ toBlock?: string | number | undefined
225
+ ): Promise<Array<TypedEventLog<TCEvent>>>;
226
+ queryFilter<TCEvent extends TypedContractEvent>(
227
+ filter: TypedDeferredTopicFilter<TCEvent>,
228
+ fromBlockOrBlockhash?: string | number | undefined,
229
+ toBlock?: string | number | undefined
230
+ ): Promise<Array<TypedEventLog<TCEvent>>>;
231
+
232
+ on<TCEvent extends TypedContractEvent>(
233
+ event: TCEvent,
234
+ listener: TypedListener<TCEvent>
235
+ ): Promise<this>;
236
+ on<TCEvent extends TypedContractEvent>(
237
+ filter: TypedDeferredTopicFilter<TCEvent>,
238
+ listener: TypedListener<TCEvent>
239
+ ): Promise<this>;
240
+
241
+ once<TCEvent extends TypedContractEvent>(
242
+ event: TCEvent,
243
+ listener: TypedListener<TCEvent>
244
+ ): Promise<this>;
245
+ once<TCEvent extends TypedContractEvent>(
246
+ filter: TypedDeferredTopicFilter<TCEvent>,
247
+ listener: TypedListener<TCEvent>
248
+ ): Promise<this>;
249
+
250
+ listeners<TCEvent extends TypedContractEvent>(
251
+ event: TCEvent
252
+ ): Promise<Array<TypedListener<TCEvent>>>;
253
+ listeners(eventName?: string): Promise<Array<Listener>>;
254
+ removeAllListeners<TCEvent extends TypedContractEvent>(
255
+ event?: TCEvent
256
+ ): Promise<this>;
257
+
258
+ cast: TypedContractMethod<
259
+ [ct: BytesLike, toType: BigNumberish],
260
+ [string],
261
+ "nonpayable"
262
+ >;
263
+
264
+ fheAdd: TypedContractMethod<
265
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
266
+ [string],
267
+ "nonpayable"
268
+ >;
269
+
270
+ fheBitAnd: TypedContractMethod<
271
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
272
+ [string],
273
+ "nonpayable"
274
+ >;
275
+
276
+ fheBitOr: TypedContractMethod<
277
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
278
+ [string],
279
+ "nonpayable"
280
+ >;
281
+
282
+ fheBitXor: TypedContractMethod<
283
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
284
+ [string],
285
+ "nonpayable"
286
+ >;
287
+
288
+ fheDiv: TypedContractMethod<
289
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
290
+ [string],
291
+ "nonpayable"
292
+ >;
293
+
294
+ fheEq: TypedContractMethod<
295
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
296
+ [string],
297
+ "nonpayable"
298
+ >;
299
+
300
+ fheGe: TypedContractMethod<
301
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
302
+ [string],
303
+ "nonpayable"
304
+ >;
305
+
306
+ fheGt: TypedContractMethod<
307
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
308
+ [string],
309
+ "nonpayable"
310
+ >;
311
+
312
+ fheIfThenElse: TypedContractMethod<
313
+ [control: BytesLike, ifTrue: BytesLike, ifFalse: BytesLike],
314
+ [string],
315
+ "nonpayable"
316
+ >;
317
+
318
+ fheLe: TypedContractMethod<
319
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
320
+ [string],
321
+ "nonpayable"
322
+ >;
323
+
324
+ fheLt: TypedContractMethod<
325
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
326
+ [string],
327
+ "nonpayable"
328
+ >;
329
+
330
+ fheMax: TypedContractMethod<
331
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
332
+ [string],
333
+ "nonpayable"
334
+ >;
335
+
336
+ fheMin: TypedContractMethod<
337
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
338
+ [string],
339
+ "nonpayable"
340
+ >;
341
+
342
+ fheMul: TypedContractMethod<
343
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
344
+ [string],
345
+ "nonpayable"
346
+ >;
347
+
348
+ fheNe: TypedContractMethod<
349
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
350
+ [string],
351
+ "nonpayable"
352
+ >;
353
+
354
+ fheNeg: TypedContractMethod<[ct: BytesLike], [string], "nonpayable">;
355
+
356
+ fheNot: TypedContractMethod<[ct: BytesLike], [string], "nonpayable">;
357
+
358
+ fheRand: TypedContractMethod<
359
+ [randType: BigNumberish],
360
+ [string],
361
+ "nonpayable"
362
+ >;
363
+
364
+ fheRandBounded: TypedContractMethod<
365
+ [upperBound: BigNumberish, randType: BigNumberish],
366
+ [string],
367
+ "nonpayable"
368
+ >;
369
+
370
+ fheRem: TypedContractMethod<
371
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
372
+ [string],
373
+ "nonpayable"
374
+ >;
375
+
376
+ fheRotl: TypedContractMethod<
377
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
378
+ [string],
379
+ "nonpayable"
380
+ >;
381
+
382
+ fheRotr: TypedContractMethod<
383
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
384
+ [string],
385
+ "nonpayable"
386
+ >;
387
+
388
+ fheShl: TypedContractMethod<
389
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
390
+ [string],
391
+ "nonpayable"
392
+ >;
393
+
394
+ fheShr: TypedContractMethod<
395
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
396
+ [string],
397
+ "nonpayable"
398
+ >;
399
+
400
+ fheSub: TypedContractMethod<
401
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
402
+ [string],
403
+ "nonpayable"
404
+ >;
405
+
406
+ getInputVerifierAddress: TypedContractMethod<[], [string], "view">;
407
+
408
+ trivialEncrypt: TypedContractMethod<
409
+ [ct: BigNumberish, toType: BigNumberish],
410
+ [string],
411
+ "nonpayable"
412
+ >;
413
+
414
+ verifyInput: TypedContractMethod<
415
+ [
416
+ inputHandle: BytesLike,
417
+ callerAddress: AddressLike,
418
+ inputProof: BytesLike,
419
+ inputType: BigNumberish
420
+ ],
421
+ [string],
422
+ "nonpayable"
423
+ >;
424
+
425
+ getFunction<T extends ContractMethod = ContractMethod>(
426
+ key: string | FunctionFragment
427
+ ): T;
428
+
429
+ getFunction(
430
+ nameOrSignature: "cast"
431
+ ): TypedContractMethod<
432
+ [ct: BytesLike, toType: BigNumberish],
433
+ [string],
434
+ "nonpayable"
435
+ >;
436
+ getFunction(
437
+ nameOrSignature: "fheAdd"
438
+ ): TypedContractMethod<
439
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
440
+ [string],
441
+ "nonpayable"
442
+ >;
443
+ getFunction(
444
+ nameOrSignature: "fheBitAnd"
445
+ ): TypedContractMethod<
446
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
447
+ [string],
448
+ "nonpayable"
449
+ >;
450
+ getFunction(
451
+ nameOrSignature: "fheBitOr"
452
+ ): TypedContractMethod<
453
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
454
+ [string],
455
+ "nonpayable"
456
+ >;
457
+ getFunction(
458
+ nameOrSignature: "fheBitXor"
459
+ ): TypedContractMethod<
460
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
461
+ [string],
462
+ "nonpayable"
463
+ >;
464
+ getFunction(
465
+ nameOrSignature: "fheDiv"
466
+ ): TypedContractMethod<
467
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
468
+ [string],
469
+ "nonpayable"
470
+ >;
471
+ getFunction(
472
+ nameOrSignature: "fheEq"
473
+ ): TypedContractMethod<
474
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
475
+ [string],
476
+ "nonpayable"
477
+ >;
478
+ getFunction(
479
+ nameOrSignature: "fheGe"
480
+ ): TypedContractMethod<
481
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
482
+ [string],
483
+ "nonpayable"
484
+ >;
485
+ getFunction(
486
+ nameOrSignature: "fheGt"
487
+ ): TypedContractMethod<
488
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
489
+ [string],
490
+ "nonpayable"
491
+ >;
492
+ getFunction(
493
+ nameOrSignature: "fheIfThenElse"
494
+ ): TypedContractMethod<
495
+ [control: BytesLike, ifTrue: BytesLike, ifFalse: BytesLike],
496
+ [string],
497
+ "nonpayable"
498
+ >;
499
+ getFunction(
500
+ nameOrSignature: "fheLe"
501
+ ): TypedContractMethod<
502
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
503
+ [string],
504
+ "nonpayable"
505
+ >;
506
+ getFunction(
507
+ nameOrSignature: "fheLt"
508
+ ): TypedContractMethod<
509
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
510
+ [string],
511
+ "nonpayable"
512
+ >;
513
+ getFunction(
514
+ nameOrSignature: "fheMax"
515
+ ): TypedContractMethod<
516
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
517
+ [string],
518
+ "nonpayable"
519
+ >;
520
+ getFunction(
521
+ nameOrSignature: "fheMin"
522
+ ): TypedContractMethod<
523
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
524
+ [string],
525
+ "nonpayable"
526
+ >;
527
+ getFunction(
528
+ nameOrSignature: "fheMul"
529
+ ): TypedContractMethod<
530
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
531
+ [string],
532
+ "nonpayable"
533
+ >;
534
+ getFunction(
535
+ nameOrSignature: "fheNe"
536
+ ): TypedContractMethod<
537
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
538
+ [string],
539
+ "nonpayable"
540
+ >;
541
+ getFunction(
542
+ nameOrSignature: "fheNeg"
543
+ ): TypedContractMethod<[ct: BytesLike], [string], "nonpayable">;
544
+ getFunction(
545
+ nameOrSignature: "fheNot"
546
+ ): TypedContractMethod<[ct: BytesLike], [string], "nonpayable">;
547
+ getFunction(
548
+ nameOrSignature: "fheRand"
549
+ ): TypedContractMethod<[randType: BigNumberish], [string], "nonpayable">;
550
+ getFunction(
551
+ nameOrSignature: "fheRandBounded"
552
+ ): TypedContractMethod<
553
+ [upperBound: BigNumberish, randType: BigNumberish],
554
+ [string],
555
+ "nonpayable"
556
+ >;
557
+ getFunction(
558
+ nameOrSignature: "fheRem"
559
+ ): TypedContractMethod<
560
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
561
+ [string],
562
+ "nonpayable"
563
+ >;
564
+ getFunction(
565
+ nameOrSignature: "fheRotl"
566
+ ): TypedContractMethod<
567
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
568
+ [string],
569
+ "nonpayable"
570
+ >;
571
+ getFunction(
572
+ nameOrSignature: "fheRotr"
573
+ ): TypedContractMethod<
574
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
575
+ [string],
576
+ "nonpayable"
577
+ >;
578
+ getFunction(
579
+ nameOrSignature: "fheShl"
580
+ ): TypedContractMethod<
581
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
582
+ [string],
583
+ "nonpayable"
584
+ >;
585
+ getFunction(
586
+ nameOrSignature: "fheShr"
587
+ ): TypedContractMethod<
588
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
589
+ [string],
590
+ "nonpayable"
591
+ >;
592
+ getFunction(
593
+ nameOrSignature: "fheSub"
594
+ ): TypedContractMethod<
595
+ [lhs: BytesLike, rhs: BytesLike, scalarByte: BytesLike],
596
+ [string],
597
+ "nonpayable"
598
+ >;
599
+ getFunction(
600
+ nameOrSignature: "getInputVerifierAddress"
601
+ ): TypedContractMethod<[], [string], "view">;
602
+ getFunction(
603
+ nameOrSignature: "trivialEncrypt"
604
+ ): TypedContractMethod<
605
+ [ct: BigNumberish, toType: BigNumberish],
606
+ [string],
607
+ "nonpayable"
608
+ >;
609
+ getFunction(
610
+ nameOrSignature: "verifyInput"
611
+ ): TypedContractMethod<
612
+ [
613
+ inputHandle: BytesLike,
614
+ callerAddress: AddressLike,
615
+ inputProof: BytesLike,
616
+ inputType: BigNumberish
617
+ ],
618
+ [string],
619
+ "nonpayable"
620
+ >;
621
+
622
+ filters: {};
623
+ }
@@ -0,0 +1,90 @@
1
+ /* Autogenerated file. Do not edit manually. */
2
+ /* tslint:disable */
3
+ /* eslint-disable */
4
+ import type {
5
+ BaseContract,
6
+ BytesLike,
7
+ FunctionFragment,
8
+ Result,
9
+ Interface,
10
+ ContractRunner,
11
+ ContractMethod,
12
+ Listener,
13
+ } from "ethers";
14
+ import type {
15
+ TypedContractEvent,
16
+ TypedDeferredTopicFilter,
17
+ TypedEventLog,
18
+ TypedListener,
19
+ TypedContractMethod,
20
+ } from "../../../../common";
21
+
22
+ export interface IInputVerifierInterface extends Interface {
23
+ getFunction(nameOrSignature: "cleanTransientStorage"): FunctionFragment;
24
+
25
+ encodeFunctionData(
26
+ functionFragment: "cleanTransientStorage",
27
+ values?: undefined
28
+ ): string;
29
+
30
+ decodeFunctionResult(
31
+ functionFragment: "cleanTransientStorage",
32
+ data: BytesLike
33
+ ): Result;
34
+ }
35
+
36
+ export interface IInputVerifier extends BaseContract {
37
+ connect(runner?: ContractRunner | null): IInputVerifier;
38
+ waitForDeployment(): Promise<this>;
39
+
40
+ interface: IInputVerifierInterface;
41
+
42
+ queryFilter<TCEvent extends TypedContractEvent>(
43
+ event: TCEvent,
44
+ fromBlockOrBlockhash?: string | number | undefined,
45
+ toBlock?: string | number | undefined
46
+ ): Promise<Array<TypedEventLog<TCEvent>>>;
47
+ queryFilter<TCEvent extends TypedContractEvent>(
48
+ filter: TypedDeferredTopicFilter<TCEvent>,
49
+ fromBlockOrBlockhash?: string | number | undefined,
50
+ toBlock?: string | number | undefined
51
+ ): Promise<Array<TypedEventLog<TCEvent>>>;
52
+
53
+ on<TCEvent extends TypedContractEvent>(
54
+ event: TCEvent,
55
+ listener: TypedListener<TCEvent>
56
+ ): Promise<this>;
57
+ on<TCEvent extends TypedContractEvent>(
58
+ filter: TypedDeferredTopicFilter<TCEvent>,
59
+ listener: TypedListener<TCEvent>
60
+ ): Promise<this>;
61
+
62
+ once<TCEvent extends TypedContractEvent>(
63
+ event: TCEvent,
64
+ listener: TypedListener<TCEvent>
65
+ ): Promise<this>;
66
+ once<TCEvent extends TypedContractEvent>(
67
+ filter: TypedDeferredTopicFilter<TCEvent>,
68
+ listener: TypedListener<TCEvent>
69
+ ): Promise<this>;
70
+
71
+ listeners<TCEvent extends TypedContractEvent>(
72
+ event: TCEvent
73
+ ): Promise<Array<TypedListener<TCEvent>>>;
74
+ listeners(eventName?: string): Promise<Array<Listener>>;
75
+ removeAllListeners<TCEvent extends TypedContractEvent>(
76
+ event?: TCEvent
77
+ ): Promise<this>;
78
+
79
+ cleanTransientStorage: TypedContractMethod<[], [void], "nonpayable">;
80
+
81
+ getFunction<T extends ContractMethod = ContractMethod>(
82
+ key: string | FunctionFragment
83
+ ): T;
84
+
85
+ getFunction(
86
+ nameOrSignature: "cleanTransientStorage"
87
+ ): TypedContractMethod<[], [void], "nonpayable">;
88
+
89
+ filters: {};
90
+ }
@@ -0,0 +1,6 @@
1
+ /* Autogenerated file. Do not edit manually. */
2
+ /* tslint:disable */
3
+ /* eslint-disable */
4
+ export type { IACL } from "./IACL";
5
+ export type { IFHEVMExecutor } from "./IFHEVMExecutor";
6
+ export type { IInputVerifier } from "./IInputVerifier";