KHÁI NIỆM ZKP

ZKP là một trong những khái niệm trừu tượng và cũng rất hấp dẫn của mật mã hiện đại. Thuật ngữ Zero - Knowledge hay “tri thức không tiết lộ” được công bố lần đầu bởi tác giả Shafi Goldwasser và các đồng sự vào năm 1985. ZKP là phương pháp mà một bên P (người chứng minh - Prover) có thể chứng minh với bên còn lại V (người xác minh - Verifier) rằng P biết một giá trị x tồn tại, mà không cần tiết lộ bất kỳ thông tin nào cho V về giá trị x này [1]. Kỹ thuật này được thực hiện bởi sự tương tác giữa hai bên nên cũng có thể gọi là giao thức.

CÁC TÍNH CHẤT CỦA ZKP

ZKP có thể hoạt động được khi thỏa mãn ba tính chất sau [2]:

- Completeness (Tính hoàn thành): Nếu người chứng minh cung cấp các thông tin là đúng thì ZKP giúp cho người kiểm tra xác định được người chứng minh đang nói sự thật.

- Soundness (Tính hợp lý): Nếu người chứng minh cung cấp các thông tin sai lệch thì ZKP phải giúp cho người kiểm tra bác bỏ rằng người chứng minh đang nói sự thật.

- Zero-Knowledge (Tính không tiết lộ tri thức): Trong mọi trường hợp thì người kiểm tra sẽ không biết gì về thông tin cần xác minh của người chứng minh.

Quý độc giả quan tâm vui lòng xem chi tiết bài viết tại đây.