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.