Third stepWe now use CS-proofs to c

Third step
We now use CS-proofs to construct a new signature scheme that works in the Random Oracle
Model. This construction is similar to the one in Subsection 4.2, except that instead of checking
that (msg, O(msg)) ∈ RU, the signer/verifier gets a CS-proof of that claim, and it only needs to
verify the validity of that proof. Since verifying the validity of a CS-proof can be done much more
efficiently than checking the claim “from scratch”, the signing and verifications algorithms in the
new scheme may work in polynomial time. On the other hand, when the scheme is implemented
using the function ensemble Fi, supplying the adequate CS-proof (i.e., for (msg, fs i(msg)) ∈ RU)
only requires polynomial-time (i.e., time polynomial in the time it takes to evaluate fs i). This yields
the following

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

Bước thứ baChúng tôi bây giờ sử dụng CS-bằng chứng để xây dựng một chương trình chữ ký mới các công trình trong Oracle ngẫu nhiênMô hình. Xây dựng này là tương tự như một trong các tiểu mục 4.2, ngoại trừ thay vì kiểm trađó (msg, O(msg)) ∈ RU, người ký tên chung/verifier được CS-chứng minh rằng yêu cầu bồi thường, và nó chỉ cầnxác minh tính xác thực của bằng chứng đó. Kể từ khi xác nhận tính hợp lệ của một chứng minh CS có thể được thực hiện nhiều hơn nữahiệu quả hơn so với kiểm tra yêu cầu bồi thường "từ đầu", ký kết và minh thuật toán trong cácđề án mới có thể làm việc trong thời gian đa thức. Mặt khác, khi đề án được thực hiệnbằng cách sử dụng toàn bộ chức năng Fi, cung cấp đầy đủ chứng minh CS (tức là, đối với (msg, fs i(msg)) ∈ RU)chỉ đòi hỏi thời gian đa thức (tức là, thời gian đa thức trong thời gian để đánh giá fs tôi). Điều này mang lạisau đây

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

Bước thứ ba
Bây giờ chúng ta sử dụng CS-bằng chứng để xây dựng một sơ đồ chữ ký mới mà làm việc trong các ngẫu nhiên Oracle
Model. Xây dựng này là tương tự như tại tiểu mục 4.2, ngoại trừ việc thay vì kiểm tra
đó (msg, O (msg)) ∈ RU, người ký / xác minh được một CS-bằng chứng khẳng định điều đó, và nó chỉ cần
xác minh tính hợp lệ của mà bằng chứng. Kể từ khi xác minh tính hợp lệ của một CS-bằng chứng có thể được thực hiện nhiều hơn nữa
hiệu quả hơn so với việc kiểm tra các tuyên bố "từ đầu", việc ký kết và xác minh các thuật toán trong
kế hoạch mới có thể làm việc trong thời gian đa thức. Mặt khác, khi đề án này được thực hiện
bằng cách sử dụng Fi chức năng ấn tượng, cung cấp đầy đủ CS-proof (tức là, cho (msg, fs i (msg)) ∈ RU)
chỉ đòi hỏi thời gian đa thức (tức là, thời gian đa thức trong thời gian cần thiết để đánh giá fs i). Điều này mang lại
những điều sau đây