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 )):
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)):
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)):