Những điểm chính:

  • Bằng chứng không kiến ​​thức là một công nghệ đầy tiềm năng khai thác. Tuy nhiên, ứng dụng của nó lại là một vấn đề khác.

  • Có hai loại bằng chứng không kiến ​​thức: tương tác và không tương tác.

  • IZKP yêu cầu xác minh lẫn nhau giữa người chứng minh và người xác minh. NIZKP không cần tương tác, người chứng minh tạo ra bằng chứng độc lập để làm rõ vấn đề.

Bằng chứng không kiến ​​thức và ứng dụng của nó vẫn còn nhiều tiềm năng để thực hành. Không chỉ phương pháp mà tùy theo tình huống có thể áp dụng từng loại ZKP.

Tuy nhiên, ứng dụng của công nghệ này có giống nhau không? Cùng Coincu giải đáp vấn đề này để bạn đọc cùng đón đọc trong bài viết sau.

Chứng minh không kiến ​​thức (ZKP) là gì?

Với sự tiến bộ không ngừng của công nghệ máy tính trong kỷ nguyên số, chúng ta có thể dễ dàng lưu trữ, chuyển giao và phân tích một lượng lớn dữ liệu cá nhân và doanh nghiệp trên Internet, làm dấy lên lo ngại về quyền. Bảo mật dữ liệu và quyền riêng tư cũng đang gia tăng.

Bằng chứng không kiến ​​thức là một loại mật mã. ZKP hoạt động theo nguyên tắc bên chứng minh chứng minh với bên xác minh rằng thông tin họ cung cấp là đúng mà không tiết lộ bất kỳ thông tin thực tế nào.

Đối với những người yêu cầu kiểm soát và độc lập đối với thông tin của họ, ZKP cung cấp cả tính linh hoạt và lựa chọn. Một số trường hợp sử dụng sẽ được giải quyết nếu công nghệ blockchain và ZKP được kết hợp.

Các loại bằng chứng Zero-knowledge

Có hai loại bằng chứng không kiến ​​thức: tương tác và không tương tác.

Bằng chứng không kiến ​​thức tương tác (IZKP) cần có cuộc trò chuyện qua lại giữa người chứng minh và người xác minh, trong đó người chứng minh trả lời các câu hỏi của người xác minh. Sự tham gia này có thể diễn ra trực tiếp hoặc qua mạng như Internet. Cần có một số tương tác với người xác minh để người xác minh yêu cầu thêm thông tin về khẳng định đang được chứng minh. Trong mỗi vòng, người chứng minh phải trả lời câu hỏi của người xác minh.

Phương pháp chứng minh tương tác này có thể áp dụng cho một số vấn đề lớn, nhưng nó gây ra những lo ngại về thời gian và chi phí tính toán, đồng thời đòi hỏi sự trao đổi giữa tất cả các bên liên quan.

Ngược lại, bằng chứng không kiến ​​thức không tương tác (NIZKP) không cần tương tác 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, riêng biệt mà người xác minh có thể kiểm tra độc lập mà không cần giao tiếp thêm. Vì người chứng minh và người xác minh không phải trực tuyến cùng lúc hoặc trao đổi nhiều tin nhắn, nên điều này có thể thuận tiện và hiệu quả hơn bằng chứng tương tác.

Bằng chứng không tương tác nhanh hơn bằng chứng tương tác và liên quan đến ít xử lý và giao tiếp hơn. Tuy nhiên, đôi khi nó có thể không phải là một cách tiếp cận khả thi, chẳng hạn như khi cần thêm thông tin để chứng minh hoặc khi chứng minh một đề xuất cực kỳ phức tạp.

Mức độ tin cậy cần thiết giữa người chứng minh và người xác minh là một trong những điểm khác biệt cơ bản giữa bằng chứng không kiến ​​thức tương tác và không tương tác. Trong bằng chứng tương tác, người xác minh phải tin tưởng người chứng minh sẽ tuân theo giao thức và trả lời trung thực các yêu cầu của họ. Ngược lại, trong bằng chứng không tương tác, người xác minh không cần phải tin tưởng người chứng minh vì họ có thể tự kiểm tra bằng chứng mà không phụ thuộc vào bất kỳ thông tin nào do người chứng minh cung cấp.

Cả bằng chứng không kiến ​​thức tương tác và không tương tác đều có ưu điểm và nhược điểm, và tùy chọn tối ưu cho một trường hợp cụ thể sẽ được xác định bởi nhu cầu 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ể dễ dàng trò chuyện.

  • Mặt khác, các bằng chứng không tương tác có thể phù hợp hơn trong những trường hợp khi người chứng minh và người xác minh không trực tuyến cùng lúc hoặc độ tin cậy của người chứng minh còn đang nghi ngờ. Cuối cùng, các bằng chứng không 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 các thách thức và tình huống ứng dụng cụ thể.

IZKP không thể triển khai rộng rãi

Một trong những loại bằng chứng không kiến ​​thức lâu đời nhất được khám phá và sử dụng rộng rãi là bằng chứng không kiến ​​thức tương tác. Sẽ có nhiều vòng tiếp xúc giữa người chứng minh và người xác minh trong suốt quy trình chứng minh này.

IZKP yêu cầu tương tác giữa người chứng minh và người xác minh, điều này có thể không hiệu quả và tốn thời gian. Để hoàn tất chứng minh, người chứng minh phải trao đổi nhiều tin nhắn với người xác minh. Khi tốc độ là yếu tố quan trọng, chẳng hạn như trong giao dịch tần suất cao hoặc ra quyết định theo thời gian thực, thì đây có thể là một vấn đề.

Ví dụ, bạn phải vào một cửa hàng để mua rượu, nhưng bạn không thể xác minh độ tuổi của mình ngoài ngoại hình khi người bán hàng trẻ tuổi nghi ngờ. Bạn sẽ phải giải thích cách bạn có thể mua rượu bằng giọng nói tại thời điểm này.

IZKP cho rằng người chứng minh và người xác minh là trung thực và sẽ không cố gắng gian lận hoặc thay đổi bằng chứng. Tuy nhiên, giả định này không phải lúc nào cũng đúng và người chứng minh có thể cố gắng lừa dối người xác minh bằng cách gửi tín hiệu giả mạo hoặc sửa đổi bằng chứng theo một cách nào đó. Điều này có thể gây nguy hiểm cho tính toàn vẹn của bằng chứng và làm giảm khả năng sử dụng của bằng chứng.

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 dùng lời nói để chứng minh điều ngược lại. Nếu vậy, sẽ là thảm họa.

Do đó, mặc dù IZKP có khả năng cung cấp khả năng bảo mật và đảm bảo quyền riêng tư tuyệt vời nhưng những nhược điểm nêu trên đã hạn chế việc sử dụng rộng rãi chúng.

ZK-SNARK

ZK-SNARK là viết tắt của Zero-Knowledge Succinct Non-Interactive Knowledge Argument. Giao thức ZK-SNARK có các đặc điểm sau:

  • Người xác minh không có thông tin có thể xác nhận tính đúng đắn của một tuyên bố mà không cần biết bất cứ điều gì khác về nó. Điều duy nhất mà người xác minh biết về tuyên bố là liệu nó đúng hay sai.

  • Nói tóm lại, bằng chứng không kiến ​​thức đơn giản hơn bằng chứng và có thể được chứng minh 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 được yêu cầu về “tính hợp lý” nên khả năng xảy ra gian lận là rất thấp.

  • (Của) Kiến thức: Thật khó để tạo ra bằng chứng không 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 kiến ​​thức hợp lệ rất khó, nếu không muốn nói là không thể.

Để sử dụng thiết lập đáng tin cậy, người dùng phải tin tưởng những người tham gia tạo ra tham số. Tuy nhiên, việc tạo ra ZK-STARK đã cho phép trình diễn các giao thức hoạt động trong bối cảnh không ổn định.

ZK-STARK

Thuật ngữ ZK-STARK là viết tắt của Zero-Knowledge Scalable Transparent Argument of Knowledge. ZK-STARK giống hệt với ZK-SNARK, nhưng có những điểm khác biệt 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 tăng lên rất ít 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 theo quy mô nhân chứng).

  • Minh bạch: Thay vì xây dựng lòng tin, ZK-STARK dựa vào ngẫu nhiên có thể xác minh công khai để tạo ra các tham số công khai để chứng minh và xác minh. Do đó, chúng ít mờ đục hơn ZK-SNARK.

ZK-STARK tạo ra bằng chứng lớn hơn ZK-SNARK, ngụ ý chi phí xác minh lớn hơn. Tuy nhiên, trong một số trường hợp nhất định (ví dụ, bằng chứng về tập dữ liệu khổng lồ), ZK-STARK có thể tiết kiệm chi phí hơn ZK-SNARK.

Phần kết luận

Không giống như zkSNARK, zkSTARK dựa trên nền tảng của các bằng chứng tương tác, ngắn gọn, ngụ ý 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ỳ tương tác nào giữa người chứng minh và người xác minh. Do đó, zkSTARK có lợi ích tốt hơn về mặt bảo mật và khả năng mở rộng.

Tuy nhiên, khi công nghệ tiến bộ, các công nghệ chống rò rỉ thông tin sẽ tiếp tục phát triển và được sử dụng.

Mặc dù blockchain mang lại tính phi tập trung, minh bạch và nhiều lợi thế khác, nhưng việc chỉ sử dụng địa chỉ thay vì danh tính không đảm bảo được quyền riêng tư.

Về mặt xác minh quyền riêng tư và bảo mật, công nghệ zero-knowledge-proof cung cấp nhiều ứng dụng. Mặc dù không phải là công nghệ mới, nhưng ứng dụng của nó vào sự phát triển của ngành blockchain vẫn còn nhiều điều mới mẻ để khám phá và thể hiện thông qua thực tiễn.

TUYÊN BỐ MIỄN TRỪ TRÁCH NHIỆM: Thông tin trên trang web này được cung cấp dưới dạng bình luận chung về thị trường và không cấu thành lời khuyên đầu tư. Chúng tôi khuyến khích bạn tự nghiên cứu trước khi đầu tư.

Tham gia cùng chúng tôi để theo dõi tin tức: https://linktr.ee/coincu

Harold

Tin tức Coincu