不經意傳輸協議的提取器

在我一直在閱讀的一篇論文中（https://cs.nyu.edu/~ganesh/zk.pdf），在其中一個證明中，有人說：

模擬器的工作原理如下：它使用 OT 模擬器來提取證明者的輸入 $ x_0 $ 到舊約。

這究竟是如何工作的？論文本身沒有定義任何內容，我找不到與不經意傳輸協議的提取器相關的任何內容。（本文還使用 ZKPOK 提取器，但已定義）

論文是關於基於亂碼電路的 ZK 協議，其中驗證者生成亂碼電路，證明者獲取其私有輸入對應的線標籤 $ x_0 $ 通過 COT（承諾 OT）。

您的問題中的模擬通過讓模擬器模擬 COT 的理想功能來工作，這在第 4 頁的圖 1 中定義。這裡的接收者是證明者。現在證明者需要通過發送來呼叫 COT 理想功能 $ (choose,b_i) $ 到理想的功能，其中 $ b_i\in {0,1} $ 是個 $ i $ - 證明者輸入中的第一個位 $ x_0 $ . 由於這個理想的功能是由模擬器模擬的，模擬器得到所有 $ b_i $ 因此“提取”證明者的輸入 $ x_0 $ .

引用自：https://crypto.stackexchange.com/questions/67980