A Look Into Homomorphic Cryptography and the BV Homomorphic Encryption Scheme
Abstract
Vi tar en titt på det homomorfiske kryptosystemet BV og ser i tillegg på sikkerhets-, korrekthets- of compakthets-bevis for dette som et eksempel på hvordan man driver med homomorfisk kryptografi og hvordan man kan skrive bevis i feltet. Vi utvider bevisene i den opprinnelige artikkelen i et forsøk om å gjøre dem lettere å følge. We take a look at the BV homomorphic encryption scheme and security, correctness, and compactness proofs for this encryption scheme as an example of how homomorphic encryption is done, and how proofs in the field are written. We expand the proofs in the original paper in an attempt to make the arguments easier to follow.