Commit Graph

193 Commits

Author SHA1 Message Date
jatZama
3173577ed6 feat: new fhevm-core-contracts pre-release 2025-01-08 17:06:44 +01:00
jatZama
87c9c4bd81 feat: new DecryptionOracle contract 2024-12-27 02:13:41 +01:00
jatZama
e9b1dea748 feat: updated to new core contracts prerelease
chore: applied review
2024-12-23 18:17:31 +01:00
jat
749998e622 chore: remove false comment 2024-12-20 17:57:22 +01:00
PacificYield
655dc24f8c test: revert paths 2024-12-19 11:51:13 +01:00
jatZama
b6296348e8 0.6.0-6
chore: stop using defaultGatewayAddress

docs: fix typo in doc
2024-12-03 17:05:27 +01:00
jatZama
6319bee113 chore: moved FHEVMConfig.sol to examples folder 2024-12-03 12:21:45 +01:00
jatZama
3ba5c16820 chore: fixed FHEVMConfig imports 2024-12-03 12:00:47 +01:00
PacificYield
6b9b4622c3 refactor: remove upgrade duplicates with fhevm-backend 2024-11-22 11:06:23 +01:00
PacificYield
bc040b6791 refactor: remove legacy governance contracts and tests 2024-11-21 16:44:27 +01:00
Joseph-André Turk
552fa63293 feat: refactor importing fhevm-core-contracts 2024-10-25 18:15:28 +02:00
Aurora Poppyseed
c6536c1618 docs: fix merge problems 2024-10-22 14:28:08 +02:00
Aurora Poppyseed
da4bcaafb6 Merge branch 'main' into example-docs 2024-10-22 14:18:35 +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
Aurora Poppyseed
1217b9ad9c docs: add comments to example contracts
docs: payment-limit docs

docs: blind auction

docs: improved the comments on example contracts, use of @dev, @params and @notice

docs: readme is updated

docs: imporved readme for examples

docs: improve README

docs: prettier

docs: commit suggestions

docs: shortended readme
2024-10-14 11:29:59 +02:00
Aurora Poppyseed
9616b92ca3 docs: merge branch 'main' of github.com:zama-ai/fhevm into example-docs 2024-10-08 12:38:52 +02:00
Joseph-André Turk
0943a0895c feat: use fhevm deployer private key for deployment
chore: cleanup README

feat: add option to pass addresses for kms signers instead of private keys

chore: typo and cleanup in sh script
2024-10-04 16:15:57 +02:00
Aurora Poppyseed
45bd0336b5 docs: update 2024-10-04 21:16:50 +08:00
Aurora Poppyseed
176fd02f17 docs: added comments for Rand.sol, Reencrypt.sol, Regression.sol, SmartAccount.sol, TestAsyncDecrypt.sol 2024-10-04 20:50:24 +08:00
Aurora Poppyseed
9c97b090b6 docs: diagram 2024-10-04 20:32:46 +08:00
Aurora Poppyseed
dcd7582463 docs: encryptedERC20.sol + added some readme that will be used later 2024-10-04 19:47:10 +08:00
Aurora Poppyseed
5b5b8eef0c docs: update Counter.sol docs 2024-10-04 17:23:41 +08: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
3db5e40e82 feat: support for trustless async decrypt
chore: cleanup old comment
2024-09-17 13:49:01 +02:00
Joseph-André Turk
a2786b4364 feat: made all fhevm contracts UUPS
chore: fixed prettier

fix: typo in address starting with 0

fix: get correct value of counter when doing snapshot
2024-09-12 15:42:48 +02:00
Joseph-André Turk
fa5cb0edaf feat: set protocol addresses in dApp storage
chore: removed useless import
2024-09-10 15:01:43 +02:00
Joseph-André Turk
aa11c4e263 feat: added allowThis function and docs 2024-08-30 12:42:42 +02:00
Joseph-André Turk
625970fb09 feat: added fallback on origin, AA compatibility, tests 2024-08-29 19:40:03 +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
1deeb90eec fix: edge case for mocked fheRand
chore: typo
2024-08-20 15:44:01 +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
a1c02aa962 fix: allow for ebytes256 + reencrypt tests
chore: removed console logs
2024-07-09 14:13:27 +02:00
Clément 'birdy' Danjou
372a4175c6 fix: remove useless import and contracts 2024-07-05 19:07:03 +02:00
Joseph-André Turk
205f7e9fda fix: kmsverifier, solidity ver and silence transient warning
chore: updated version of package

chore: updated npmignore and deleted abstracts
2024-07-05 18:50:44 +02:00
Joseph-André Turk
f4c992eb1e fix: fix regression test
chore: updated some comment
2024-06-30 23:10:42 +02:00
Joseph-André Turk
41d3a9be47 fix: reencrypt 2024-06-29 15:09:06 +02:00
Joseph-André Turk
2a92701338 feat: unit test for ebytes256 2024-06-27 18:41:13 +02:00
Joseph-André Turk
ac86f0d588 feat: updated async decrypt and ex contracts 2024-06-27 15:16:38 +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
d1d41843c1 feat: add support for list-based inputs
More info: https://github.com/zama-ai/fhevm-go/pull/120

API changes will be described in the documentation.

More tests and examples are to be done in a future commit.
2024-06-18 12:45:12 +03:00
Levent DEMIR
cb73a82beb fixture: refactoring from oracle to gateway
This PR is rebasing original fhevm repository to include last async
decrypt api.

The old oracle has been refatored to Gateway plus related changes

A fix in ACL. sol has been done.

The async decrypt test is successfully triggering an event.

The missing part to have the full test is the signatures part in
KMSVerifier.sol.

Check setup-local-fhevm.sh script to see the steps needed to have a
working configuration. Deployment is as follows:

1. Deploy ACL + write deployed @ to lib/.env.acl
2. Deploy TFHEExecutor + write deployed @ to lib/.env.exec
3. Deploy KMSVerifier + write deployed @ to lib/.env.kmsverifier
4. Deploy Gateway + write deployed @ to gateway/.env.gateway
2024-06-12 14:26:07 +02:00
Petar Ivanov
94c43ce637 fix: BlindAuction and manual tests compilation 2024-06-12 11:53:32 +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
Joseph-André Turk
9fe7a915ea fix: BlindAuction 2024-06-07 14:35:17 +02:00
Joseph-André Turk
fa91f113f9 fix: private visibility for encrypted vars
fix: private visibility for encrypted vars
2024-06-07 14:35:17 +02:00
Levent DEMIR
97cb6edf2c chore: run prettier 2024-06-07 14:35:17 +02:00
Levent DEMIR
f6df46d343 chore: adapt code after rebase 2024-06-07 14:34:59 +02:00