This document summarizes an improved protocol for secure two-party computation using additive homomorphic encryption. The proposed protocol allows a server to compute an encrypted function f(m) on an encrypted input Enc(m), without learning the plaintext value m, with the help of a client who holds the decryption key. The improvement reduces the protocol to 1 round of communication, compared to 2 rounds previously, and reduces the communication size by a factor of 40-130x. It achieves this by having the client use zero-knowledge proofs to convince the server that it correctly generated the output encryption Enc'(f(m)) from the input encryption Enc(m), without revealing any plaintext values.
Outline of Genetic Algorithm + Searching for Maximum Value of Function and Traveling Salesman Problem using R.
To view source codes and animation:
Searching for Maximum Value of Function
- https://github.com/katokohaku/evolutional_comptutation/blob/master/chap2.1.Rmd
Traveling Salesman Problem
- https://github.com/katokohaku/evolutional_comptutation/blob/master/chap2.2.Rmd
This document summarizes an improved protocol for secure two-party computation using additive homomorphic encryption. The proposed protocol allows a server to compute an encrypted function f(m) on an encrypted input Enc(m), without learning the plaintext value m, with the help of a client who holds the decryption key. The improvement reduces the protocol to 1 round of communication, compared to 2 rounds previously, and reduces the communication size by a factor of 40-130x. It achieves this by having the client use zero-knowledge proofs to convince the server that it correctly generated the output encryption Enc'(f(m)) from the input encryption Enc(m), without revealing any plaintext values.
Outline of Genetic Algorithm + Searching for Maximum Value of Function and Traveling Salesman Problem using R.
To view source codes and animation:
Searching for Maximum Value of Function
- https://github.com/katokohaku/evolutional_comptutation/blob/master/chap2.1.Rmd
Traveling Salesman Problem
- https://github.com/katokohaku/evolutional_comptutation/blob/master/chap2.2.Rmd