Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE's Bootstrapping using plonky2
| Title: | Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE's Bootstrapping using plonky2 |
|---|---|
| Authors: | Tremblay Thibault, Louis; Walter, Michael |
| Source: | Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. :1113-1126 |
| Availability: | http://dl.acm.org/doi/10.1145/3719027.3765097 |
| Database: | ACM Full-Text Collection |