Sơ đồ chữ ký sửa đổi. Hãy S = (G, S, V) là một chương trình chữ ký (như trên). Chúng tôi sau đó
biểu thị bởi Su = (G, Su, Vũ) sơ đồ chữ ký sửa đổi mà có nguồn gốc bằng cách sử dụng RU ở vị trí của
R trong việc xây dựng trước đó. Cụ thể:
SO
u (sk, msg) def =
1. Nếu (msg, O (msg)) ∈ RU (tức là, nếu msg = hi, si và O (msg) = fs i (msg)) sau đó đầu ra (sk, msg).
2. Nếu không, lượng SO (sk, msg)
đang được dịch, vui lòng đợi..
