So sánh các phương án chứng minh khác nhau: Hiểu được ưu và nhược điểm của hệ thống chứng minh ZK
Tuyển chọn TechFlowTuyển chọn TechFlow
So sánh các phương án chứng minh khác nhau: Hiểu được ưu và nhược điểm của hệ thống chứng minh ZK
Trong hệ thống chứng minh kiến thức không tiết lộ, có ba thực thể tham gia: người thiết lập, người chứng minh và người xác minh.
Chuyên sâu báo cáo Web3Viết bởi: Hill.bit
Biên dịch: TechFlow
Khái niệm bằng chứng không kiến thức (zero-knowledge proof) thì ai cũng biết, nhưng khi đi vào chi tiết kỹ thuật cụ thể thì có lẽ nhiều người vẫn còn mơ hồ.
"Không kiến thức" và "bằng chứng" thực ra là hai danh từ riêng biệt, trong đó các sơ đồ chứng minh là thành phần cơ bản cho giả định an toàn của giao thức không kiến thức. Trong bài viết này, Hill.bit sẽ giúp nhiều người hiểu rõ hơn về hệ thống bằng chứng ZK thông qua việc giải thích nhiều loại sơ đồ chứng minh khác nhau cùng ưu nhược điểm của chúng.
Trong một hệ thống bằng chứng không kiến thức, có ba thực thể tham gia: bên thiết lập, bên chứng minh và bên xác minh. Các sơ đồ chứng minh khác nhau sẽ ảnh hưởng theo nhiều cách đến hành vi của các thực thể này, từ đó tác động đến hiệu quả, độ an toàn và hiệu suất tổng thể của hệ thống.
Giai đoạn thiết lập tạo ra các tham số cần thiết và khóa công khai cho hệ thống ZK. Sơ đồ chứng minh sẽ ảnh hưởng đến độ phức tạp, tính toán, truyền thông ở giai đoạn thiết lập, cũng như liệu quá trình này có cần tin cậy hay không. Bên chứng minh tạo ra một bằng chứng để khẳng định họ nắm giữ thông tin đầu vào bí mật mà không tiết lộ thông tin đó. Sơ đồ chứng minh ảnh hưởng đến thời gian tính toán, nhu cầu bộ nhớ và kích thước bằng chứng của bên chứng minh, từ đó ảnh hưởng đến yêu cầu truyền thông và lưu trữ. Bên xác minh kiểm tra tính hợp lệ của bằng chứng. Sơ đồ chứng minh ảnh hưởng đến thời gian xác minh, nhu cầu bộ nhớ, cũng như số lượng và độ phức tạp của các truy vấn xác minh. Dưới đây là ba loại sơ đồ chứng minh khác nhau.
PCP tuyến tính + Mã hóa chỉ tuyến tính:
-
Sử dụng bằng chứng kiểm tra được xác suất tuyến tính (PCPs) và các phép toán tuyến tính;
-
Cung cấp thuộc tính không kiến thức mạnh mẽ;
-
Tạo ra bằng chứng ngắn nhất;
-
Yêu cầu thiết lập đáng tin cậy;
-
Các cải tiến trước đây chủ yếu tập trung vào giảm thời gian của bên chứng minh.
PCP tuyến tính là một hệ thống chứng minh, trong đó bên xác minh kiểm tra tính đúng đắn của một mệnh đề bằng cách truy vấn một lượng nhỏ thông tin từ bằng chứng. Thuật ngữ "tuyến tính" ám chỉ rằng các truy vấn của bên xác minh là hàm tuyến tính của bằng chứng.
Mã hóa chỉ tuyến tính là một kỹ thuật mã hóa dùng để ẩn dữ liệu, chỉ cho phép thực hiện các phép toán tuyến tính trên dữ liệu đã ẩn. Điều này đảm bảo quyền riêng tư dữ liệu đồng thời vẫn cho phép thực hiện một số tính toán nhất định.
IOP đa thức + Sơ đồ cam kết đa thức:
-
Tận dụng cấu trúc đại số;
-
Thường hiệu quả hơn các hệ thống dựa trên PCP tuyến tính;
-
Hỗ trợ thiết lập chung / không cần tin cậy;
-
Cho phép tùy chỉnh mạch;
-
Các cải tiến trước đây chủ yếu tập trung vào nâng cao hiệu quả của bên xác minh.
Bằng chứng tương tác của máy tiên tri đa thức (IOPs) là một hệ thống chứng minh, trong đó bên chứng minh và bên xác minh trao đổi tin nhắn qua nhiều vòng. Bên chứng minh tạo ra các tiên tri (cam kết với các đa thức) và gửi chúng cho bên xác minh.
Bên xác minh truy vấn máy tiên tri tại những điểm cụ thể, và bên chứng minh phản hồi bằng giá trị đánh giá tương ứng của đa thức. Sơ đồ cam kết đa thức cho phép cam kết với một đa thức mà không tiết lộ thông tin nào về chính đa thức đó.
Sự cải thiện hiệu suất so với PCP tuyến tính + Mã hóa chỉ tuyến tính đến từ:
-
Tận dụng tốt hơn cấu trúc đại số;
-
Tạo và xác minh bằng chứng hiệu quả hơn;
-
Nén biểu diễn đa thức;
-
Các kỹ thuật xác minh xử lý theo lô
Tuy nhiên, IOP đa thức + Sơ đồ cam kết đa thức có những nhược điểm sau:
-
Thiết kế và triển khai phức tạp hơn;
-
Giả định mã hóa chuyên biệt;
-
Các cân nhắc về hiệu suất khác nhau, ví dụ như khả năng song song hóa.
Sơ đồ gập (Folding):
-
Cho phép tổ hợp bằng chứng đệ quy;
-
Thực hiện các bằng chứng lồng ghép để tăng hiệu quả và khả năng mở rộng;
-
Bên chứng minh nhanh và dễ dàng song song hóa;
-
Các cải tiến trước đây chủ yếu tập trung vào xây dựng SNARK đệ quy.
Tổ hợp bằng chứng đệ quy có thể làm giảm yêu cầu tính toán và bộ nhớ đối với bên xác minh, điều này đặc biệt hữu ích trong các ứng dụng như blockchain. Gộp bằng chứng có thể thu nhỏ kích thước bằng chứng cuối cùng và thời gian xác minh, tuy nhiên việc tạo ra bằng chứng như vậy có thể đòi hỏi tính toán nặng hơn từ phía bên chứng minh. So với IOP đa thức + Sơ đồ cam kết đa thức, sự cải thiện hiệu suất của sơ đồ gập đến từ:
-
Tổ hợp bằng chứng đệ quy;
-
Gộp bằng chứng;
-
Cải thiện khả năng mở rộng;
-
Thời gian xác minh nhanh hơn.
Những nhược điểm tiềm tàng của sơ đồ gập bao gồm:
-
Thiết kế và triển khai phức tạp hơn;
-
Giả định mã hóa được tùy chỉnh;
-
Tăng thời gian tính toán và chi phí bộ nhớ cho bên chứng minh;
-
Tính phù hợp có thể thay đổi tùy theo trường hợp sử dụng.
Tóm lại, PCP tuyến tính + Mã hóa chỉ tuyến tính cung cấp thuộc tính không kiến thức mạnh mẽ và độ dài bằng chứng ngắn nhất, nhưng yêu cầu thiết lập đáng tin cậy và bị giới hạn về hiệu suất so với các loại khác. IOP đa thức + Sơ đồ cam kết đa thức mang lại cải thiện đáng kể về hiệu suất nhờ quá trình tạo và xác minh bằng chứng hiệu quả hơn so với PCP tuyến tính + Mã hóa chỉ tuyến tính, nhưng thiết kế và triển khai có thể phức tạp hơn.
Sơ đồ gập nổi bật về hiệu suất và khả năng mở rộng nhờ tổ hợp bằng chứng đệ quy, điều này đặc biệt hữu ích trong các ứng dụng blockchain. Tuy nhiên, thời gian tính toán và chi phí bộ nhớ của bên chứng minh có thể tăng lên, và tính phù hợp của nó có thể khác nhau tùy theo từng trường hợp sử dụng.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
Hill.bit
