In the Veritas project, we investigated verifiable encodings for secure homomorphic analytics, i.e., cryptographic authenticators to guarantee the correctness of privacy-preserving computations performed using fully homomorphic encryption (FHE).
Concretely, I fully implemented our two main approaches and variants thereof on top of the Lattigo FHE library. This modular implementation closely follows the Lattigo interface, allowing existing users of the library to effortlessly add integrity-protection to their existing FHE pipelines, with minimal changes.