Terminology

在“密碼學講義”中,“PTM”是什麼意思?

  • July 9, 2018

我遇到了Shafi Goldwasser 和 Mihir Bellare 的一本名為“密碼學講座筆記”的手冊,我閱讀了他們關於多時間不可區分性的定義 3.1:

讓Xn,是n $ X_n,Y_n $ 是機率分佈{0,1}n $ {0,1}^n $ (也就是說,由噸∈Xn $ t\in X_n $ 我們的意思是噸∈{0,1}n $ t\in{0,1}^n $ 並根據分佈選擇Xn $ X_n $ ).

我們說{Xn} $ {X_n} $ 是多時間無法區分的 {是n} $ {Y_n} $ 如果∀PTM 一個,∀多項式 問,∃n0,英石 ∀n>n0 $ \forall \text{PTM } A, \forall \text{polynomial } Q, \exists n_0, \text{s.t. } \forall n>n_0 $ ,

|公關噸∈Xn(一個(噸)=1)−公關噸∈是n(一個(噸)=1)|<1問(n)

$$ \left|\Pr_{t\in X_n}(A(t)=1)-\Pr_{t\in Y_n}(A(t)=1)\right|<\frac1{Q(n)} $$

我不明白“PTM”是什麼意思,你能給我解釋一下嗎?

正如hakoja 在評論中指出的那樣:

這意味著機率圖靈機,請參見第 B.2.1 節。

寫了以下內容(強調我的,這是完整的 B.2.1 部分):

讓米 $ M $ 表示機率圖靈機(PTM)。 米(X) $ M(x) $ 將表示結果的機率空間米 $ M $ 在它執行期間X $ x $ . 該聲明和∈米(X) $ z\in M(x) $ 表示和 $ z $ 被輸出米 $ M $ 在輸入上執行時X $ x $ .公關[米(X)=和] $ \Pr[M(x) = z] $ 是機率和 $ z $ 作為的輸出米 $ M $ 在輸入X $ x $ (其中機率取代了可能的內部拋硬幣米 $ M $ 在執行期間)。米(X;是) $ M(x; y) $ 將表示結果米 $ M $ 在輸入X $ x $ 當內部拋硬幣時是 $ y $ .

引用自:https://crypto.stackexchange.com/questions/60653