zama-ai / fhevm Goto Github PK

See if it's possible to add lint rules (Remix/VSCode)

Make sure we're on m6.metal before running benchmarks
Dimension in the same time cpu/memory usage to know which instance should be used to lauch devnet

Benchmark with and without require

As shown in https://soliditylang.org/blog/2023/02/22/user-defined-operators/

• eq
• cast

Currently those tests are missing. Modify corresponding codegen.

Tasks:

• squeeze commits?
• cleanup README
• check PRs and tags
• check CI permissions (re on release)

msgpack_python==0.5.6 is currently listed in requirements.txt, but is deprecated.
This should probably replaced with msgpack==1.0.4, but needs some testing.

See also:
https://pypi.org/project/msgpack/
https://pypi.org/project/msgpack-python/ (deprecated)

Update the validator according to the updated flow for KMS communication. I.e. facilitate communication between the KMS and client for decryption requests according to the tech spec.
Has to be done after this issue

Add syntactic sugar for doing FHE operations involving literals, say FHE.add(x, 5), by inlining the trivial encryption call

This would also necessitate to add corresponding tests and change the codegen of the original library and the mocked one.

Leave Solidity code only and make sure there isn't redundant code inside (e.g. unused precompiles). Also, make sure the library documentation is good and clear and naming convention is consistent.

• Developer imports only one file
• Remove old libraries
• Update examples

Some smart contracts use euint32.wrap(0) to delete entries in mappings, but this is leaking implementation details, and it would be better to use the delete keyword

Use the new euint types for all examples.