WoutLegiest

Not possible to execute the XRT code in the bazel test environment

5

In a new end to end example, we try to evaluate tfhe-rs-bool code on an FPGA. To communicate with an Xilinx Alveo FPGA we use the XRT library. There is...

Adapting the TfheRustBool dialect to pass the packed api + update cggi to tfhe rust bool conversion pass

4

Follow up work of https://github.com/google/heir/pull/838

Investigate what parts of Fhelipe can be incorporated into HEIR

6

[https://people.csail.mit.edu/devadas/pubs/pldi24_fhelipe.pdf](https://people.csail.mit.edu/devadas/pubs/pldi24_fhelipe.pdf) Paper builds further on top of HECO, for optimal data layout Paper improves on FHE-Booster for finding optimal bootstrap placement in CKKS-contexts Abstract: Fully Homomorphic Encryption (FHE) enables computing...

This PR is a follow up of #842 We implemented a second TfheRustBool Emitter pass, specifically for the packed API (--emit-tfhe-rust-bool-packed) The former emitter pass (--emit-tfhe-rust-bool) still outputs boolean tfhe-rs...

LWE Parameter selection

4

For the LWE parameter selection we could use the LWE estimator: https://github.com/malb/lattice-estimator Another approach would be to use approximated formulas: https://eprint.iacr.org/2024/1001

TfheRustHL Emitter does only pass unsigned integers

1

By default, everything is stored in an unsigned integers. - For instance, the absolute value of `arith::ConstantOp ` is emitted. - `FheUint` is used by default by the CastOp and...

Soms small patches to fix broken CGGI Boolean FPGA tests