Bằng chứng kiến thức tổng quát với thiết lập hoàn toàn động
Generalized Proofs of Knowledge with Fully Dynamic Setup.
Bằng chứng về kiến thức (PoK) là một trong những khái niệm cơ bản nhất trong mật mã học. Điểm hấp dẫn của khái niệm này là nó cung cấp một khuôn mẫu tổng quát mà một ứng dụng có thể khởi tạo phù hợp bằng cách chọn một mối liên hệ cụ thể. Tuy nhiên, một số ứng dụng quan trọng đã được đưa ra ánh sáng, bao gồm bằng chứng về quyền sở hữu tệp tin hoặc xác thực hai yếu tố, không phù hợp với khuôn mẫu PoK nhưng tự nhiên có vẻ là những trường hợp đặc biệt của một khái niệm tổng quát hơn về bằng chứng kiến thức hoặc quyền sở hữu. Do đó, người ta mong đợi các thuộc tính bảo mật của chúng, đặc biệt là quyền riêng tư và độ tin cậy, chỉ đơn giản là bắt nguồn từ sự khởi tạo cụ thể của một khái niệm PoK tổng quát chung với ngữ nghĩa bảo mật được hiểu rõ. Thật không may, khái niệm như vậy không tồn tại, dẫn đến nhiều định nghĩa bảo mật được thiết kế riêng mà tính hợp lý của chúng phải được kiểm tra trên cơ sở từng trường hợp cụ thể. Trong công việc này, các tác giả thu hẹp khoảng cách này bằng cách cung cấp nền tảng lý thuyết của một khái niệm tổng quát về PoK bao gồm các mối liên hệ động và phụ thuộc vào thiết lập cũng như các nguồn gốc câu lệnh tương tác. Sự kết hợp mới lạ này cho phép một ứng dụng trực tiếp xác định các mối liên hệ phụ thuộc vào một thiết lập được giả định, chẳng hạn như một Oracle ngẫu nhiên, một cơ sở dữ liệu hoặc sổ cái, và để các phát biểu được thống nhất một cách tương tác và động giữa các bên dựa trên trạng thái của thiết lập. Khái niệm mới của các tác giả được gọi là thỏa thuận và chứng minh và cung cấp ngữ nghĩa rõ ràng về tính chính xác, độ tin cậy và Zero-Knowledge trong kịch bản tổng quát ở trên. Với tư cách là một ứng dụng, trước tiên các tác giả xem xét bằng chứng về quyền sở hữu các tệp tin để loại bỏ trùng lặp tệp tin phía máy trạm. Các tác giả đưa vấn đề và một số cơ chế nổi bật của nó vào khung thỏa thuận và chứng minh và phân tích chính thức tính bảo mật của chúng. Tận dụng chính thức hóa Zero-Knowledge tổng quát, sau đó các tác giả thiết kế một cơ chế mới có thể chứng minh được là tương tự bảo vệ quyền riêng tư của giao thức dựa trên Cây Merkle nổi tiếng. Với tư cách là ứng dụng thứ hai, các tác giả xem xét xác thực thực thể hai yếu tố để chứng minh cách khái niệm thỏa thuận và chứng minh bao gồm các bằng chứng về khả năng, chẳng hạn như chứng minh cách sử dụng đúng Token phần cứng đơn giản hóa.