It is a type of cryptographic algorithm that enables computation on encrypted data without decrypting it first. This ensures that the data remains encrypted throughout the computation process. Examples of these types of cryptography algorithms include Paillier and Gentry.