Câu hỏi được gắn thẻ «zero-knowledge»

Được thúc đẩy bởi một câu hỏi Greg Kuperberg đã hỏi tôi, tôi tự hỏi liệu có bất kỳ bài viết nào xác định và nghiên cứu các lớp ngôn ngữ phức tạp thừa nhận các loại bằng chứng kiến ​​thức khác nhau . Các lớp như SZK và NISZK …

16 complexity-classes  cr.crypto-security  zero-knowledge 

Trong chương 10 của HAC (10.4.2) , chúng ta thấy giao thức nhận dạng Feige-Fiat-Shamir nổi tiếng dựa trên bằng chứng không có kiến ​​thức bằng cách sử dụng khó khăn (giả định) của việc trích xuất căn bậc hai modulo một hỗn hợp khó có thể xác định được. …

12 cr.crypto-security  proofs  zero-knowledge 

Bằng chứng của Goldreich và cộng sự rằng ba khả năng tạo màu không có bằng chứng kiến ​​thức sử dụng cam kết bit cho toàn bộ màu của đồ thị trong mỗi vòng [1]. Nếu một đồ thị có đỉnh và cạnh , hàm băm an toàn có bit …

11 communication-complexity  zero-knowledge 

Có cách nào mà một người hoạt ngôn có thể thuyết phục một người xác minh rằng một số biểu hiện HORN-SAT là thỏa đáng không? Tất nhiên điều này có vẻ ngớ ngẩn, vì có các thuật toán thời gian tuyến tính cho HORN-SAT. Mặt khác, HORN-SAT là P-Complete, …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

Bằng chứng không có kiến ​​thức đồng thời với độ phức tạp tròn logarit Số trang là từ chính tờ giấy chứ không phải pdf. Từ trang 3, "Một hệ thống chứng minh tương tác được cho là hộp đen (tính toán) không biết nếu có một cỗ máy thời …

8 cr.crypto-security  concurrency  zero-knowledge