Homomorphic Encryption is a well-known field of research in cryptography. Honestly, if you are capable of understanding the proofs, you don’t need them to be listed on Wikipedia.