企業(yè)網(wǎng)站建設(shè)公司哪家好,帶后臺的網(wǎng)站開發(fā)運營成本,手機怎么制作軟件app,wordpress官方論壇零知識證明系統(tǒng)詳解 1. 多項式時間相關(guān)概念探討 在探討零知識證明系統(tǒng)時，對于概率多項式時間算法轉(zhuǎn)換為嚴格多項式時間算法的做法，在當(dāng)前情境下并不合適。我們傾向于采用特定的定義（類似定義4.3.1 ），而非另一種定義（類似定義4.3.6 ），主要是為了避免使用期望多項式時間…零知識證明系統(tǒng)詳解1. 多項式時間相關(guān)概念探討在探討零知識證明系統(tǒng)時，對于概率多項式時間算法轉(zhuǎn)換為嚴格多項式時間算法的做法，在當(dāng)前情境下并不合適。我們傾向于采用特定的定義（類似定義4.3.1 ），而非另一種定義（類似定義4.3.6 ），主要是為了避免使用期望多項式時間的概念。期望多項式時間的簡單解釋是平均運行時間受輸入長度的多項式所限制。但這個定義存在不足，它在歸約操作下不封閉，且過于依賴具體的機器。例如，有一個函數(shù) (f(x)) ，當(dāng) (x in {0}^*) 時，(f(x) = 2^{|x|}) ；否則 (f(x) = |x|^2) 。該函數(shù)滿足 (E[f(U_n)] n^2 + 1) ，但 (E[f(U_n)^2] 2^n) 。這說明一個函數(shù)的平均值受多項式限制，但其平方后的函數(shù)可能不再受多項式限制。因此，更好的期望多項式時間解釋是，運行時間受一個平均線性增長率的函數(shù)的多項式所限制。也就是說，如果存在一個多項式 (p) 和一個平均線性函數(shù) (ell) ，使得對于足夠長的 (x) ，都有 (f(x) leq p(ell(x))) ，那么我們稱 (f) 是平均多項式的。需要注意的是，如果 (f) 是平均多項式的，那么 (f^2) 也是。在計算零知識的討論中也有類似情況。定義4.3.2要求模擬器在多項式時間內(nèi)工作，而更寬松的概念會允許其在期望多項式時間內(nèi)工作。為了使定義更加優(yōu)雅，通常會對允許期望多項式時間模擬器的定義進行修改，要求對于期望多項式時間驗證者與證明者的交互，也存在這樣的模擬器。2. 誠實驗證者零知識這里簡要討論一種較弱的零知識概念——誠實驗證者零知識。該概念只要求