Laminate: Succinct SIMD-Friendly Verifiable FHE↗ (원문, 새 창)

본문 미리보기

In outsourcing computation to untrusted servers, one can cryptographically ensure privacy using Fully Homomorphic Encryption (FHE) or integrity using Verifiable Computation (VC) such as SNARK proofs. While each is practical for some applications in isolation, efficiently composing FHE and VC into Verifiable Computation over Encrypted Data (VCoED) with verification faster than local computation remains a challenge. We introduce $\mathsf{Laminate}$, a family of VCoED protocols for adding integr