Boundary Check

require/optimisticrequire on euints

Encrypted balance is greater than a plaintext variable
TFHE.req(TFHE.gt(_encBalances[msg.sender], amount));
source: wERC20.sol​
Multiple conditions efficiently (optimistic require)
TFHE.optReq(TFHE.le(ct1, ct2));
source: OptimisticRequire.sol​

Examples - Previous

Snippets

If...else

Last modified 4mo ago