Proof: When we use an ensemble F to

Proof: When we use an ensemble F to implement the random oracle in the scheme SR, we obtain
the following real scheme (which we denote SR 0 = (G0, SR 0 , VR 0 )):
G0(1k): Uniformly pick s ∈ {0,1}k, set (sk, vk) ← Gfs(1k), and output (hsk, si, hvk, si).
S0
R(hsk, si,msg): Output SR fs(sk,msg).
V 0
R(hvk, si,msg, σ): Output VR fs(vk,msg, σ).
Consider now what happens when we use the ensemble F to implement the the scheme SRF (recall
the definition of RF from Eq. (2)). Since RF is evasive, then from Proposition 4.1 we infer that the
S
RF is secure in the Random Oracle Model. However, when we use the ensemble F to implement
the scheme, the seed s becomes part of the public verification-key, and hence is known to the

Kết quả (Việt) 1:

Bằng chứng: Khi chúng tôi sử dụng dàn F để thực hiện lời tiên tri ngẫu nhiên trong các đề án SR, chúng ta có đượcchương trình thực tế sau đây (mà chúng tôi biểu thị SR 0 = (G0, SR 0, VR 0)):G0(1k): Thống nhất chọn s ∈ {0,1} k, thiết lập (sk, vk) ← Gfs(1k), và đầu ra (hsk, si, hvk, si).S0R (hsk, si, msg): Output SR fs(sk,msg).V 0R (hvk, si, bột ngọt, σ): Output VR fs (vk, bột ngọt, σ).Xem xét bây giờ, những gì sẽ xảy ra khi chúng tôi sử dụng toàn bộ F để thực hiện các đề án SRF (nhớ lạiđịnh nghĩa của RF từ Eq. (2)). Từ RF là lẫn tránh, sau đó từ Döï Luaät 4.1 chúng tôi suy luận mà cácSRF là an toàn trong mô hình Oracle ngẫu nhiên. Tuy nhiên, khi chúng tôi sử dụng toàn bộ F để thực hiệnCác đề án, s hạt giống sẽ trở thành một phần của quy trình xác minh chìa khóa công cộng, và do đó được biết là các

Kết quả (Việt) 2:

Bằng chứng: Khi chúng ta sử dụng một tập hợp F để thực hiện các oracle ngẫu nhiên trong SR đề án, chúng ta có được
những chương trình thực tế sau đây (mà chúng biểu thị SR 0 = (G0, SR 0, VR 0)):
G0 (1k): Thống nhất nhận s ∈ {0,1} k, thiết lập (sk, vk) ← GFS (1k), và đầu ra (HSK, si, HVK, si).
S0
R (HSK, si, msg): fs SR Output (sk, msg) .
V 0
R (HVK, si, msg, σ):. Output VR fs (vk, msg, σ)
Xem xét bây giờ những gì sẽ xảy ra khi chúng ta sử dụng những bộ quần áo đồng F để thực hiện các chương trình SRF (nhớ lại
định nghĩa của RF từ Eq. (2)). Kể từ RF là lảng tránh, sau đó từ Dự 4.1 chúng ta suy ra rằng
S
RF là an toàn trong Random Oracle Model. Tuy nhiên, khi chúng tôi sử dụng những bộ quần áo đồng F để thực hiện
chương trình này, hạt giống s trở thành một phần của công chúng xác minh-key, và do đó được biết đến