mirror of
https://github.com/zama-ai/fhevm-solidity.git
synced 2026-01-10 21:17:58 -05:00
1.6 KiB
1.6 KiB
Roadmap
Features
| name | description | ETA |
|---|---|---|
| 128bits (scalar) | Add euint128 for scalar operations | Q3 '24 |
| Proof for inputs | Generate a proof for every encrypted input | Q3 '24 |
| Threshold decryption | Use threshold decryption | Q3 '24 |
Operations
| name | function name | type | ETA |
|---|---|---|---|
| Random unsigned int | TFHE.randEuintX() |
Random | Q3 '24 |
| Add w/ overflow check | TFHE.safeAdd |
Binary, Decryption | Coming soon (1) |
| Sub w/ overflow check | TFHE.safeSub |
Binary, Decryption | Coming soon (1) |
| Mul w/ overflow check | TFHE.safeMul |
Binary, Decryption | Coming soon (1) |
| Random signed int | TFHE.randEintX() |
Random | - |
| Div | TFHE.div |
Binary | - |
| Rem | TFHE.rem |
Binary | - |
| Set inclusion | TFHE.isIn() |
Binary | - |
NOTE 1: Methods prefixed with
safewill do an overflow check by decrypting an overflow bit and revert if that bit is true.
NOTE 2: Random encrypted integers that are generated fully on-chain. Currently, implemented as a mockup by using a PRNG in the plain. Not for use in production!