Succinctly Verifiable Computation over Additively-Homomorphically Encrypted Data: Making Privacy-Preserving Blueprints PracticalMay 2026 — Scott Griffy, Markulf Kohlweiss, Anna Lysyanskaya, Meghna SenguptaPKC '26#privacy-preserving#zkproofs