Ở đây, c
≡ biểu thị việc không phân biệt tính toán
(xem một cuốn sách tiêu chuẩn của mật mã, ví dụ, [Gol04], cho một
định nghĩa), và {viewminer, {Ui} i∈I
([di
, xi
, yi
]
n
i = 1)} là
quan điểm chung (một lần nữa, xem [Gol04] cho một định nghĩa chính xác)
của các thợ mỏ và các t hỏng khách hàng, {Ui} i∈I.
Bằng trực giác, định nghĩa này khẳng định một thời gian đa thức
thuật toán M, được gọi là một mô phỏng, có thể mô phỏng những gì các
thợ mỏ và các khách hàng bị hỏng đã được quan sát trong
các giao thức sử dụng chỉ là kết quả d cuối cùng, bị hỏng
kiến thức của người sử dụng, và các khóa công cộng. Do đó, các
thợ mỏ và các khách hàng bị hỏng cùng nhau tìm hiểu được gì
ngoài d.
Định nghĩa
đang được dịch, vui lòng đợi..
