taking proof - based verified computation a few steps closer to practicality ( extended version ) .
Fully Homomorphic SIMD Operations