LWE ⇒ Leveled fully homomorphic encryption

LWE implies Leveled fully homomorphic encryption.

Statement

Migrated verbatim from homomorphic-encryption § Leveled fully homomorphic encryption:

Supports all polynomial-size circuits of a-priori bounded depth (set at key generation time), without bootstrapping. First efficient construction from LWE — BGV12.

Migrated verbatim from homomorphic-encryption § Other results:

• Leveled FHE without bootstrapping from LWE using modulus switching — BGV12

Notes

class: unstated: no citing page says which notion of reduction is meant. Recording a class the wiki does not state would add a claim.

This relation is stated on 2 pages; the statements above are all of them.

Recorded during migration and not fixed — these are claims about the source text, not changes to it:

• No wiki slug for ‘leveled FHE’ - it is a section of this page, not a separate object.
• Duplicate of the Variations bullet at line 48.