Add overloads of TFHE.randEuint() methods that accept an upper bound,
e.g. TFHE.randEuint32(uint32 upperBound). The returned integer will be
in the [0, upperBound) range. Moreover, upperBound must be a power of
2 - that is a design choice for performance reasons.
Note that, as of now, the random numbers are generated in the plain and
are completely public and predictable. An FHE version is coming soon.
Add tests to cover above functionality.
updated to ethermint node
updated node dev version
removed parallel flag from hardhat test
reput inband test for ci
setup evm version to Paris to avoid PUSH0 error and updated hardhat version
removed utils.ts.new file
synced package.json and package-lock.json
prettier
At the moment, the underlying implementation is using a plaintext
PRNG. Because of that, we put a warning for users to be aware of.
Support generation of 8, 16 and 32-bit unsigned integers. Users call it
by `TFHE.randEuint32()` and so on for other types. Can only be called in
transactions - calling it in view functions will fail.
Add tests.
Finally, update the `fhevmjs` dependency to `~0.2.0`.
The decrypt() function decrypts the given euint value.
There are a few considerations when doing decryption:
* if a transaction is reverted due to a failed TFHE.optimisticReq(),
then any decryptions would leak information as they would already
have been decrypted when the txn is reverted at the end (due to the
nature of TFHE.optimisticReq()). To avoid that, we decrypt all optimistic
requires accumulated up to the decrypt call.
* gas estimation might be more imprecise, because control flow can now
depend on decrypted values (that gas estimation doesn't know of as it
always uses 0)
Remove req/optReq uint overloads.
* feat(tfhe): add support for `ebool` type
* fix(auction): use `ebool` adequately
* fix(cmux): fix CMUX example
* fix(lib): rename variables to be consistent
* fix(lib): fix comments
Add documentation for methods that didn't have any. Move doc that was
in Impl.sol to TFHE.sol (e.g. cmux, optReq).
Also, fix neg() and not() in TFHE.sol such that they return a result.
