Tác giả: Michael Blau, đối tác nhóm đầu tư a16zcrypto; Bản dịch: Golden Finance xiaozou
Bất kỳ công nghệ đủ tiên tiến nào cũng không thể phân biệt được với ma thuật và một lĩnh vực giống như khoa học viễn tưởng là bằng chứng không có kiến thức (ZKP), một công cụ mật mã giải quyết hai thách thức chính trong thế giới Web3: khả năng mở rộng và quyền riêng tư. Đặc biệt, ZKP có thể là chìa khóa để mở ra mức phí giao dịch thấp hơn và thiết kế các ứng dụng bảo vệ quyền riêng tư mới. Do đó, chúng tôi dự kiến sẽ chào đón một tỷ người dùng tiền điện tử tiếp theo. Ngay cả bên ngoài thế giới tiền điện tử, ZKP một ngày nào đó có thể giúp truyền tải dữ liệu nhạy cảm một cách an toàn, chống lại tài chính bất hợp pháp hoặc chống lại thông tin sai lệch.
Nhưng ZKP là gì? Có rất nhiều lời giải thích hợp lý dành cho các kỹ sư, nhà nghiên cứu và cộng đồng tiền điện tử, nhưng chúng không có ý nghĩa đối với những khán giả có ít kinh nghiệm về mật mã hoặc khoa học máy tính. Ngay cả với vô số phép ẩn dụ có sẵn — từ Waldo đến Hang động của Alibaba — không dễ để tìm ra lời giải thích chính xác, dễ hiểu và minh họa đầy đủ cho siêu năng lực của ZKP.
Vì vậy, trong bài viết này, tôi kết hợp nền tảng về tiền điện tử và ma thuật của mình để khám phá và cố gắng tạo ra một phép ẩn dụ mới: hãy coi ZKP như một trò ảo thuật tuyệt vời.
**Nhưng trước tiên, hãy hiểu: bằng chứng không có kiến thức là gì? **
Trước tiên, tôi muốn chia sẻ định nghĩa cấp cao về ZKP (cụ thể là liên quan đến zk-SNARK), cũng như các thuộc tính khác nhau của nó, trước khi ánh xạ các thuộc tính đó thành một phép ẩn dụ ma thuật.
Hãy cùng mở rộng định nghĩa của đối tác nghiên cứu tiền điện tử a16z Justin Thaler về SNARK: “zk-SNARK cho phép ai đó (người chứng minh) chứng minh với một bên không đáng tin cậy (người xác minh) rằng họ biết một số dữ liệu mà không tiết lộ bất kỳ thông tin nào về chính dữ liệu đó. . " Hoặc, như khóa học AIP ZK của MIT đã nói, "Các giao thức không có kiến thức cho phép tôi chứng minh cho bạn thấy rằng tôi biết điều gì đó mà không cần cho bạn biết đó là gì."
Điều này thật thú vị trong bối cảnh các chuỗi khối công khai vì ZKP có thể bảo vệ thông tin cá nhân đồng thời cho phép bất kỳ ai xác minh (không nghi ngờ gì) tính xác thực của thông tin. zk-SNARK cũng rất đơn giản và hiệu quả: "đơn giản" có nghĩa là kích thước của bằng chứng nhỏ hơn dữ liệu bạn đang chứng minh. “Hiệu quả” có nghĩa là người xác nhận xác minh bằng chứng nhanh hơn so với phân tích dữ liệu thô (trên Ethereum, điều này có nghĩa là hợp đồng thông minh xử lý ít dữ liệu hơn và chi phí gas thấp hơn cho người dùng). Chuỗi khối L2 có thể tận dụng tính đơn giản và hiệu quả của zk-SNARK, cho phép các ứng dụng phi tập trung xử lý nhiều dữ liệu hơn với chi phí thấp hơn.
Tóm lại, zk-SNARK có hai thuộc tính chính:
· Quyền riêng tư: Không có thông tin nào về dữ liệu (hoặc sự kiện hoặc "kiến thức") mà bạn đang chứng minh được tiết lộ cho người xác minh.
· Đơn giản và hiệu quả: Việc xác minh tỏ ra hiệu quả hơn việc kiểm tra trực tiếp dữ liệu gốc.
Ngay cả mô tả cấp cao này nghe có vẻ hơi giống một câu đố: Làm thế nào để chứng minh rằng người ta biết điều gì đó mà không chia sẻ thông tin?
Chúng ta hãy xem lại định nghĩa, nhưng lần này, hãy sử dụng một số trò ảo thuật.
Ma thuật chứng minh kiến thức bằng không
Nói một cách đơn giản, phép thuật là bằng chứng không có kiến thức. Trong phép thuật, một ảo thuật gia tuyên bố biết một bí mật giúp họ thực hiện các trò ảo thuật. Nhưng họ không muốn tiết lộ bí mật này cho khán giả - điều đó sẽ phá hỏng trò lừa của họ.
Mở rộng điều này sang ZKP: hãy coi các pháp sư là "người chứng minh" và khán giả của họ là "người xác minh". Một màn ảo thuật thành công (hy vọng sẽ gây được sự kinh ngạc và vỗ tay nhiệt tình) cũng giống như một bằng chứng “có giá trị”: trò ảo thuật đã thành công nên ảo thuật gia phải biết bí quyết của màn ảo thuật. Tất nhiên, nếu ảo thuật không có tác dụng, tỏ ra “không hiệu quả”, khán giả sẽ thất vọng, và ảo thuật gia có thể không thực sự biết được bí quyết.
Phép thuật thể hiện một trong những đặc tính của ZKP: quyền riêng tư. Nhưng còn sự đơn giản và hiệu quả thì sao? Hãy quay lại với sự tương tự này…
Khán giả có thể bỏ qua toàn bộ buổi biểu diễn và chỉ yêu cầu ảo thuật gia chia sẻ những bí mật đằng sau ảo thuật. Nhưng những bí mật của phép thuật có thể phức tạp và tinh tế. Ngay cả việc chỉ giải thích phương pháp của một trò ảo thuật với tất cả sự tinh tế và sắc thái của nó cũng phải mất rất nhiều thời gian để nắm được ý tưởng tổng quát chứ đừng nói đến việc hiểu được những bí ẩn. Đôi khi, khi được yêu cầu tiết lộ bí mật của mình, ảo thuật gia có thể cố tình tiết lộ một giải pháp “sai lầm” cho khán giả, từ đó dẫn họ vào con đường sai lầm. Khán giả không thể chắc chắn rằng một kỹ thuật bí mật có thực sự hoạt động hay không nếu bản thân họ không thực sự nắm vững nó — việc này có thể mất nhiều ngày, nhiều tháng hoặc thậm chí nhiều năm.
Vì vậy, cũng giống như việc trực tiếp kiểm tra tính đúng đắn của một kỹ thuật bí mật thực sự rất tốn thời gian và sức lực - ngay cả khi ảo thuật gia sẵn sàng tiết lộ bí mật cho khán giả - điều này cũng đúng với ZKP. Khán giả sẽ nhanh chóng xác minh tính hợp lệ của arcana bằng cách thưởng thức màn trình diễn.
Tiếp tục
Lấy một ví dụ đơn giản: Tôi khẳng định mình biết một phương pháp bí mật cho phép tôi khôi phục ngay một bộ bài hỗn tạp lên xuống thành những quân bài một mặt. Tôi muốn chứng minh cho bạn thấy rằng tôi có khả năng này, nhưng tôi không muốn tiết lộ bằng cách nào. Hành động cho mọi người xem bộ bài một mặt khi kết thúc phép thuật là một bằng chứng xác đáng cho thấy tôi phải biết phương pháp bí mật để "khôi phục" các lá bài. Và khi tôi cho bạn xem một tấm thẻ một mặt, bạn có thể xác minh ngay lập tức lời nói của tôi nhanh hơn nhiều so với việc học trực tiếp các trò ảo thuật.
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Cách chứng minh bí mật: Hướng dẫn của pháp sư về những bằng chứng không có kiến thức
Tác giả: Michael Blau, đối tác nhóm đầu tư a16zcrypto; Bản dịch: Golden Finance xiaozou
Bất kỳ công nghệ đủ tiên tiến nào cũng không thể phân biệt được với ma thuật và một lĩnh vực giống như khoa học viễn tưởng là bằng chứng không có kiến thức (ZKP), một công cụ mật mã giải quyết hai thách thức chính trong thế giới Web3: khả năng mở rộng và quyền riêng tư. Đặc biệt, ZKP có thể là chìa khóa để mở ra mức phí giao dịch thấp hơn và thiết kế các ứng dụng bảo vệ quyền riêng tư mới. Do đó, chúng tôi dự kiến sẽ chào đón một tỷ người dùng tiền điện tử tiếp theo. Ngay cả bên ngoài thế giới tiền điện tử, ZKP một ngày nào đó có thể giúp truyền tải dữ liệu nhạy cảm một cách an toàn, chống lại tài chính bất hợp pháp hoặc chống lại thông tin sai lệch.
Nhưng ZKP là gì? Có rất nhiều lời giải thích hợp lý dành cho các kỹ sư, nhà nghiên cứu và cộng đồng tiền điện tử, nhưng chúng không có ý nghĩa đối với những khán giả có ít kinh nghiệm về mật mã hoặc khoa học máy tính. Ngay cả với vô số phép ẩn dụ có sẵn — từ Waldo đến Hang động của Alibaba — không dễ để tìm ra lời giải thích chính xác, dễ hiểu và minh họa đầy đủ cho siêu năng lực của ZKP.
Vì vậy, trong bài viết này, tôi kết hợp nền tảng về tiền điện tử và ma thuật của mình để khám phá và cố gắng tạo ra một phép ẩn dụ mới: hãy coi ZKP như một trò ảo thuật tuyệt vời.
**Nhưng trước tiên, hãy hiểu: bằng chứng không có kiến thức là gì? **
Trước tiên, tôi muốn chia sẻ định nghĩa cấp cao về ZKP (cụ thể là liên quan đến zk-SNARK), cũng như các thuộc tính khác nhau của nó, trước khi ánh xạ các thuộc tính đó thành một phép ẩn dụ ma thuật.
Hãy cùng mở rộng định nghĩa của đối tác nghiên cứu tiền điện tử a16z Justin Thaler về SNARK: “zk-SNARK cho phép ai đó (người chứng minh) chứng minh với một bên không đáng tin cậy (người xác minh) rằng họ biết một số dữ liệu mà không tiết lộ bất kỳ thông tin nào về chính dữ liệu đó. . " Hoặc, như khóa học AIP ZK của MIT đã nói, "Các giao thức không có kiến thức cho phép tôi chứng minh cho bạn thấy rằng tôi biết điều gì đó mà không cần cho bạn biết đó là gì."
Điều này thật thú vị trong bối cảnh các chuỗi khối công khai vì ZKP có thể bảo vệ thông tin cá nhân đồng thời cho phép bất kỳ ai xác minh (không nghi ngờ gì) tính xác thực của thông tin. zk-SNARK cũng rất đơn giản và hiệu quả: "đơn giản" có nghĩa là kích thước của bằng chứng nhỏ hơn dữ liệu bạn đang chứng minh. “Hiệu quả” có nghĩa là người xác nhận xác minh bằng chứng nhanh hơn so với phân tích dữ liệu thô (trên Ethereum, điều này có nghĩa là hợp đồng thông minh xử lý ít dữ liệu hơn và chi phí gas thấp hơn cho người dùng). Chuỗi khối L2 có thể tận dụng tính đơn giản và hiệu quả của zk-SNARK, cho phép các ứng dụng phi tập trung xử lý nhiều dữ liệu hơn với chi phí thấp hơn.
Tóm lại, zk-SNARK có hai thuộc tính chính:
· Quyền riêng tư: Không có thông tin nào về dữ liệu (hoặc sự kiện hoặc "kiến thức") mà bạn đang chứng minh được tiết lộ cho người xác minh.
· Đơn giản và hiệu quả: Việc xác minh tỏ ra hiệu quả hơn việc kiểm tra trực tiếp dữ liệu gốc.
Ngay cả mô tả cấp cao này nghe có vẻ hơi giống một câu đố: Làm thế nào để chứng minh rằng người ta biết điều gì đó mà không chia sẻ thông tin?
Chúng ta hãy xem lại định nghĩa, nhưng lần này, hãy sử dụng một số trò ảo thuật.
Ma thuật chứng minh kiến thức bằng không
Nói một cách đơn giản, phép thuật là bằng chứng không có kiến thức. Trong phép thuật, một ảo thuật gia tuyên bố biết một bí mật giúp họ thực hiện các trò ảo thuật. Nhưng họ không muốn tiết lộ bí mật này cho khán giả - điều đó sẽ phá hỏng trò lừa của họ.
Mở rộng điều này sang ZKP: hãy coi các pháp sư là "người chứng minh" và khán giả của họ là "người xác minh". Một màn ảo thuật thành công (hy vọng sẽ gây được sự kinh ngạc và vỗ tay nhiệt tình) cũng giống như một bằng chứng “có giá trị”: trò ảo thuật đã thành công nên ảo thuật gia phải biết bí quyết của màn ảo thuật. Tất nhiên, nếu ảo thuật không có tác dụng, tỏ ra “không hiệu quả”, khán giả sẽ thất vọng, và ảo thuật gia có thể không thực sự biết được bí quyết.
Phép thuật thể hiện một trong những đặc tính của ZKP: quyền riêng tư. Nhưng còn sự đơn giản và hiệu quả thì sao? Hãy quay lại với sự tương tự này…
Khán giả có thể bỏ qua toàn bộ buổi biểu diễn và chỉ yêu cầu ảo thuật gia chia sẻ những bí mật đằng sau ảo thuật. Nhưng những bí mật của phép thuật có thể phức tạp và tinh tế. Ngay cả việc chỉ giải thích phương pháp của một trò ảo thuật với tất cả sự tinh tế và sắc thái của nó cũng phải mất rất nhiều thời gian để nắm được ý tưởng tổng quát chứ đừng nói đến việc hiểu được những bí ẩn. Đôi khi, khi được yêu cầu tiết lộ bí mật của mình, ảo thuật gia có thể cố tình tiết lộ một giải pháp “sai lầm” cho khán giả, từ đó dẫn họ vào con đường sai lầm. Khán giả không thể chắc chắn rằng một kỹ thuật bí mật có thực sự hoạt động hay không nếu bản thân họ không thực sự nắm vững nó — việc này có thể mất nhiều ngày, nhiều tháng hoặc thậm chí nhiều năm.
Vì vậy, cũng giống như việc trực tiếp kiểm tra tính đúng đắn của một kỹ thuật bí mật thực sự rất tốn thời gian và sức lực - ngay cả khi ảo thuật gia sẵn sàng tiết lộ bí mật cho khán giả - điều này cũng đúng với ZKP. Khán giả sẽ nhanh chóng xác minh tính hợp lệ của arcana bằng cách thưởng thức màn trình diễn.
Tiếp tục
Lấy một ví dụ đơn giản: Tôi khẳng định mình biết một phương pháp bí mật cho phép tôi khôi phục ngay một bộ bài hỗn tạp lên xuống thành những quân bài một mặt. Tôi muốn chứng minh cho bạn thấy rằng tôi có khả năng này, nhưng tôi không muốn tiết lộ bằng cách nào. Hành động cho mọi người xem bộ bài một mặt khi kết thúc phép thuật là một bằng chứng xác đáng cho thấy tôi phải biết phương pháp bí mật để "khôi phục" các lá bài. Và khi tôi cho bạn xem một tấm thẻ một mặt, bạn có thể xác minh ngay lập tức lời nói của tôi nhanh hơn nhiều so với việc học trực tiếp các trò ảo thuật.