Bằng chứng zero-knowledge, đôi khi còn được gọi là giao thức zk, là một phương pháp xác minh diễn ra giữa một người chứng minh và một người xác minh. Trong hệ thống bằng chứng zero-knowledge, người chứng minh có thể chứng minh với người xác minh rằng họ có hiểu biết về một mẩu thông tin cụ thể (chẳng hạn như lời giải của một phương trình toán học) mà không tiết lộ chính thông tin đó. Các hệ thống bằng chứng này có thể được sử dụng bởi các nhà mật mã hiện đại để cung cấp mức độ riêng tư và bảo mật cao hơn.
Bằng chứng zk phải đáp ứng hai yêu cầu cơ bản được gọi là tính đầy đủ và tính hợp lý. Tính đầy đủ đề cập đến khả năng của người chứng minh chứng tỏ hiểu biết về thông tin liên quan ở mức độ chính xác cao có thể xảy ra. Để bằng chứng hợp lý, người xác minh phải có khả năng xác định một cách đáng tin cậy liệu người chứng minh có thực sự sở hữu thông tin hay không. Cuối cùng, để thực sự không cần hiểu biết, bằng chứng này phải đạt được cả tính đầy đủ và tính hợp lý mà thông tin được đề cập không bao giờ được trao đổi giữa người chứng minh và người xác minh.
Bằng chứng zero-knowledge chủ yếu được sử dụng cho các ứng dụng mà trong đó quyền riêng tư và bảo mật là điều cần thiết. Ví dụ: các hệ thống xác thực có thể sử dụng bằng chứng zk để xác minh thông tin đăng nhập hoặc danh tính mà không trực tiếp tiết lộ chúng. Một ví dụ đơn giản, nó có thể được sử dụng để xác minh rằng một người có mật khẩu vào hệ thống máy tính mà không cần tiết lộ mật khẩu đó là gì.
Ngành khoa học sử dụng các lý thuyết và công thức toán học để mã hóa và giải mã thông tin.
“Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Đối số Zero-knowledge không tương tác cô đọ...
Một hàm mã hóa linh hoạt được thiết kế bởi Guido Bertoni, Joan Daemen, Michaël Peeters và Gilles Van Assche.