PacificYield
2c6c565895
test: revert paths
2024-12-20 12:03:12 +01:00
jatZama
3ba5c16820
chore: fixed FHEVMConfig imports
2024-12-03 12:00:47 +01:00
PacificYield
4725d9637d
style: prettier
2024-11-22 11:52:39 +01:00
PacificYield
9010ead295
chore: updates for lint errors
2024-11-21 17:25:13 +01:00
Joseph-André Turk
45e860d577
feat: updated TFHEExecutor to support new types
...
chore: eq-neq bool support and bitwise scalar support
chore: overloads for fheEq and fheNe
fix: reverts onchain when rhs is 0 in fheDiv-fheRem
feat: added support for scalar and,or,xor
chore: cleanup codegen
feat: adds euint128 and euint256 types
chore: removes ebool fheRandBounded and adds manual tests
feat: adds new types for fheRand
feat: adds trivialEncrypt for ebytesXXX
feat: adds fheEq fheNe ifThenElse for new types
chore: rename asyncDecrypt() to initGateway()
2024-10-18 02:33:10 +02:00
Joseph-André Turk
b737b6dc7e
feat: use dynamic lists in fhevmjsMocked
2024-10-03 12:17:16 +02:00
Joseph-André Turk
b5c3234874
feat: set null FHE gas prices + remove Payment lib
2024-09-27 15:42:42 +02:00
Joseph-André Turk
a00fc344fe
feat: added InputVerifier contract with tests and mock
...
chore: fixed coverage
2024-09-19 04:32:49 +02:00
Joseph-André Turk
52c90d75fd
feat: factored tx gasprice in fhe gasprice with min cap
2024-08-28 16:33:27 +02:00
Joseph-André Turk
ce34ad5fd6
feat: fhe-payment v0
2024-08-27 19:35:28 +02:00
Joseph-André Turk
cebe474755
chore: added missing await
2024-07-23 12:02:09 +02:00
Joseph-André Turk
a3712c8d5e
chore: added missing await
2024-07-22 12:35:04 +02:00
Joseph-André Turk
59c7a0dbe5
test: parallel tests
2024-07-20 11:34:14 +02:00
Joseph-André Turk
84802f5497
test: updated test suite
2024-07-19 21:45:35 +02:00
Joseph-André Turk
e2fcc68bee
test: updated manual tests
2024-07-19 16:14:17 +02:00
Joseph-André Turk
241f020ed0
chore: fixed CI and removed useless args in createInstance
2024-06-29 15:31:39 +02:00
Joseph-André Turk
2a92701338
feat: unit test for ebytes256
2024-06-27 18:41:13 +02:00
Petar Ivanov
7c19b2b426
feat: introduce the ACL and TFHEExecutor contracts
...
Purpose of this commit is to establish a baseline for a working fhEVM
using the ACL and TFHEExecutor contracts. More tests and a rewrite of
examples will come in a future commit.
The ACL contract manages ciphertext permissions, removing the need for
privileged storage and memory in fhEVM.
The TFHEExecutor contract checks ciphertext permissions in the ACL
contract. Only TFHEExecutor is allowed to call FHE precompiles in the
fhEVM.
Not all tests are passing at that point. Only the Rand and the
EncryptedERC20 ones work.
Tests don't use the KMS for decryption. Instead, we load the secret FHE
key and pass it to fhevmjs for decryption.
Update to fhevmjs 0.5.0-1 and tfhe-rs 0.6.1
2024-06-12 11:30:52 +03:00
Clément 'birdy' Danjou
025bb718d9
test: add test with multiple different param
2024-05-29 20:29:23 +02:00
Clément 'birdy' Danjou
22cbdd6834
test: add test for false
2024-05-29 20:29:23 +02:00
Clément 'birdy' Danjou
7933a25b9f
test: add test for euint4
2024-05-29 20:29:23 +02:00
Clément 'birdy' Danjou
94ade6360c
test: add test for eq array
2024-05-27 15:11:46 +02:00
jat
461a0364e5
Merge branch 'main' into fix/euint160_nooracleservicechange
2024-04-09 13:32:13 +02:00
Levent DEMIR
53edf79780
feat: add select for eaddress
2024-04-05 16:15:17 +02:00
Clément 'birdy' Danjou
0f6dd3bb06
feat: add rotl and rotr
2024-04-04 15:27:07 +02:00
Levent DEMIR
9aa848d541
chore: run prettier
2024-04-03 16:49:06 +02:00
Levent DEMIR
c812664336
fixture: rm unused imports
2024-04-03 16:49:06 +02:00
Levent DEMIR
e209353400
chore: add reencrypt
2024-04-03 16:49:06 +02:00
Levent DEMIR
2d336dda3a
chore: consistency for naming
2024-04-03 16:49:06 +02:00
Levent DEMIR
5ee434a663
feat(eaddress): add eaddress with (scalar) ne and (scalar) eq
2024-04-03 16:49:03 +02:00
Clément 'birdy' Danjou
faad51a6ea
feat: introduce select in place of cmux
2024-03-08 11:31:53 +01:00
Clément 'birdy' Danjou
756e4e6dae
refactor: remove deprecated optReq
2024-03-08 03:34:30 +01:00
Joseph-André Turk
c95296d2b6
fix: updated mocked mode to be compatible with new types
2024-03-05 16:31:16 +01:00
Clément 'birdy' Danjou
4e99252ea8
fix: force bigint for shl/shr
2024-03-01 18:04:38 +01:00
Clément 'birdy' Danjou
d42393ef19
fix: set as bigint all parameters in tests
2024-03-01 17:33:41 +01:00
Clément 'birdy' Danjou
502f15c45d
feat: fix test with highest values
2024-03-01 17:05:32 +01:00
Clément 'birdy' Danjou
c0ec02a8e6
fix: change strategy for random number
2024-03-01 14:15:49 +01:00
Clément 'birdy' Danjou
9212a32e7c
fix: fix typo and add test for cast ebool from euint4 and euint8
2024-03-01 13:53:47 +01:00
Clément 'birdy' Danjou
a798189340
fix: add bigint support for inputs
2024-03-01 13:50:03 +01:00
Clément 'birdy' Danjou
117ce9ca2a
fix: force bigint for result potentially big
2024-02-29 17:17:28 +01:00
Clément 'birdy' Danjou
c75594016f
fix: fix all tests
2024-02-29 16:27:31 +01:00
Clément 'birdy' Danjou
42de399ce9
feat: add generator for overloads and implement 4bits tests
2024-02-29 12:52:59 +01:00
Clément 'birdy' Danjou
7b4669fe2a
fix: fix boolean encryption on client side
2024-02-28 15:58:04 +01:00
Clément 'birdy' Danjou
b511101b1b
feat: add 4bits
2024-02-28 14:03:52 +01:00
Clément 'birdy' Danjou
31dbeced23
fix: update Lib for new ebool type
2024-02-28 01:37:11 +01:00
Joseph-André Turk
5afe40218f
fix: removed gasEstimation test
2024-02-27 16:09:08 +01:00
Clément 'birdy' Danjou
c19b36da55
fix: regenerate with fix...
2024-02-09 14:47:45 +01:00
Clément 'birdy' Danjou
6111441224
feat: add test for cast bool to 64bits
2024-02-09 10:58:23 +01:00
Clément 'birdy' Danjou
dc18f050e0
feat: add 64bits support
2024-02-09 10:04:55 +01:00
Joseph-André Turk
d711a11d23
Mocked version of TFHE.sol for coverage and faster tests
...
Mocked version of TFHE.sol for faster tests and coverage
renamed lib_mock to mocks and added documentation
prettier
2024-01-02 14:29:19 +01:00
