Links

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!