Commit Graph

26 Commits

Author SHA1 Message Date
jatZama
3ba5c16820 chore: fixed FHEVMConfig imports 2024-12-03 12:00:47 +01:00
jatZama
83280c66d4 chore: update codegen and removed FHEVMConfig 2024-12-03 11:36:37 +01:00
Joseph-André Turk
be14f85eb5 feat: adds codegen for TFHEExecutor with events 2024-10-25 13:46:10 +02:00
Joseph-André Turk
fe56493b8d feat: creates codegen for InputVerifier variants 2024-10-25 11:34:55 +02: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
7b24a8c659 chore: removed useless file 2024-09-27 16:07:44 +02:00
Joseph-André Turk
0049e9df76 chore: move deposit function from TFHE to Payment library
chore fixed typo
2024-08-28 21:26:11 +02:00
Joseph-André Turk
ce34ad5fd6 feat: fhe-payment v0 2024-08-27 19:35:28 +02:00
Joseph-André Turk
a13cb753e9 feat: symbolic computation of fhe operations handles
chore: fixed typo
2024-08-23 18:22:31 +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
a1c02aa962 fix: allow for ebytes256 + reencrypt tests
chore: removed console logs
2024-07-09 14:13:27 +02:00
Petar Ivanov
68ea71ac70 feat: update with latest Solidity implementation
There are a number of tests that are still not rewritten with the new
APIs. The EncryptedERC20 and Rand examples do work.
2024-06-21 08:05:05 +03: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
d1100432dd refactor: remove config file to use the one exported by fhevmjs 2024-03-08 03:52:29 +01:00
Clément 'birdy' Danjou
756e4e6dae refactor: remove deprecated optReq 2024-03-08 03:34:30 +01:00
Clément 'birdy' Danjou
616f99823b feat() use new cmux 2024-01-08 15:35:51 +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
David
dca8d0679b Add conditional network1 tests 2023-10-25 16:41:46 +08:00
David
bd581422e5 Add network1 development support 2023-10-24 10:56:15 +08:00
David
3d133c6951 Implement operator overloading
following operators are supported:
+, - (unary and binary), *, &, |, ^, ~ (unary)
2023-09-21 10:16:47 +03:00
David
514bf0dc30 Fix codegen for tests 2023-09-14 14:35:35 +03:00
David
9884ed36bb Address Petar's comments 2023-09-01 08:19:17 +03:00
David
d5d8c6221d Add binary operator tests in solidity
Operator changes:
- remove scalar div operator where scalar is left
- perform trivial encryption in scalar for sub/shl/shr operators
2023-08-31 09:57:45 +03:00
David
880278284e Finish codegen rewrite
- TFHE.sol regenerated
- codegen.py deleted
- original order kept
2023-08-28 10:09:33 +03:00
David
13c41043f3 Rewrite codegen first stab 2023-08-24 11:34:50 +03:00