Teaching an Old Dog New Tricks: Verifiable FHE Using Commodity Hardware

Jules Drean, Fisher Jepsen, Edward Suh +3

We present Argos, a simple approach for adding verifiability to fully homomorphic encryption (FHE) schemes using trusted hardware. Traditional approaches to verifiable FHE require…