Development Roadmap

Features

name	description	ETA
64bits	Add euint64	Q2 '24
Encrypted address	Add new type eaddress	Q2 '24
Key Management System	Decrypt through a centralized KMS	Q2 '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
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)
Div	TFHE.div	Binary	-
Rem	TFHE.rem	Binary	-
Random unsigned int	TFHE.randEuintX()	Random	-
Random signed int	TFHE.randEintX()	Random	-
Set inclusion	TFHE.isIn()	Binary	-

NOTE 1: Methods prefixed with safe will 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!