I. Kiến thức không (ZK) | bởi Bít Học

Nov 30 2022

London Điều gì sẽ xảy ra nếu bạn có thể chứng minh với một người bạn rằng bạn có hơn 5 chiếc quần trong tủ quần áo mà không cần cho họ biết con số chính xác hay đưa ra bất kỳ bức ảnh nào? Chà, hãy tưởng tượng một thế giới nơi mọi người có thể chứng minh sự thật với nhau mà không cần biết bất cứ điều gì khác ngoài sự thật thực tế. Mặc dù không tưởng, nhưng may mắn thay, chúng ta đang ở trong một thời đại đang nghiêng về một kịch bản như vậy.

London

Điều gì sẽ xảy ra nếu bạn có thể chứng minh với một người bạn rằng bạn có hơn 5 chiếc quần trong tủ quần áo mà không cần cho họ biết con số chính xác hay đưa ra bất kỳ bức ảnh nào? Chà, hãy tưởng tượng một thế giới nơi mọi người có thể chứng minh sự thật với nhau mà không cần biết bất cứ điều gì khác ngoài sự thật thực tế. Mặc dù không tưởng, nhưng may mắn thay, chúng ta đang ở trong một thời đại đang nghiêng về một kịch bản như vậy.

Khái niệm cho phép tình huống trên được gọi là Kiến thức không (ZK) - bởi vì bạn có thể chia sẻ các thuộc tính bằng không về bản thân ngoài những gì bạn đã nêu. Ví dụ: Nếu bạn muốn mua rượu, bạn có thể tạo Bằng chứng không có kiến thức (ZKP) rằng bạn trên 18 tuổi. Bạn gửi bằng chứng này cho công ty rượu và thông qua một số phép toán và phép thuật, công ty sẽ xác minh bằng chứng và bán cho bạn rượu. Bạn không cần phải chia sẻ tên của mình, quốc tịch của bạn, thậm chí không phải ngày sinh của bạn. Âm thanh mát mẻ, phải không?

Chúc bạn đọc vui vẻ!

VẬY…ZKP là gì?

Về cốt lõi, ZKPs là một phương pháp mà một người (người chứng minh) có thể chứng minh cho người khác (người xác minh) rằng một tuyên bố cụ thể là đúng mà không cần cung cấp thông tin bổ sung ngoài thực tế là tuyên bố đó là đúng. Việc tạo và xác minh bằng chứng thực tế liên quan đến các thuật toán mật mã.

Nói cách khác, ZKP là một cách rất tao nhã để chia sẻ càng ít thông tin càng tốt từ A (người chứng minh) đến B (người xác minh)¹.

Hoặc, thậm chí đơn giản hơn, các bên khác nhau có thể xác minh tính trung thực của tuyên bố mà bạn đã nói mà không cần họ thực sự có quyền truy cập vào dữ liệu tạo nên tuyên bố của bạn.

Bạn có biết rằng..?

Một yếu tố cần thiết để ZKP hoạt động là sự hiện diện của cơ quan/nguồn đáng tin cậy. Một nguồn đáng tin cậy là một từ khóa bởi vì, để tạo bằng chứng, bạn cần một nơi đáng tin cậy để kiểm tra tính trung thực của các tuyên bố của bạn.

Ví dụ: nếu bạn muốn chứng minh với bạn bè rằng bạn có hơn 1 nghìn người theo dõi trên Twitter, bước tiếp theo là tạo ZKP trên tổng số người theo dõi tài khoản của bạn và chia sẻ nó với bạn bè của bạn. Bạn bè của bạn sẽ biết kết quả là chính xác vì bằng chứng được tạo ra dựa trên một phần thông tin không thể phủ nhận là đúng như

Bạn không thể giả mạo/bịa ra số lượng người theo dõi Twitter mà bạn có,
Thông tin đến từ Nguồn đáng tin cậy (ví dụ: Twitter) và không chỉ từ tâm trí của ai đó.

Nhiều trường hợp sử dụng hơn

Đây chỉ là một số cách mà Zero Knowledge Proofs có thể được sử dụng trong cuộc sống thực:

Giphy.com

✔️ Tài chính: Ngân hàng ING³ muốn sử dụng ZKP để cho phép khách hàng của mình chứng minh một số sự thật nhất định về bản thân mà không tiết lộ dữ liệu thực tế của họ. Ví dụ: nếu ai đó muốn vay tiền, họ có thể làm như vậy bằng cách chứng minh rằng thu nhập của họ nằm trong phạm vi được ngân hàng chấp nhận.

✔️ Bỏ phiếu trực tuyến: Bạn có thể bỏ phiếu ẩn danh và kiểm tra xem phiếu bầu của mình đã được đưa vào tổng số cuối cùng hay chưa.

✔️ Làm cho internet an toàn. Sử dụng ZKP kết hợp với xác minh danh tính, người dùng có thể chứng minh rằng họ là người duy nhất đối với các trang web họ truy cập mà không gửi bất kỳ thông tin cá nhân nào cho họ. Điều này có thể giúp ích lâu dài trong việc chống lại thông tin sai lệch, bot trên mạng xã hội (bạn có thể lấy Twitter làm ví dụ⁴), các chiến dịch do nhà nước tài trợ và các chiến dịch khác.

✔️ Kiểm tra thông tin cá nhân . Nếu chúng ta đi cùng với ví dụ về rượu ở trên, hãy tưởng tượng bây giờ bạn muốn đến một câu lạc bộ và có giới hạn về độ tuổi — không ai dưới 25 tuổi được vào. Thông thường, bạn sẽ đến gặp vệ sĩ và cho anh ta xem giấy tờ tùy thân của bạn có chứa nhiều hơn ngoài tuổi của bạn, mà còn cả ảnh của bạn, năm sinh, có thể là địa chỉ nơi bạn sống, v.v. Thay vào đó, bằng cách sử dụng ZKP, bạn có thể tạo bằng chứng rằng bạn có một tài liệu là của bạn và tuổi của bạn trên 25 tuổi. Bạn đưa ra bằng chứng này, có thể là mã QR chẳng hạn, nhân viên bảo vệ sẽ quét mã và màn hình hiển thị màu xanh nếu bạn đủ tuổi. Đó là nó.

Tóm lại, đây là một số ví dụ khác về những gì bạn có thể và không thể làm với ZKP:

vượt trội

Cách OutDID sử dụng ZKP

Ví dụ nói trên có thể phản ánh giải pháp của chúng tôi như sau: chúng tôi sử dụng hộ chiếu (các nguồn được xác thực như Twitter), cung cấp dữ liệu như ngày sinh, quốc tịch, v.v. (như số lượng người theo dõi trên Twitter), trên cơ sở đó bạn có thể tạo bằng chứng như trên 18 tuổi, là công dân Mỹ,... (hoặc có trên 1.000 người theo dõi trên Twitter).

Nói một cách cụ thể hơn, ứng dụng của chúng tôi sử dụng ZKP để chứng minh rằng bạn đáp ứng các yêu cầu người dùng của một dự án Web3 cụ thể mà không cung cấp thêm chi tiết. Ví dụ: nếu bạn muốn đăng ký airdrop, bạn phải chứng minh rằng bạn không phải là công dân Hoa Kỳ. Với OutDID, bạn có thể tạo bằng chứng trong ứng dụng của chúng tôi (như mã QR trong ví dụ với nhân viên bảo mật) rằng bạn có quốc tịch khác. Sau này, bạn có thể gửi nó đến dApp. Dự án có thể xác minh rằng bằng chứng bạn đã gửi là chính xác và bạn có thể nhận được airdrop.

Thử thách nho nhỏ

Bây giờ bạn đã biết ZKP là gì, hãy cho chúng tôi biết trong phần nhận xét tại sao chúng tôi không thể áp dụng công nghệ này trong ví dụ với quần từ phần giới thiệu. :)