Oblivious-Transfer
多輪（承諾）不經意轉移
我想知道一個計算以下功能的協議：
- Alice 選擇位 b。
- 對於 i = 1 到 n，Bob 選擇 $ x^i_0 $ 和 $ x^i_1 $ .
- 對於 i = 1 到 n，Alice 和 Bob 執行 $ F_{OT} $ Alice 作為接收者，輸入 b 和 Bob 作為發送者，輸入 $ x^i_0 $ 和 $ x^i_1 $ ，導致 Alice 收到 $ x^1_b, x^2_b, …, x^n_b $ .
- （可選功能）對於 1 到 n 中的任何 i，Bob 可以決定揭示 $ x^i_0 $ 和 $ x^i_1 $ 稍後。
重要的是，Alice 不能在 $ F_{OT} $ 互動。那可能嗎？送出的不經意轉移有幫助嗎？如果是這樣，為什麼？
最直接的方法是讓 Bob 選擇兩個隨機對稱密鑰 $ k_0 $ 和 $ k_1 $ 並讓 Bob 發布 $ Encrypt_{k_0}( x_0^i ) $ 和 $ Encrypt_{k_1}( x_1^i) $ .
然後，Bob 與 Alice 進行 OT，允許 Alice 在 $ k_0 $ 或者 $ k_1 $ .
她學會了 $ k_b $ ，然後能夠解密所有 $ Encrypt_{k_b}( x_b^i ) $ 價值觀，導致她學習 $ x_b^1, x_b^2, …, x_b^n $
因為她只學會了其中之一 $ k_0, k_1 $ ，她學到的價值都來自同一個一半。