From: SPIKE: secure and private investigation of the kidney exchange problem
Input \(w_0\) | Input \(w_1\) | Output \(w_2\) | Garbled value |
---|---|---|---|
\(k_0^{w_0}\) | \(k_0^{w_1}\) | \(k_0^{w_2}\) | \(\mathrm {Enc}_{k_0^{w_0},k_0^{w_1}}(k_0^{w_2})\) |
\(k_0^{w_0}\) | \(k_1^{w_1}\) | \(k_0^{w_2}\) | \(\mathrm {Enc}_{k_0^{w_0},k_1^{w_1}}(k_0^{w_2})\) |
\(k_1^{w_0}\) | \(k_0^{w_1}\) | \(k_0^{w_2}\) | \(\mathrm {Enc}_{k_1^{w_0},k_0^{w_1}}(k_0^{w_2})\) |
\(k_1^{w_0}\) | \(k_1^{w_1}\) | \(k_1^{w_2}\) | \(\mathrm {Enc}_{k_1^{w_0},k_1^{w_1}}(k_1^{w_2})\) |