Khi công nghệ máy tính tiếp tục được cải thiện trong thời đại kỹ thuật số, giờ đây chúng ta có thể dễ dàng lưu trữ, chia sẻ và phân tích lượng lớn dữ liệu cá nhân và doanh nghiệp trực tuyến, gây ra những lo ngại về quyền lợi. Quyền riêng tư và bảo mật dữ liệu cũng đang được cải thiện.
Bằng chứng không có kiến thức là một loại mật mã. Theo lý thuyết ZKP, bên chứng minh phải chứng minh cho người xác minh rằng thông tin mình cung cấp là chính xác mà không chia sẻ bất kỳ chi tiết thực tế nào.
#zkp mang lại sự tự do và lựa chọn cho người tiêu dùng muốn kiểm soát và độc lập đối với thông tin của mình. Bằng cách kết hợp ZKP và công nghệ #blockchain , một số trường hợp sử dụng có thể được xử lý.
Bằng chứng không có kiến thức tương tác và không tương tác cũng có sẵn.
Bằng chứng không có kiến thức tương tác (IZKP) cần trao đổi qua lại các câu hỏi và câu trả lời giữa người chứng minh và người xác minh. Sự tương tác này có thể diễn ra ngoại tuyến hoặc trực tuyến thông qua mạng như Internet. Người xác minh phải có nhiều mối liên hệ với người xác minh trước khi có thể yêu cầu thêm thông tin chi tiết về tuyên bố đang được chứng minh. Người chứng minh phải trả lời câu hỏi của người kiểm tra trong mỗi vòng.
Đối với một số vấn đề lớn, phương pháp chứng minh tương tác này khả thi nhưng nó đặt ra các vấn đề về thời gian, chi phí tính toán và đòi hỏi sự hợp tác của tất cả những người tham gia.
Mặt khác, bằng chứng không có kiến thức không tương tác (NIZKP) không yêu cầu giao tiếp giữa người chứng minh và người xác minh. Thay vào đó, người chứng minh tạo ra một bằng chứng độc lập duy nhất mà người xác minh có thể kiểm tra độc lập mà không cần trao đổi thêm. Điều này có thể thuận tiện và hiệu quả hơn so với bằng chứng tương tác vì người chứng minh và người xác minh không cần phải trực tuyến cùng lúc hoặc trao đổi nhiều tin nhắn.
Bằng chứng tương tác mất nhiều thời gian hơn để phân tích và truyền đạt so với bằng chứng không tương tác. Tuy nhiên, có những tình huống khi nó có thể không thực tế, chẳng hạn như khi cần nhiều chi tiết hơn để chứng minh hoặc để chứng minh một lập luận rất phức tạp.
Một trong những khác biệt chính giữa bằng chứng không có kiến thức tương tác và không tương tác là mức độ tin cậy cần có giữa người chứng minh và người xác minh. Trong bằng chứng tương tác, người xác minh phải tin tưởng rằng người chứng minh sẽ tuân thủ các quy tắc và đưa ra câu trả lời trung thực cho câu hỏi của họ. Trái ngược với bằng chứng tương tác, bằng chứng không tương tác cho phép người xác minh kiểm tra bằng chứng một cách độc lập mà không cần dựa vào thông tin của người chứng minh.
Cách tiếp cận tốt nhất cho một tình huống nhất định sẽ phụ thuộc vào nhu cầu và ràng buộc. Cả bằng chứng không có kiến thức tương tác và không tương tác đều đưa ra những lợi ích và hạn chế.
Bằng chứng tương tác có thể phù hợp hơn trong trường hợp người chứng minh và người xác minh đều trực tuyến và có thể trao đổi dễ dàng.
Mặt khác, bằng chứng không tương tác có thể phù hợp hơn trong trường hợp người chứng minh và người xác minh không trực tuyến cùng một lúc hoặc độ tin cậy của người chứng minh bị nghi ngờ. Cuối cùng, bằng chứng không có kiến thức tương tác và không tương tác thường được lựa chọn dựa trên những thách thức và tình huống ứng dụng cụ thể.
Bằng chứng không có kiến thức mang tính tương tác là một trong những hình thức chứng minh không có kiến thức được nghiên cứu sớm nhất và thường được sử dụng nhất. Trong suốt quá trình chứng minh này, sẽ có một số vòng tương tác giữa người chứng minh và người xác minh.
Yêu cầu sự tương tác giữa người chứng minh và người xác minh, việc này có thể tốn thời gian và không hiệu quả. Người chứng minh và người kiểm chứng phải trao đổi rộng rãi để hoàn thành bằng chứng. Đây có thể là vấn đề trong những tình huống cần tốc độ, chẳng hạn như giao dịch tần suất cao hoặc ra quyết định theo thời gian thực.
Ví dụ, nếu một chủ cửa hàng trẻ nghi ngờ, bạn phải vào cơ sở để mua rượu, nhưng bạn không thể chứng minh tuổi tác của mình bằng bất cứ điều gì ngoài vẻ bề ngoài. Ở giai đoạn này, bạn sẽ cần mô tả cách mua rượu bằng giọng lồng tiếng.
IZKP giả định trước rằng cả người chứng minh và người xác minh đều nói sự thật và sẽ không cố gắng làm sai lệch hoặc thay đổi bằng chứng. Tuy nhiên, điều này không phải lúc nào cũng đúng và người chứng minh có thể cố gắng đánh lừa người xác minh bằng cách gửi tín hiệu sai hoặc thay đổi bằng chứng theo cách khác. Điều này có thể làm tổn hại đến giá trị của bằng chứng và làm cho nó ít hữu ích hơn.
Nói một cách đơn giản, bạn chưa đủ tuổi để uống rượu nhưng bạn vẫn đang cố gắng tranh luận quan điểm đó bằng lời nói. Một tình huống như vậy sẽ rất tàn khốc.
Do đó, bất chấp sự đảm bảo về quyền riêng tư và bảo mật cao của IZKP, việc áp dụng rộng rãi chúng vẫn bị hạn chế bởi những thiếu sót đã nói ở trên.
Đối số kiến thức không tương tác ngắn gọn không có kiến thức còn được gọi là ZK-SNARK. Các đặc điểm sau áp dụng cho giao thức ZK-SNARK:
Người xác minh không có thông tin có thể chứng nhận tính xác thực của một tuyên bố mà không biết gì khác về nó. Điều duy nhất người xác minh biết về tuyên bố đó là nó đúng hay sai.
Nói một cách dễ hiểu, bằng chứng không có kiến thức đơn giản hơn bằng chứng và có thể được hiển thị nhanh chóng.
Bằng chứng không tương tác được phân biệt với bằng chứng tương tác ở chỗ người chứng minh và người xác minh chỉ giao tiếp một lần, trái ngược với bằng chứng tương tác đòi hỏi nhiều vòng giao tiếp.
Lập luận: Vì bằng chứng đáp ứng yêu cầu về ‘tính hợp lý’ nên khả năng gian lận là rất khó xảy ra.
(Của) Kiến thức: Rất khó để tạo ra bằng chứng không có kiến thức nếu không có quyền truy cập vào thông tin nhạy cảm. Một người chứng minh không có nhân chứng sẽ thấy việc tính toán một bằng chứng không có kiến thức hợp lệ là rất khó, nếu không muốn nói là không thể.
Người dùng phải tin tưởng vào những người tham gia tạo tham số để sử dụng thiết lập đáng tin cậy. Tuy nhiên, sự phát triển của ZK-STARK đã giúp chứng minh các giao thức hoạt động trong môi trường không chắc chắn.
Đối số kiến thức minh bạch có thể mở rộng không có kiến thức được gọi là ZK-STARK. ZK-STARK và ZK-SNARK giống hệt nhau ngoại trừ các điểm sau:
Có thể mở rộng: Khi quy mô của nhân chứng lớn hơn, ZK-STARK tạo và xác minh bằng chứng nhanh hơn ZK-SNARK. Sử dụng bằng chứng STARK, thời gian của người chứng minh và người xác minh chỉ tăng tối thiểu khi số lượng nhân chứng tăng lên (thời gian của người chứng minh và người xác minh SNARK tăng tuyến tính với quy mô nhân chứng).
Tính minh bạch: Thay vì xây dựng lòng tin, ZK-STARK dựa vào tính ngẫu nhiên có thể xác minh công khai để tạo ra các thông số công khai cho bằng chứng và xác minh. Kết quả là chúng ít mờ hơn ZK-SNARK.
Có thể sẽ có nhiều chi phí xác minh hơn do ZK-STARK tạo ra bằng chứng lớn hơn ZK-SNARK. Tuy nhiên, #ZK-STARK có thể tiết kiệm hơn #ZK-SNARK trong một số trường hợp (ví dụ: xác minh các tập dữ liệu lớn).
#ZK-STARK được thành lập trên cơ sở các bằng chứng tương tác ngắn gọn, cho thấy rằng các bằng chứng có thể được xác minh nhanh chóng mà không cần bất kỳ sự tương tác nào giữa người chứng minh và người xác minh. Do đó, lợi thế của ZK-STARK về tính bảo mật và khả năng mở rộng là tốt hơn.
Các công nghệ không chứng minh được kiến thức sẽ tiếp tục phát triển và được sử dụng khi công nghệ được cải thiện.
Mặc dù blockchain mang lại sự phân cấp, tính minh bạch và nhiều lợi ích khác, nhưng việc sử dụng địa chỉ thay vì chỉ danh tính không đảm bảo quyền riêng tư.
Bằng chứng không có kiến thức #technology cung cấp nhiều ứng dụng để xác minh quyền riêng tư và bảo mật. Mặc dù nó không phải là một công nghệ mới nhưng vẫn còn nhiều điều mới cần học hỏi và chứng minh thông qua thực tiễn trong ứng dụng của nó vào sự phát triển của ngành công nghiệp blockchain.