Hai loại chứng minh không kiến thức 1⃣ Chứng minh không kiến thức tương tác ▰ Người xác minh đưa ra câu hỏi (thách thức) ▰ Người chứng minh trả lời dựa trên thách thức ▰ Nhiều vòng đi lại, người xác minh xác nhận chứng minh là hợp lệ 2⃣ Chứng minh không kiến thức không tương tác ▰ Người chứng minh chỉ cần tạo ra một tệp (bằng chứng) ▰ Người xác minh nhận được nó có thể xác minh độc lập, không cần tương tác qua lại Ba đặc tính của chứng minh ZK ▰ Tính toàn vẹn - Completeness Nếu mệnh đề là đúng, chứng minh chắc chắn sẽ qua xác minh ▰ Tính đáng tin cậy - Soundness Nếu mệnh đề là sai, không ai có thể tạo ra chứng minh giả để qua xác minh ▰ Tính không kiến thức - Zero Knowledge Người xác minh không thể suy ra đầu vào bí mật từ chứng minh Vì thuộc tính của blockchain, trong thực tế ứng dụng chủ yếu là chứng minh không kiến thức không tương tác. Chứng minh không kiến thức không tương tác sử dụng một thách thức ngẫu nhiên tự phát của người chứng minh để xác định tính xác thực của chứng minh. @brevis_zk Ghi chú học tập ～