Abstract / scope
This document defines the general concepts and principles of fully homomorphic encryption including foundational definitions, symbols and formats. This document also describes the security models, hardness assumptions with concrete security, message spaces, plaintext spaces, ciphertext spaces, and key spaces.
Verification that the function itself is computed correctly is outside of the scope.