You're right -- this is a great theoretical result, but it is hopelessly impractical for use today (just like FHE). Also note that the security of the scheme i

You're right -- this is a great theoretical result, but it is hopelessly impractical for use today (just like FHE). Also note that the security of the scheme itself is untested. There are a handful of hardness assumptions here that have withstood little scrutiny, including the ones inherited from FHE and multilinear maps.