Bước đầu tiên
Definition. Hãy S = (G, S, V) là một chương trình chữ ký (có thể có hoặc không có thể sử dụng một ngẫu nhiên
oracle), và để R có bất kỳ mối quan hệ nhị phân là wrt lảng tránh dài chức năng 'ra. Sau đó, bằng
SR = (G, SR, VR), chúng tôi biểu thị các sửa đổi sau đây của S mà sử dụng một ngẫu nhiên 'ra-oracle:
đang được dịch, vui lòng đợi..
