Computation designed to be efficient under homomorphic schemes, minimizing multiplicative depth and noise growth.