(Micali [27]) There exists a non-in

(Micali [27]) There exists a non-interactive CS proof system in the Random Oracle
Model.
For the proof of our construction (Theorem 4.4), we need a different soundness condition than
the one from above. Specifically, we need to make sure that given the machine M (and the

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

(Micali [27]) Có tồn tại một hệ thống chứng minh CS không tương tác trong Oracle ngẫu nhiênMô hình.Để chứng minh chúng tôi xây dựng (định lý 4,4), chúng ta cần một điều kiện khác nhau soundness hơnmột trong những từ ở trên. Cụ thể, chúng ta cần phải chắc chắn rằng cho máy M (và các

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

(Micali [27]) Có tồn tại một hệ thống chống CS không tương tác trong các ngẫu nhiên Oracle
Model.
Đối với những bằng chứng về xây dựng của chúng tôi (Định lý 4.4), chúng ta cần một điều kiện lành mạnh khác với
một trong những từ trên. Cụ thể, chúng ta cần phải chắc chắn rằng cho máy M (và