In the third step we use CS-proofs

In the third step we use CS-proofs [27] to get rid of the super-polynomial running-time (of
the legitimate procedures), hence obtaining a standard signature scheme that is secure in
the Random Oracle Model, but has no secure implementation. Specifically, in this step we
use CS-proofs as a tool to “diagonalize against all polynomial-time ensembles in polynomial
time”. (As noted by Silvio Micali, this technique may be useful also in other settings where
diagonalization techniques are applied.)

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

Bước thứ ba chúng tôi sử dụng CS-chứng minh [27] để thoát khỏi siêu đa thức thời gian chạy (củathủ tục hợp pháp), do đó có một chương trình tiêu chuẩn chữ ký đó là an toàn trongOracle mẫu ngẫu nhiên, nhưng đã không thực hiện an toàn. Cụ thể, trong bước này chúng tasử dụng CS-chứng minh như một công cụ để "diagonalize chống lại tất cả thời gian đa thức ensembles trong đa thứcthời gian". (Theo ghi nhận của Silvio Micali, kỹ thuật này có thể hữu ích trong các cài đặt khác nơidiagonalization kỹ thuật được áp dụng.)

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

Trong bước thứ ba, chúng tôi sử dụng CS-bằng chứng [27] để thoát khỏi các siêu đa thức chạy-thời gian (các
thủ tục hợp pháp), do đó có được một sơ đồ chữ ký tiêu chuẩn đó là an toàn trong
các ngẫu nhiên Oracle Model, nhưng không có người thực hiện an toàn . Cụ thể, trong bước này, chúng tôi
sử dụng CS-chứng minh như một công cụ để "diagonalize chống lại tất cả các cụm công thời gian đa thức trong đa thức
thời gian". (Theo ghi nhận của Silvio Micali, kỹ thuật này có thể hữu ích cũng trong cài đặt khác, nơi
các kỹ thuật diagonalization được áp dụng.)