complexity bound t), it is hard to

complexity bound t), it is hard to find any pair (x,π) such that M does not accept x within t
steps and yet Ver will accept π as a valid CS-proof to the contrary. One way to obtain this
soundness property from the original one, is by postulating that when the verifier is given a proof
for an assertion w = (hMi,x,t), it uses security parameter k + |w| (rather than just k). Using a
straightforward counting argument we get:
Proposition 2.8 Let (Prv, Ver) be a CS proof system. Then for every polynomial time oracle
machine Bad, there exists a polynomial q(·), such that for every k it holds that

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

phức tạp ràng buộc t), rất khó để tìm thấy bất kỳ cặp (x, π) sao cho M không chấp nhận x trong t
bước và chưa Ver sẽ chấp nhận π là một CS-bằng chứng hợp lệ ngược lại. Một cách để có được điều này
sở hữu tính đúng đắn từ một bản gốc, là bằng định đề rằng khi kiểm tra xác nhận được đưa ra một bằng chứng
cho một sự khẳng định w = (HMI, x, t), nó sử dụng thông số an ninh k + | w | (chứ không phải chỉ là k). Sử dụng một
tham số đếm đơn giản ta có:
Dự 2,8 Lết (PRV, Ver) là một hệ thống chống CS. Sau đó cho mỗi lần oracle đa thức
máy Bad, tồn tại một q đa thức (·), vậy mà cho mọi k nó cho rằng