If this works out, this is a big breakthrough. One of the encryption schemes described in the paper also looks like it should be reasonably efficient to impleme

If this works out, this is a big breakthrough. One of the encryption schemes described in the paper also looks like it should be reasonably efficient to implement (the scheme "E_1"). That scheme doesn't give you everything you'd need for fully homomorphic encryption, but it is part of the way there.